Package de.learnlib.algorithm.lstar.dfa
Class ExtensibleLStarDFABuilder<I>
- java.lang.Object
-
- de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder<I>
-
public final class ExtensibleLStarDFABuilder<I> extends Object
-
-
Constructor Summary
Constructors Constructor Description ExtensibleLStarDFABuilder()
-
Method Summary
-
-
-
Method Detail
-
create
public ExtensibleLStarDFA<I> create()
-
withAlphabet
public ExtensibleLStarDFABuilder<I> withAlphabet(Alphabet<I> alphabet)
-
getOracle
public MembershipOracle<I,Boolean> getOracle()
-
setOracle
public void setOracle(MembershipOracle<I,Boolean> oracle)
-
withOracle
public ExtensibleLStarDFABuilder<I> withOracle(MembershipOracle<I,Boolean> oracle)
-
withInitialPrefixes
public ExtensibleLStarDFABuilder<I> withInitialPrefixes(List<Word<I>> initialPrefixes)
-
withInitialSuffixes
public ExtensibleLStarDFABuilder<I> withInitialSuffixes(List<Word<I>> initialSuffixes)
-
getCexHandler
public ObservationTableCEXHandler<? super I,? super Boolean> getCexHandler()
-
setCexHandler
public void setCexHandler(ObservationTableCEXHandler<? super I,? super Boolean> cexHandler)
-
withCexHandler
public ExtensibleLStarDFABuilder<I> withCexHandler(ObservationTableCEXHandler<? super I,? super Boolean> cexHandler)
-
getClosingStrategy
public ClosingStrategy<? super I,? super Boolean> getClosingStrategy()
-
setClosingStrategy
public void setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
-
withClosingStrategy
public ExtensibleLStarDFABuilder<I> withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
-
-