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 class ADTLearner.BuilderDefaults
extends Object

Constructor Summary

Constructors

Constructor and Description
BuilderDefaults()

Method Summary

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

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

leafSplitter

public static LeafSplitter leafSplitter()

adtExtender

public static ADTExtender adtExtender()

subtreeReplacer

public static SubtreeReplacer subtreeReplacer()