de.learnlib.algorithms.adt.learner

Class ADTLearner.BuilderDefaults

java.lang.Object

de.learnlib.algorithms.adt.learner.ADTLearner.BuilderDefaults

Enclosing class:

ADTLearner<I,O>

public static final class ADTLearner.BuilderDefaults
extends Object

Method Summary

Modifier and Type	Method and Description
static ADTExtender	adtExtender()
static LeafSplitter	leafSplitter()
static SubtreeReplacer	subtreeReplacer()
static boolean	useObservationTree()

Methods inherited from class java.lang.Object

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

Method Detail

leafSplitter

public static LeafSplitter leafSplitter()

adtExtender

public static ADTExtender adtExtender()

subtreeReplacer

public static SubtreeReplacer subtreeReplacer()

useObservationTree

public static boolean useObservationTree()