Uses of Interface
de.learnlib.algorithms.adt.api.LeafSplitter

Packages that use LeafSplitter

Package	Description
de.learnlib.algorithms.adt.adt
de.learnlib.algorithms.adt.config
de.learnlib.algorithms.adt.learner

Uses of LeafSplitter in de.learnlib.algorithms.adt.adt

Methods in de.learnlib.algorithms.adt.adt with parameters of type LeafSplitter

Modifier and Type	Method and Description
void	ADT.setLeafSplitter(LeafSplitter leafSplitter)

Constructors in de.learnlib.algorithms.adt.adt with parameters of type LeafSplitter

Constructor and Description
ADT(LeafSplitter leafSplitter)

Uses of LeafSplitter in de.learnlib.algorithms.adt.config

Fields in de.learnlib.algorithms.adt.config declared as LeafSplitter

Modifier and Type	Field and Description
static LeafSplitter	LeafSplitters.DEFAULT_SPLITTER
static LeafSplitter	LeafSplitters.EXTEND_PARENT

Uses of LeafSplitter in de.learnlib.algorithms.adt.learner

Methods in de.learnlib.algorithms.adt.learner that return LeafSplitter

Modifier and Type	Method and Description
LeafSplitter	ADTLearnerBuilder.getLeafSplitter()
static LeafSplitter	ADTLearner.BuilderDefaults.leafSplitter()

Methods in de.learnlib.algorithms.adt.learner with parameters of type LeafSplitter

Modifier and Type	Method and Description
void	ADTLearnerBuilder.setLeafSplitter(LeafSplitter leafSplitter)
ADTLearnerBuilder<I,O>	ADTLearnerBuilder.withLeafSplitter(LeafSplitter leafSplitter)

Constructors in de.learnlib.algorithms.adt.learner with parameters of type LeafSplitter

Constructor and Description
ADTLearner(Alphabet<I> alphabet, SymbolQueryOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer)
ADTLearner(Alphabet<I> alphabet, SymbolQueryOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer, boolean useObservationTree)