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(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)	Sets the new value for the parameter counterexampleAnalyzer and returns this builder instance.
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withOracle(MembershipOracle<I,Boolean> oracle)	Sets the new value for the parameter oracle and returns this builder instance.
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)	Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.