Uses of Interface
de.learnlib.api.oracle.SymbolQueryOracle

Packages that use SymbolQueryOracle

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

Uses of SymbolQueryOracle in de.learnlib.algorithms.adt.adt

Methods in de.learnlib.algorithms.adt.adt with parameters of type SymbolQueryOracle

Modifier and Type	Method and Description
ADTNode<S,I,O>	ADTSymbolNode.sift(SymbolQueryOracle<I,O> oracle, net.automatalib.words.Word<I> prefix)
ADTNode<S,I,O>	ADTResetNode.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>	ADTLeafNode.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.

Uses of SymbolQueryOracle in de.learnlib.algorithms.adt.learner

Constructors in de.learnlib.algorithms.adt.learner with parameters of type SymbolQueryOracle

Constructor and Description
ADTLearner(net.automatalib.words.Alphabet<I> alphabet, SymbolQueryOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer)

Uses of SymbolQueryOracle in de.learnlib.algorithms.adt.util

Classes in de.learnlib.algorithms.adt.util that implement SymbolQueryOracle

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.

Constructors in de.learnlib.algorithms.adt.util with parameters of type SymbolQueryOracle

Constructor and 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 and Description
class	SymbolQueryCache<I,O> A cache for a SymbolQueryOracle.

Constructors in de.learnlib.filter.cache.mealy with parameters of type SymbolQueryOracle

Constructor and Description
SymbolQueryCache(SymbolQueryOracle<I,O> delegate, net.automatalib.words.Alphabet<I> alphabet)

Uses of SymbolQueryOracle in de.learnlib.oracle.membership

Classes in de.learnlib.oracle.membership that implement SymbolQueryOracle

Modifier and Type	Class and Description
class	SULSymbolQueryOracle<I,O> A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.