Uses of Interface
de.learnlib.oracle.MembershipOracle.DFAMembershipOracle

Packages that use MembershipOracle.DFAMembershipOracle

Package	Description
de.learnlib.algorithm.observationpack.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.algorithm.ttt.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.filter.cache
de.learnlib.filter.cache.dfa
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.DFAMembershipOracle in de.learnlib.algorithm.observationpack.vpa

Methods in de.learnlib.algorithm.observationpack.vpa that return MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
MembershipOracle.DFAMembershipOracle<I>	OPLearnerVPABuilder.getOracle()

Methods in de.learnlib.algorithm.observationpack.vpa with parameters of type MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
void	OPLearnerVPABuilder.setOracle(MembershipOracle.DFAMembershipOracle<I> oracle)
OPLearnerVPABuilder<I>	OPLearnerVPABuilder.withOracle(MembershipOracle.DFAMembershipOracle<I> oracle)

Constructors in de.learnlib.algorithm.observationpack.vpa with parameters of type MembershipOracle.DFAMembershipOracle

Constructor	Description
OPLearnerVPA(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.algorithm.ttt.vpa

Methods in de.learnlib.algorithm.ttt.vpa that return MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
MembershipOracle.DFAMembershipOracle<I>	TTTLearnerVPABuilder.getOracle()

Methods in de.learnlib.algorithm.ttt.vpa with parameters of type MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
void	TTTLearnerVPABuilder.setOracle(MembershipOracle.DFAMembershipOracle<I> oracle)
TTTLearnerVPABuilder<I>	TTTLearnerVPABuilder.withOracle(MembershipOracle.DFAMembershipOracle<I> oracle)

Constructors in de.learnlib.algorithm.ttt.vpa with parameters of type MembershipOracle.DFAMembershipOracle

Constructor	Description
TTTLearnerVPA(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.filter.cache

Subinterfaces of MembershipOracle.DFAMembershipOracle in de.learnlib.filter.cache

Modifier and Type	Interface	Description
static interface	LearningCacheOracle.DFALearningCacheOracle<I>	Specialization of the LearningCacheOracle interface for DFA learning.

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.filter.cache.dfa

Classes in de.learnlib.filter.cache.dfa that implement MembershipOracle.DFAMembershipOracle

Modifier and Type	Class	Description
class	DFACacheOracle<I>	DFA cache.
class	DFAHashCacheOracle<I>	A LearningCacheOracle.DFALearningCacheOracle that uses a Map for internal cache organization.
class	ThreadSafeDFACacheOracle<I>	A thread-safe variant of DFACacheOracle.

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.filter.statistic.oracle

Classes in de.learnlib.filter.statistic.oracle that implement MembershipOracle.DFAMembershipOracle

Modifier and Type	Class	Description
class	DFACounterOracle<I>	This is an auto-generated refinement.
class	DFAHistogramOracle<I>	This is an auto-generated refinement.

Constructors in de.learnlib.filter.statistic.oracle with parameters of type MembershipOracle.DFAMembershipOracle

Constructor	Description
DFACounterOracle(MembershipOracle.DFAMembershipOracle<I> delegate)	This is an auto-generated constructor.
DFAHistogramOracle(MembershipOracle.DFAMembershipOracle<I> next, String name)	This is an auto-generated constructor.

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.oracle

Subinterfaces of MembershipOracle.DFAMembershipOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
static interface	SingleQueryOracle.SingleQueryOracleDFA<I>

Methods in de.learnlib.oracle that return MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
MembershipOracle.DFAMembershipOracle<I>	OmegaMembershipOracle.DFAOmegaMembershipOracle.getMembershipOracle()

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.oracle.emptiness

Constructors in de.learnlib.oracle.emptiness with parameters of type MembershipOracle.DFAMembershipOracle

Constructor	Description
DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier)	This is an auto-generated constructor.

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.oracle.equivalence

Constructors in de.learnlib.oracle.equivalence with parameters of type MembershipOracle.DFAMembershipOracle

Constructor	Description
DFABFInclusionOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier)	This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int maxDepth)	This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minDepth, int maxDepth)	This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minDepth, int maxDepth, int batchSize)	This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> oracle, Alphabet<I> alphabet)	This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> oracle, Alphabet<I> alphabet, int maxDepth)	This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> oracle, Alphabet<I> alphabet, int maxDepth, int batchSize)	This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength)	This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength, int bound)	This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)	This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)	This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle, int minLength, int maxLength, int maxTests)	This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle, int minLength, int maxLength, int maxTests, Random random)	This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)	This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength)	This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength, int bound)	This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)	This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)	This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int lookahead)	This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int lookahead, int expectedSize)	This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int lookahead, int expectedSize, int batchSize)	This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int lookahead)	This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int lookahead, int expectedSize)	This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I> sulOracle, int lookahead, int expectedSize, int batchSize)	This is an auto-generated constructor.

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.oracle.membership

Classes in de.learnlib.oracle.membership that implement MembershipOracle.DFAMembershipOracle

Modifier and Type	Class	Description
class	DFASimulatorOracle<I>	This is an auto-generated refinement.
class	NFASimulatorOracle<I>	This is an auto-generated refinement.
class	SBASimulatorOracle<I>	This is an auto-generated refinement.
class	SEVPASimulatorOracle<I>	This is an auto-generated refinement.
class	SPASimulatorOracle<I>	This is an auto-generated refinement.

Methods in de.learnlib.oracle.membership that return MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
MembershipOracle.DFAMembershipOracle<I>	SimulatorOmegaOracle.DFASimulatorOmegaOracle.getMembershipOracle()

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.testsupport

Methods in de.learnlib.testsupport that return MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
protected MembershipOracle.DFAMembershipOracle<Character>	AbstractGrowingAlphabetDFATest.getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.DFAMembershipOracle<Character> original, List<Consumer<Character>> symbolListener)
protected MembershipOracle.DFAMembershipOracle<Character>	AbstractGrowingAlphabetDFATest.getOracle(DFA<?,Character> target)
protected MembershipOracle.DFAMembershipOracle<Character>	AbstractResumableLearnerDFATest.getOracle(DFA<?,Character> target)

Methods in de.learnlib.testsupport with parameters of type MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
protected MembershipOracle.DFAMembershipOracle<Character>	AbstractGrowingAlphabetDFATest.getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.DFAMembershipOracle<Character> original, List<Consumer<Character>> symbolListener)

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.testsupport.it.learner

Methods in de.learnlib.testsupport.it.learner with parameters of type MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
protected abstract <I> void	AbstractDFALearnerIT.addLearnerVariants(Alphabet<I> alphabet, int targetSize, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.DFALearnerVariantList<I> variants)	Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.
protected abstract <I> void	AbstractOneSEVPALearnerIT.addLearnerVariants(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.OneSEVPALearnerVariantList<I> variants)	Adds, for a given setup, all the variants of the OneSEVPA learner to be tested to the specified variant list.
protected abstract <I> void	AbstractSBALearnerIT.addLearnerVariants(ProceduralInputAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.SBALearnerVariantList<I> variants)	Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.
protected abstract <I> void	AbstractSPALearnerIT.addLearnerVariants(ProceduralInputAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.SPALearnerVariantList<I> variants)	Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.