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)
-