Uses of Interface
de.learnlib.oracle.SingleQueryOracle.SingleQueryOracleMealy
-
Packages that use SingleQueryOracle.SingleQueryOracleMealy Package Description de.learnlib.filter.reuse de.learnlib.oracle.membership -
-
Uses of SingleQueryOracle.SingleQueryOracleMealy in de.learnlib.filter.reuse
Classes in de.learnlib.filter.reuse that implement SingleQueryOracle.SingleQueryOracleMealy 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.SingleQueryOracleMealy in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement SingleQueryOracle.SingleQueryOracleMealy Modifier and Type Class Description class
MealySimulatorOracle<I,O>
This is an auto-generated refinement.class
SPMMSimulatorOracle<I,O>
This is an auto-generated refinement.
-