Uses of Class
de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder

Packages that use KearnsVaziraniDFABuilder

Package	Description
de.learnlib.algorithm.kv.dfa

Uses of KearnsVaziraniDFABuilder in de.learnlib.algorithm.kv.dfa

Methods in de.learnlib.algorithm.kv.dfa that return KearnsVaziraniDFABuilder

Modifier and Type	Method	Description
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withAlphabet(Alphabet<I> alphabet)
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withOracle(MembershipOracle<I,Boolean> oracle)
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)