de.learnlib.algorithms.discriminationtree.dfa

Class DTLearnerDFA.BuilderDefaults

java.lang.Object

de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults

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

Enclosing class:

DTLearnerDFA<I>

public static class DTLearnerDFA.BuilderDefaults
extends AbstractDTLearner.BuilderDefaults

Constructor Summary

Constructors

Constructor and Description
DTLearnerDFA.BuilderDefaults()

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	epsilonRoot()

Methods inherited from class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults

repeatedCounterexampleEvaluation, suffixFinder

Methods inherited from class java.lang.Object

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

Constructor Detail

DTLearnerDFA.BuilderDefaults

public DTLearnerDFA.BuilderDefaults()

Method Detail

epsilonRoot

public static boolean epsilonRoot()