Uses of Class
de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyBuilder

Packages that use KearnsVaziraniMealyBuilder

Package	Description
de.learnlib.algorithms.kv.mealy

Uses of KearnsVaziraniMealyBuilder in de.learnlib.algorithms.kv.mealy

Methods in de.learnlib.algorithms.kv.mealy that return KearnsVaziraniMealyBuilder

Modifier and Type	Method and 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)