Package | Description |
---|---|
de.learnlib.algorithms.adt.adt | |
de.learnlib.algorithms.adt.learner | |
de.learnlib.algorithms.adt.util | |
de.learnlib.filter.cache.mealy | |
de.learnlib.oracle.membership |
Modifier and Type | Method and Description |
---|---|
ADTNode<S,I,O> |
ADTLeafNode.sift(SymbolQueryOracle<I,O> oracle,
net.automatalib.words.Word<I> prefix) |
ADTNode<S,I,O> |
ADTNode.sift(SymbolQueryOracle<I,O> oracle,
net.automatalib.words.Word<I> prefix)
Utility method, that sifts a given word through
this ADTNode. |
ADTNode<S,I,O> |
ADTResetNode.sift(SymbolQueryOracle<I,O> oracle,
net.automatalib.words.Word<I> prefix) |
ADTNode<S,I,O> |
ADTSymbolNode.sift(SymbolQueryOracle<I,O> oracle,
net.automatalib.words.Word<I> prefix) |
ADTNode<S,I,O> |
ADT.sift(SymbolQueryOracle<I,O> oracle,
net.automatalib.words.Word<I> word,
ADTNode<S,I,O> subtree)
Successively sifts a word through the ADT induced by the given node.
|
Constructor and Description |
---|
ADTLearner(net.automatalib.words.Alphabet<I> alphabet,
SymbolQueryOracle<I,O> oracle,
LeafSplitter leafSplitter,
ADTExtender adtExtender,
SubtreeReplacer subtreeReplacer) |
Modifier and Type | Class and Description |
---|---|
class |
SQOOTBridge<I,O>
A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol
query oracle will be stored in the observation tree.
|
Constructor and Description |
---|
SQOOTBridge(ObservationTree<?,I,O> observationTree,
SymbolQueryOracle<I,O> delegate,
boolean enableCache) |
Modifier and Type | Class and Description |
---|---|
class |
SymbolQueryCache<I,O>
A cache for a
SymbolQueryOracle . |
Constructor and Description |
---|
SymbolQueryCache(SymbolQueryOracle<I,O> delegate,
net.automatalib.words.Alphabet<I> alphabet) |
Modifier and Type | Class and Description |
---|---|
class |
SULSymbolQueryOracle<I,O>
A wrapper that allows to use a
SUL where a SymbolQueryOracle is expected. |
Copyright © 2018. All rights reserved.