Uses of Class
de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
-
Packages that use ExtensibleLStarDFABuilder Package Description de.learnlib.algorithm.lstar.dfa -
-
Uses of ExtensibleLStarDFABuilder in de.learnlib.algorithm.lstar.dfa
Methods in de.learnlib.algorithm.lstar.dfa that return ExtensibleLStarDFABuilder Modifier and Type Method Description ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withAlphabet(Alphabet<I> alphabet)
ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withCexHandler(ObservationTableCEXHandler<? super I,? super Boolean> cexHandler)
ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withInitialPrefixes(List<Word<I>> initialPrefixes)
ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withInitialSuffixes(List<Word<I>> initialSuffixes)
ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
-