Modifier and Type | Interface and Description |
---|---|
static interface |
SingleQueryOracle.SingleQueryOracleMealy<I,O> |
Modifier and Type | Interface and Description |
---|---|
static interface |
LearningCacheOracle.MealyLearningCacheOracle<I,O>
Specialization of the
LearningCacheOracle interface for Mealy machine learning. |
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. 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 |
---|---|
static class |
CounterOracle.MealyCounterOracle<I,O> |
static class |
JointCounterOracle.MealyJointCounterOracle<I,O> |
Modifier and Type | Class and Description |
---|---|
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
class |
SULOracle<I,O>
A wrapper around a system under learning (SUL).
|
Modifier and Type | Method and Description |
---|---|
protected abstract <I,O> void |
AbstractMealyLearnerIT.addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle.MealyMembershipOracle<I,O> mqOracle,
LearnerVariantList.MealyLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified
variant list . |
Copyright © 2018. All rights reserved.