de.learnlib.algorithms.discriminationtree.dfa

Class DTLearnerDFA.BuilderDefaults

java.lang.Object

de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults

Enclosing class:

DTLearnerDFA<I>

public static class DTLearnerDFA.BuilderDefaults
extends Object

Constructor Summary

Constructors

Constructor and Description
BuilderDefaults()

Method Summary

Modifier and Type	Method and Description
static boolean	epsilonRoot()
static boolean	repeatedCounterexampleEvaluation()
static <I,O> LocalSuffixFinder<? super I,? super O>	suffixFinder()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BuilderDefaults

public BuilderDefaults()

Method Detail

epsilonRoot

public static boolean epsilonRoot()

suffixFinder

public static <I,O> LocalSuffixFinder<? super I,? super O> suffixFinder()

repeatedCounterexampleEvaluation

public static boolean repeatedCounterexampleEvaluation()