Modifier and Type | Class and Description |
---|---|
class |
SQOOTBridge<I,O>
A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol
query oracle will be stored in the observation tree.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Filter<I,D>
A filter is an oracle that can be used as the middle element in a chain of oracles.
|
interface |
MembershipOracle<I,D>
Membership oracle interface.
|
static interface |
MembershipOracle.DFAMembershipOracle<I> |
static interface |
MembershipOracle.MealyMembershipOracle<I,O> |
interface |
SingleQueryOracle<I,D>
Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a
QueryAnswerer , and that cannot profit from batch processing of queries. |
static interface |
SingleQueryOracle.SingleQueryOracleDFA<I> |
static interface |
SingleQueryOracle.SingleQueryOracleMealy<I,O> |
interface |
SymbolQueryOracle<I,O>
Symbol query interface.
|
Modifier and Type | Interface and Description |
---|---|
interface |
StatisticOracle<I,O>
Common interface for oracles keeping statistics.
|
Modifier and Type | Interface and Description |
---|---|
interface |
LearningCacheOracle<A,I,D>
A
learning cache that also serves as a membership oracle . |
static interface |
LearningCacheOracle.DFALearningCacheOracle<I>
Specialization of the
LearningCacheOracle interface for DFA learning. |
static interface |
LearningCacheOracle.MealyLearningCacheOracle<I,O>
Specialization of the
LearningCacheOracle interface for Mealy machine learning. |
Modifier and Type | Class and Description |
---|---|
class |
DFACacheOracle<I>
DFA cache.
|
class |
DFAHashCacheOracle<I> |
Modifier and Type | Class and Description |
---|---|
class |
MealyCacheOracle<I,O>
Mealy cache.
|
class |
SymbolQueryCache<I,O>
A cache for a
SymbolQueryOracle . |
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 |
CounterOracle<I,D>
Counts queries.
|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
class |
HistogramOracle<I,D>
Collects a histogram of passed query lengths.
|
class |
JointCounterOracle<I,D>
A
MembershipOracle that counts both the number of queries, as well as the total number of symbols occurring
in all those queries. |
static class |
JointCounterOracle.DFAJointCounterOracle<I> |
static class |
JointCounterOracle.MealyJointCounterOracle<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
FilterChain<I,D>
A chain of oracles.
|
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> |
class |
SULOracle<I,O>
A wrapper around a system under learning (SUL).
|
class |
SULSymbolQueryOracle<I,O>
A wrapper that allows to use a
SUL where a SymbolQueryOracle is expected. |
Constructor and Description |
---|
MappedOracle(QueryAnswerer<CI,CO> delegate,
Mapper.AsynchronousMapper<AI,AO,CI,CO> mapper) |
Modifier and Type | Interface and Description |
---|---|
interface |
ParallelOracle<I,D>
Basic interface for
MembershipOracle s that can process queries in parallel. |
Modifier and Type | Class and Description |
---|---|
class |
DynamicParallelOracle<I,D>
A parallel membership oracle that dynamically distributes queries to worker threads.
|
class |
StaticParallelOracle<I,D>
A membership oracle that statically distributes a set of queries among several threads.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> void |
MQUtil.answerQueries(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
static <I,D> void |
MQUtil.answerQueriesAuto(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
static <I,D> void |
MQUtil.answerQueriesParallel(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
Copyright © 2018. All rights reserved.