Uses of Interface
de.learnlib.oracle.MembershipOracle.MooreMembershipOracle
-
Packages that use MembershipOracle.MooreMembershipOracle Package Description de.learnlib.filter.cache de.learnlib.filter.cache.moore 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.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.MooreMembershipOracle in de.learnlib.filter.cache
Subinterfaces of MembershipOracle.MooreMembershipOracle in de.learnlib.filter.cache Modifier and Type Interface Description static interface
LearningCacheOracle.MooreLearningCacheOracle<I,O>
Specialization of theLearningCacheOracle
interface for Moore machine learning. -
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.filter.cache.moore
Classes in de.learnlib.filter.cache.moore that implement MembershipOracle.MooreMembershipOracle Modifier and Type Class Description class
MooreCacheOracle<I,O>
Moore cache.class
ThreadSafeMooreCacheOracle<I,O>
A thread-safe variant ofMealyCacheOracle
. -
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.filter.statistic.oracle
Classes in de.learnlib.filter.statistic.oracle that implement MembershipOracle.MooreMembershipOracle Modifier and Type Class Description class
MooreCounterOracle<I,O>
This is an auto-generated refinement.class
MooreOutputHistogramOracle<I,O>
This is an auto-generated refinement.Constructors in de.learnlib.filter.statistic.oracle with parameters of type MembershipOracle.MooreMembershipOracle Constructor Description MooreCounterOracle(MembershipOracle.MooreMembershipOracle<I,O> delegate)
This is an auto-generated constructor.MooreOutputHistogramOracle(MembershipOracle.MooreMembershipOracle<I,O> next, String name)
This is an auto-generated constructor. -
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.oracle
Subinterfaces of MembershipOracle.MooreMembershipOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
SingleQueryOracle.SingleQueryOracleMoore<I,O>
-
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.oracle.equivalence
Constructors in de.learnlib.oracle.equivalence with parameters of type MembershipOracle.MooreMembershipOracle Constructor Description MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int maxDepth)
This is an auto-generated constructor.MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minDepth, int maxDepth)
This is an auto-generated constructor.MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minDepth, int maxDepth, int batchSize)
This is an auto-generated constructor.MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> oracle, Alphabet<I> alphabet)
This is an auto-generated constructor.MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> oracle, Alphabet<I> alphabet, int maxDepth)
This is an auto-generated constructor.MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> oracle, Alphabet<I> alphabet, int maxDepth, int batchSize)
This is an auto-generated constructor.MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength)
This is an auto-generated constructor.MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound)
This is an auto-generated constructor.MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
This is an auto-generated constructor.MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
This is an auto-generated constructor.MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I,O> mqOracle, int minLength, int maxLength, int maxTests)
This is an auto-generated constructor.MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I,O> mqOracle, int minLength, int maxLength, int maxTests, Random random)
This is an auto-generated constructor.MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I,O> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
This is an auto-generated constructor.MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength)
This is an auto-generated constructor.MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound)
This is an auto-generated constructor.MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
This is an auto-generated constructor.MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
This is an auto-generated constructor.MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int lookahead)
This is an auto-generated constructor.MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize)
This is an auto-generated constructor.MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize, int batchSize)
This is an auto-generated constructor.MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int lookahead)
This is an auto-generated constructor.MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize)
This is an auto-generated constructor.MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I,O> sulOracle, int lookahead, int expectedSize, int batchSize)
This is an auto-generated constructor. -
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement MembershipOracle.MooreMembershipOracle Modifier and Type Class Description class
MooreSimulatorOracle<I,O>
This is an auto-generated refinement. -
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.testsupport
Methods in de.learnlib.testsupport that return MembershipOracle.MooreMembershipOracle Modifier and Type Method Description protected MembershipOracle.MooreMembershipOracle<Character,Character>
AbstractGrowingAlphabetMooreTest. getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.MooreMembershipOracle<Character,Character> source, List<Consumer<Character>> symbolListener)
protected MembershipOracle.MooreMembershipOracle<Character,Character>
AbstractGrowingAlphabetMooreTest. getOracle(MooreMachine<?,Character,?,Character> target)
protected MembershipOracle.MooreMembershipOracle<Character,Character>
AbstractResumableLearnerMooreTest. getOracle(MooreMachine<?,Character,?,Character> target)
Methods in de.learnlib.testsupport with parameters of type MembershipOracle.MooreMembershipOracle Modifier and Type Method Description protected MembershipOracle.MooreMembershipOracle<Character,Character>
AbstractGrowingAlphabetMooreTest. getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.MooreMembershipOracle<Character,Character> source, List<Consumer<Character>> symbolListener)
-
Uses of MembershipOracle.MooreMembershipOracle in de.learnlib.testsupport.it.learner
Methods in de.learnlib.testsupport.it.learner with parameters of type MembershipOracle.MooreMembershipOracle Modifier and Type Method Description protected abstract <I,O>
voidAbstractMooreLearnerIT. addLearnerVariants(Alphabet<I> alphabet, int targetSize, MembershipOracle.MooreMembershipOracle<I,O> mqOracle, LearnerVariantList.MooreLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Moore machine learner to be tested to the specifiedvariant list
.
-