Package | Description |
---|---|
de.learnlib.algorithms.adt.config | |
de.learnlib.algorithms.adt.config.model.extender | |
de.learnlib.algorithms.adt.learner |
Modifier and Type | Field and Description |
---|---|
static ADTExtender |
ADTExtenders.EXTEND_BEST_EFFORT |
static ADTExtender |
ADTExtenders.NOP |
Modifier and Type | Class and Description |
---|---|
class |
DefaultExtender |
Modifier and Type | Method and Description |
---|---|
static ADTExtender |
ADTLearner.BuilderDefaults.adtExtender() |
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.