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

Packages that use SubtreeReplacer

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

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

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

Modifier and Type	Field and Description
static SubtreeReplacer	SubtreeReplacers.EXHAUSTIVE_BEST_EFFORT
static SubtreeReplacer	SubtreeReplacers.EXHAUSTIVE_MIN_LENGTH
static SubtreeReplacer	SubtreeReplacers.EXHAUSTIVE_MIN_SIZE
static SubtreeReplacer	SubtreeReplacers.LEVELED_BEST_EFFORT
static SubtreeReplacer	SubtreeReplacers.LEVELED_MIN_LENGTH
static SubtreeReplacer	SubtreeReplacers.LEVELED_MIN_SIZE
static SubtreeReplacer	SubtreeReplacers.NEVER_REPLACE
static SubtreeReplacer	SubtreeReplacers.SINGLE_BEST_EFFORT
static SubtreeReplacer	SubtreeReplacers.SINGLE_MIN_LENGTH
static SubtreeReplacer	SubtreeReplacers.SINGLE_MIN_SIZE

Uses of SubtreeReplacer in de.learnlib.algorithms.adt.config.model.replacer

Classes in de.learnlib.algorithms.adt.config.model.replacer that implement SubtreeReplacer

Modifier and Type	Class and Description
class	ExhaustiveReplacer
class	LevelOrderReplacer
class	SingleReplacer

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

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

Modifier and Type	Method and Description
static SubtreeReplacer	ADTLearner.BuilderDefaults.subtreeReplacer()

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

Constructor and Description
ADTLearner(net.automatalib.words.Alphabet<I> alphabet, SymbolQueryOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer)