Package | Description |
---|---|
de.learnlib.api | |
de.learnlib.filters.reuse | |
de.learnlib.oracles |
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. |
Modifier and Type | Interface and Description |
---|---|
interface |
ParallelSingleQueryOracle<I,D>
Deprecated.
since 2015-05-10. Parallelization of query processing should not be determined
by an oracle implementation and always be configurable. Instead, implement
SingleQueryOracle (or the respective specialization) and use the
MQUtil.PARALLEL_THRESHOLD variable (or setting) to configure parallelization. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractSingleQueryOracle<I,D>
Deprecated.
since 2015-05-10. This class is no longer necessary due to the introduction
of default methods. Instead, implement
SingleQueryOracle (or the respective specialization)
directly. |
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I>
Deprecated.
|
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O>
Deprecated.
|
class |
SimulatorOracle<I,D>
A membership oracle backed by an automaton.
|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
Copyright © 2016. All rights reserved.