Uses of Interface
de.learnlib.oracle.SymbolQueryOracle
-
-
Uses of SymbolQueryOracle in de.learnlib.algorithm.adt.adt
Methods in de.learnlib.algorithm.adt.adt with parameters of type SymbolQueryOracle Modifier and Type Method Description ADTNode<S,I,O>
ADT. sift(SymbolQueryOracle<I,O> oracle, Word<I> word, ADTNode<S,I,O> subtree)
Successively sifts a word through the ADT induced by the given node.ADTNode<S,I,O>
ADTLeafNode. sift(SymbolQueryOracle<I,O> oracle, Word<I> prefix)
ADTNode<S,I,O>
ADTNode. sift(SymbolQueryOracle<I,O> oracle, Word<I> prefix)
Utility method, that sifts a given word throughthis
ADTNode.ADTNode<S,I,O>
ADTResetNode. sift(SymbolQueryOracle<I,O> oracle, Word<I> prefix)
ADTNode<S,I,O>
ADTSymbolNode. sift(SymbolQueryOracle<I,O> oracle, Word<I> prefix)
-
Uses of SymbolQueryOracle in de.learnlib.algorithm.adt.learner
Methods in de.learnlib.algorithm.adt.learner that return SymbolQueryOracle Modifier and Type Method Description SymbolQueryOracle<I,O>
ADTLearnerBuilder. getOracle()
Methods in de.learnlib.algorithm.adt.learner with parameters of type SymbolQueryOracle Modifier and Type Method Description void
ADTLearnerBuilder. setOracle(SymbolQueryOracle<I,O> oracle)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withOracle(SymbolQueryOracle<I,O> oracle)
Constructors in de.learnlib.algorithm.adt.learner with parameters of type SymbolQueryOracle 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)
-
Uses of SymbolQueryOracle in de.learnlib.algorithm.adt.util
Classes in de.learnlib.algorithm.adt.util that implement SymbolQueryOracle Modifier and Type Class 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.Constructors in de.learnlib.algorithm.adt.util with parameters of type SymbolQueryOracle Constructor Description SQOOTBridge(ObservationTree<?,I,O> observationTree, SymbolQueryOracle<I,O> delegate, boolean enableCache)
-
Uses of SymbolQueryOracle in de.learnlib.filter.cache.mealy
Classes in de.learnlib.filter.cache.mealy that implement SymbolQueryOracle Modifier and Type Class Description class
SymbolQueryCache<I,O>
A cache for aSymbolQueryOracle
.Methods in de.learnlib.filter.cache.mealy with parameters of type SymbolQueryOracle Modifier and Type Method Description static <I,O>
SymbolQueryCache<I,O>MealyCaches. createSymbolQueryCache(Alphabet<I> alphabet, SymbolQueryOracle<I,O> mqOracle)
Creates a cache oracle for a symbol-based Mealy machine learning setup, using a tree for internal cache organization. -
Uses of SymbolQueryOracle in de.learnlib.filter.statistic.oracle
Classes in de.learnlib.filter.statistic.oracle that implement SymbolQueryOracle Modifier and Type Class Description class
CounterSymbolQueryOracle<I,O>
Constructors in de.learnlib.filter.statistic.oracle with parameters of type SymbolQueryOracle Constructor Description CounterSymbolQueryOracle(SymbolQueryOracle<I,O> delegate)
-
Uses of SymbolQueryOracle in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement SymbolQueryOracle Modifier and Type Class Description class
StateLocalInputSULSymbolQueryOracle<I,O>
ASymbolQueryOracle
wrapper forStateLocalInputSUL
s.class
SULSymbolQueryOracle<I,O>
A wrapper that allows to use aSUL
where aSymbolQueryOracle
is expected.
-