Uses of Interface
de.learnlib.algorithm.adt.api.SubtreeReplacer
-
Packages that use SubtreeReplacer Package Description de.learnlib.algorithm.adt.config de.learnlib.algorithm.adt.config.model.replacer de.learnlib.algorithm.adt.learner -
-
Uses of SubtreeReplacer in de.learnlib.algorithm.adt.config
Fields in de.learnlib.algorithm.adt.config declared as SubtreeReplacer Modifier and Type Field 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.algorithm.adt.config.model.replacer
Classes in de.learnlib.algorithm.adt.config.model.replacer that implement SubtreeReplacer Modifier and Type Class Description class
ExhaustiveReplacer
class
LevelOrderReplacer
class
SingleReplacer
-
Uses of SubtreeReplacer in de.learnlib.algorithm.adt.learner
Methods in de.learnlib.algorithm.adt.learner that return SubtreeReplacer Modifier and Type Method Description SubtreeReplacer
ADTLearnerBuilder. getSubtreeReplacer()
Methods in de.learnlib.algorithm.adt.learner with parameters of type SubtreeReplacer Modifier and Type Method Description void
ADTLearnerBuilder. setSubtreeReplacer(SubtreeReplacer subtreeReplacer)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withSubtreeReplacer(SubtreeReplacer subtreeReplacer)
Constructors in de.learnlib.algorithm.adt.learner with parameters of type SubtreeReplacer Constructor 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)
-