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