Package | Description |
---|---|
de.learnlib.algorithms.adt.adt | |
de.learnlib.algorithms.adt.config | |
de.learnlib.algorithms.adt.learner |
Modifier and Type | Method and Description |
---|---|
void |
ADT.setLeafSplitter(LeafSplitter leafSplitter) |
Constructor and Description |
---|
ADT(LeafSplitter leafSplitter) |
Modifier and Type | Field and Description |
---|---|
static LeafSplitter |
LeafSplitters.DEFAULT_SPLITTER |
static LeafSplitter |
LeafSplitters.EXTEND_PARENT |
Modifier and Type | Method and Description |
---|---|
static LeafSplitter |
ADTLearner.BuilderDefaults.leafSplitter() |
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.