Class AbstractOPLearner.BuilderDefaults
- java.lang.Object
-
- de.learnlib.algorithm.observationpack.AbstractOPLearner.BuilderDefaults
-
- Enclosing class:
- AbstractOPLearner<M extends SuffixOutput<I,D>,I,D,SP,TP>
public static final class AbstractOPLearner.BuilderDefaults extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
repeatedCounterexampleEvaluation()
static <I,O>
LocalSuffixFinder<? super I,? super O>suffixFinder()
-
-
-
Method Detail
-
suffixFinder
public static <I,O> LocalSuffixFinder<? super I,? super O> suffixFinder()
-
repeatedCounterexampleEvaluation
public static boolean repeatedCounterexampleEvaluation()
-
-