Uses of Class
de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder
-
Packages that use OPLearnerMealyBuilder Package Description de.learnlib.algorithm.observationpack.mealy -
-
Uses of OPLearnerMealyBuilder in de.learnlib.algorithm.observationpack.mealy
Methods in de.learnlib.algorithm.observationpack.mealy that return OPLearnerMealyBuilder Modifier and Type Method Description OPLearnerMealyBuilder<I,O>
OPLearnerMealyBuilder. withAlphabet(Alphabet<I> alphabet)
OPLearnerMealyBuilder<I,O>
OPLearnerMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
OPLearnerMealyBuilder<I,O>
OPLearnerMealyBuilder. withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
OPLearnerMealyBuilder<I,O>
OPLearnerMealyBuilder. withSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-