Uses of Class
de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
-
Packages that use KearnsVaziraniMealyBuilder Package Description de.learnlib.algorithm.kv.mealy -
-
Uses of KearnsVaziraniMealyBuilder in de.learnlib.algorithm.kv.mealy
Methods in de.learnlib.algorithm.kv.mealy that return KearnsVaziraniMealyBuilder Modifier and Type Method Description KearnsVaziraniMealyBuilder<I,O>
KearnsVaziraniMealyBuilder. withAlphabet(Alphabet<I> alphabet)
KearnsVaziraniMealyBuilder<I,O>
KearnsVaziraniMealyBuilder. withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
KearnsVaziraniMealyBuilder<I,O>
KearnsVaziraniMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
KearnsVaziraniMealyBuilder<I,O>
KearnsVaziraniMealyBuilder. withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
-