Package | Description |
---|---|
de.learnlib.algorithms.adt.config | |
de.learnlib.algorithms.adt.config.model.replacer | |
de.learnlib.algorithms.adt.learner |
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 |
Modifier and Type | Class and Description |
---|---|
class |
ExhaustiveReplacer |
class |
LevelOrderReplacer |
class |
SingleReplacer |
Modifier and Type | Method and Description |
---|---|
static SubtreeReplacer |
ADTLearner.BuilderDefaults.subtreeReplacer() |
Constructor and Description |
---|
ADTLearner(net.automatalib.words.Alphabet<I> alphabet,
SymbolQueryOracle<I,O> oracle,
LeafSplitter leafSplitter,
ADTExtender adtExtender,
SubtreeReplacer subtreeReplacer) |
Copyright © 2018. All rights reserved.