Package | Description |
---|---|
de.learnlib.cache | |
de.learnlib.cache.mealy | |
de.learnlib.filters.reuse | |
de.learnlib.oracles | |
de.learnlib.testsupport.it.learner |
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
MembershipOracle.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 |
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
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(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 © 2015. All rights reserved.