Uses of Interface
de.learnlib.oracle.SingleQueryOracle
-
Packages that use SingleQueryOracle Package Description de.learnlib.filter.reuse de.learnlib.oracle This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.membership -
-
Uses of SingleQueryOracle in de.learnlib.filter.reuse
Classes in de.learnlib.filter.reuse that implement SingleQueryOracle Modifier and Type Class Description class
ReuseOracle<S,I,O>
The reuse oracle is aMembershipOracle.MealyMembershipOracle
that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from theReuseTree
) Pump queries: If theReuseTree
is configured to know which symbols are model invariant input symbols viaReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set)
(like a read from a database which does not change the SUL) or configured for failure output symbols viaReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set)
(e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen. Reuse system states: There are a lot of situations where a prefix of a query is already known and a system state is available. -
Uses of SingleQueryOracle in de.learnlib.oracle
Subinterfaces of SingleQueryOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
SingleQueryOracle.SingleQueryOracleDFA<I>
static interface
SingleQueryOracle.SingleQueryOracleMealy<I,O>
static interface
SingleQueryOracle.SingleQueryOracleMoore<I,O>
-
Uses of SingleQueryOracle in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement SingleQueryOracle Modifier and Type Class Description class
DFASimulatorOracle<I>
This is an auto-generated refinement.class
MappedOracle<AI,AO,CI,CO>
A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.class
MealySimulatorOracle<I,O>
This is an auto-generated refinement.class
MooreSimulatorOracle<I,O>
This is an auto-generated refinement.class
NFASimulatorOracle<I>
This is an auto-generated refinement.class
SBASimulatorOracle<I>
This is an auto-generated refinement.class
SEVPASimulatorOracle<I>
This is an auto-generated refinement.class
SimulatorOracle<I,D>
A membership oracle backed by an automaton.class
SPASimulatorOracle<I>
This is an auto-generated refinement.class
SPMMSimulatorOracle<I,O>
This is an auto-generated refinement.
-