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