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