Package | Description |
---|---|
de.learnlib.api.oracle | |
de.learnlib.filter.reuse | |
de.learnlib.oracle.membership |
Modifier and Type | Interface and Description |
---|---|
static interface |
SingleQueryOracle.SingleQueryOracleDFA<I> |
static interface |
SingleQueryOracle.SingleQueryOracleMealy<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
ReuseOracle<S,I,O>
The reuse oracle is a
MealyMembershipOracle that is able to Cache queries: Each processed query will
not be delegated again (instead the answer will be retrieved from the ReuseTree ) Pump queries: If
the ReuseTree is configured to know which symbols are model invariant input symbols via ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or
configured for failure output symbols via ReuseOracle.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. |
Modifier and Type | Class and Description |
---|---|
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 |
SimulatorOracle<I,D>
A membership oracle backed by an automaton.
|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
Copyright © 2018. All rights reserved.