Uses of Class
de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

Packages that use OPLearnerDFABuilder

Package	Description
de.learnlib.algorithm.observationpack.dfa

Uses of OPLearnerDFABuilder in de.learnlib.algorithm.observationpack.dfa

Methods in de.learnlib.algorithm.observationpack.dfa that return OPLearnerDFABuilder

Modifier and Type	Method	Description
OPLearnerDFABuilder<I>	OPLearnerDFABuilder.withAlphabet(Alphabet<I> alphabet)
OPLearnerDFABuilder<I>	OPLearnerDFABuilder.withEpsilonRoot(boolean epsilonRoot)
OPLearnerDFABuilder<I>	OPLearnerDFABuilder.withOracle(MembershipOracle<I,Boolean> oracle)
OPLearnerDFABuilder<I>	OPLearnerDFABuilder.withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
OPLearnerDFABuilder<I>	OPLearnerDFABuilder.withSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)