Package | Description |
---|---|
de.learnlib.api | |
de.learnlib.cache | |
de.learnlib.cache.dfa | |
de.learnlib.cache.mealy | |
de.learnlib.filters.reuse | |
de.learnlib.oracles | |
de.learnlib.parallelism | |
de.learnlib.statistics |
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> |
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.
|
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 |
CounterOracle<I,D>
Counts queries.
|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
class |
FilterChain<I,D>
A chain of oracles.
|
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> |
class |
OracleQueryAnswerer<I,D>
Deprecated.
since 2015-05-10.
MembershipOracle now extends QueryAnswerer ,
rendering this class obsolete. |
class |
QueryAnswererOracle<I,D> |
class |
SafeOracle<I,D>
Deprecated.
since 2015-05-10. This class has no real (and reasonable) use case.
All it does is to check whether the collection of queries passed to
SafeOracle.processQueries(Collection) is being modified. However, this is highly unlikely,
and wrapping the passed queries using Collections.unmodifiableCollection(Collection)
is a way better approach for intercepting these cases than wrapping the oracle. |
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).
|
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) |
Constructor and Description |
---|
QueryAnswererOracle(QueryAnswerer<I,D> answerer) |
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 | Interface and Description |
---|---|
interface |
StatisticOracle<I,O>
Common interface for oracles keeping statistics.
|
Copyright © 2016. All rights reserved.