Uses of Interface
de.learnlib.oracle.MembershipOracle.MealyMembershipOracle
-
Packages that use MembershipOracle.MealyMembershipOracle Package Description de.learnlib.algorithm.adt.util de.learnlib.filter.cache de.learnlib.filter.cache.mealy de.learnlib.filter.reuse de.learnlib.filter.statistic.oracle de.learnlib.oracle This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.emptiness de.learnlib.oracle.equivalence de.learnlib.oracle.membership de.learnlib.testsupport This package (including sub-packages) contains utility code for formalizing test-cases.de.learnlib.testsupport.it.learner -
-
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.algorithm.adt.util
Classes in de.learnlib.algorithm.adt.util that implement MembershipOracle.MealyMembershipOracle Modifier and Type Class 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. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.cache
Subinterfaces of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.cache Modifier and Type Interface Description static interface
LearningCacheOracle.MealyLearningCacheOracle<I,O>
Specialization of theLearningCacheOracle
interface for Mealy machine learning. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.cache.mealy
Classes in de.learnlib.filter.cache.mealy that implement MembershipOracle.MealyMembershipOracle Modifier and Type Class Description class
MealyCacheOracle<I,O>
Mealy cache.class
SymbolQueryCache<I,O>
A cache for aSymbolQueryOracle
.class
ThreadSafeMealyCacheOracle<I,O>
A thread-safe variant ofMealyCacheOracle
. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.reuse
Classes in de.learnlib.filter.reuse that implement MembershipOracle.MealyMembershipOracle Modifier and Type Class Description class
ReuseOracle<S,I,O>
The reuse oracle is aMembershipOracle.MealyMembershipOracle
that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from theReuseTree
) Pump queries: If theReuseTree
is configured to know which symbols are model invariant input symbols viaReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set)
(like a read from a database which does not change the SUL) or configured for failure output symbols viaReuseOracle.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. Reuse system states: There are a lot of situations where a prefix of a query is already known and a system state is available. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.statistic.oracle
Classes in de.learnlib.filter.statistic.oracle that implement MembershipOracle.MealyMembershipOracle Modifier and Type Class Description class
CounterSymbolQueryOracle<I,O>
class
MealyCounterOracle<I,O>
This is an auto-generated refinement.class
MealyHistogramOracle<I,O>
This is an auto-generated refinement.Constructors in de.learnlib.filter.statistic.oracle with parameters of type MembershipOracle.MealyMembershipOracle Constructor Description MealyCounterOracle(MembershipOracle.MealyMembershipOracle<I,O> delegate)
This is an auto-generated constructor.MealyHistogramOracle(MembershipOracle.MealyMembershipOracle<I,O> next, String name)
This is an auto-generated constructor. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.oracle
Subinterfaces of MembershipOracle.MealyMembershipOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
SingleQueryOracle.SingleQueryOracleMealy<I,O>
interface
SymbolQueryOracle<I,O>
Symbol query interface.Methods in de.learnlib.oracle that return MembershipOracle.MealyMembershipOracle Modifier and Type Method Description MembershipOracle.MealyMembershipOracle<I,O>
OmegaMembershipOracle.MealyOmegaMembershipOracle. getMembershipOracle()
-
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.oracle.emptiness
Constructors in de.learnlib.oracle.emptiness with parameters of type MembershipOracle.MealyMembershipOracle Constructor Description MealyBFEmptinessOracle(MembershipOracle.MealyMembershipOracle<I,O> membershipOracle, double multiplier)
This is an auto-generated constructor. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.oracle.equivalence
Constructors in de.learnlib.oracle.equivalence with parameters of type MembershipOracle.MealyMembershipOracle Constructor Description MealyBFInclusionOracle(MembershipOracle.MealyMembershipOracle<I,O> membershipOracle, double multiplier)
This is an auto-generated constructor.MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int maxDepth)
This is an auto-generated constructor.MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minDepth, int maxDepth)
This is an auto-generated constructor.MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minDepth, int maxDepth, int batchSize)
This is an auto-generated constructor.MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> oracle, Alphabet<I> alphabet)
This is an auto-generated constructor.MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> oracle, Alphabet<I> alphabet, int maxDepth)
This is an auto-generated constructor.MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> oracle, Alphabet<I> alphabet, int maxDepth, int batchSize)
This is an auto-generated constructor.MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength)
This is an auto-generated constructor.MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound)
This is an auto-generated constructor.MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
This is an auto-generated constructor.MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
This is an auto-generated constructor.MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I,O> mqOracle, int minLength, int maxLength, int maxTests)
This is an auto-generated constructor.MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I,O> mqOracle, int minLength, int maxLength, int maxTests, Random random)
This is an auto-generated constructor.MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I,O> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
This is an auto-generated constructor.MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength)
This is an auto-generated constructor.MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound)
This is an auto-generated constructor.MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
This is an auto-generated constructor.MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
This is an auto-generated constructor.MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int lookahead)
This is an auto-generated constructor.MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize)
This is an auto-generated constructor.MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize, int batchSize)
This is an auto-generated constructor.MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int lookahead)
This is an auto-generated constructor.MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize)
This is an auto-generated constructor.MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize, int batchSize)
This is an auto-generated constructor. -
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement MembershipOracle.MealyMembershipOracle Modifier and Type Class Description class
MealySimulatorOracle<I,O>
This is an auto-generated refinement.class
SPMMSimulatorOracle<I,O>
This is an auto-generated refinement.class
StateLocalInputSULOracle<I,O>
A wrapper around a system under learning (SUL) with state local inputs.class
StateLocalInputSULSymbolQueryOracle<I,O>
ASymbolQueryOracle
wrapper forStateLocalInputSUL
s.class
SULOracle<I,O>
A wrapper around a system under learning (SUL).class
SULSymbolQueryOracle<I,O>
A wrapper that allows to use aSUL
where aSymbolQueryOracle
is expected.Methods in de.learnlib.oracle.membership that return MembershipOracle.MealyMembershipOracle Modifier and Type Method Description MembershipOracle.MealyMembershipOracle<I,O>
AbstractSULOmegaOracle. getMembershipOracle()
MembershipOracle.MealyMembershipOracle<I,O>
SimulatorOmegaOracle.MealySimulatorOmegaOracle. getMembershipOracle()
-
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.testsupport
Methods in de.learnlib.testsupport that return MembershipOracle.MealyMembershipOracle Modifier and Type Method Description protected MembershipOracle.MealyMembershipOracle<Character,Character>
AbstractGrowingAlphabetMealyTest. getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.MealyMembershipOracle<Character,Character> source, List<Consumer<Character>> symbolListener)
protected MembershipOracle.MealyMembershipOracle<Character,Character>
AbstractGrowingAlphabetMealyTest. getOracle(MealyMachine<?,Character,?,Character> target)
protected MembershipOracle.MealyMembershipOracle<Character,Character>
AbstractResumableLearnerMealyTest. getOracle(MealyMachine<?,Character,?,Character> target)
Methods in de.learnlib.testsupport with parameters of type MembershipOracle.MealyMembershipOracle Modifier and Type Method Description protected MembershipOracle.MealyMembershipOracle<Character,Character>
AbstractGrowingAlphabetMealyTest. getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.MealyMembershipOracle<Character,Character> source, List<Consumer<Character>> symbolListener)
-
Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.testsupport.it.learner
Methods in de.learnlib.testsupport.it.learner with parameters of type MembershipOracle.MealyMembershipOracle Modifier and Type Method Description protected abstract <I,O>
voidAbstractMealyLearnerIT. addLearnerVariants(Alphabet<I> alphabet, int targetSize, 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 specifiedvariant list
.protected abstract <I,O>
voidAbstractSPMMLearnerIT. addLearnerVariants(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle.MealyMembershipOracle<I,O> mqOracle, LearnerVariantList.SPMMLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specifiedvariant list
.
-