Package de.learnlib.algorithm.lstar.mealy

Class ExtensibleLStarMealyBuilder<I,O>

java.lang.Object

de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder<I,O>

public final class ExtensibleLStarMealyBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
ExtensibleLStarMealyBuilder()

Method Summary

Modifier and Type	Method	Description
ExtensibleLStarMealy<I,O>	create()
Alphabet<I>	getAlphabet()
ObservationTableCEXHandler<? super I,? super Word<O>>	getCexHandler()
ClosingStrategy<? super I,? super Word<O>>	getClosingStrategy()
List<Word<I>>	getInitialPrefixes()
List<Word<I>>	getInitialSuffixes()
MembershipOracle<I,Word<O>>	getOracle()
void	setAlphabet(Alphabet<I> alphabet)
void	setCexHandler(ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler)
void	setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
void	setInitialPrefixes(List<Word<I>> initialPrefixes)
void	setInitialSuffixes(List<Word<I>> initialSuffixes)
void	setOracle(MembershipOracle<I,Word<O>> oracle)
ExtensibleLStarMealyBuilder<I,O>	withAlphabet(Alphabet<I> alphabet)
ExtensibleLStarMealyBuilder<I,O>	withCexHandler(ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler)
ExtensibleLStarMealyBuilder<I,O>	withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
ExtensibleLStarMealyBuilder<I,O>	withInitialPrefixes(List<Word<I>> initialPrefixes)
ExtensibleLStarMealyBuilder<I,O>	withInitialSuffixes(List<Word<I>> initialSuffixes)
ExtensibleLStarMealyBuilder<I,O>	withOracle(MembershipOracle<I,Word<O>> oracle)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtensibleLStarMealyBuilder

public ExtensibleLStarMealyBuilder()

Method Detail

create

public ExtensibleLStarMealy<I,O> create()

getAlphabet

public Alphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(Alphabet<I> alphabet)

withAlphabet

public ExtensibleLStarMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)

getOracle

public MembershipOracle<I,Word<O>> getOracle()

setOracle

public void setOracle(MembershipOracle<I,Word<O>> oracle)

withOracle

public ExtensibleLStarMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)

getInitialPrefixes

public List<Word<I>> getInitialPrefixes()

setInitialPrefixes

public void setInitialPrefixes(List<Word<I>> initialPrefixes)

withInitialPrefixes

public ExtensibleLStarMealyBuilder<I,O> withInitialPrefixes(List<Word<I>> initialPrefixes)

getInitialSuffixes

public List<Word<I>> getInitialSuffixes()

setInitialSuffixes

public void setInitialSuffixes(List<Word<I>> initialSuffixes)

withInitialSuffixes

public ExtensibleLStarMealyBuilder<I,O> withInitialSuffixes(List<Word<I>> initialSuffixes)

getCexHandler

public ObservationTableCEXHandler<? super I,? super Word<O>> getCexHandler()

setCexHandler

public void setCexHandler(ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler)

withCexHandler

public ExtensibleLStarMealyBuilder<I,O> withCexHandler(ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler)

getClosingStrategy

public ClosingStrategy<? super I,? super Word<O>> getClosingStrategy()

setClosingStrategy

public void setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

withClosingStrategy

public ExtensibleLStarMealyBuilder<I,O> withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)