Package | Description |
---|---|
de.learnlib.filters.reuse | |
de.learnlib.oracles |
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. |
Modifier and Type | Class and Description |
---|---|
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O>
Deprecated.
|
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
Copyright © 2016. All rights reserved.