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

Packages that use MembershipOracle.DFAMembershipOracle

Package	Description
de.learnlib.cache
de.learnlib.cache.dfa
de.learnlib.oracles
de.learnlib.testsupport.it.learner

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.cache

Subinterfaces of MembershipOracle.DFAMembershipOracle in de.learnlib.cache

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

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

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

Modifier and Type	Class and Description
class	DFACacheOracle<I> DFA cache.
class	DFAHashCacheOracle<I>

Uses of MembershipOracle.DFAMembershipOracle in de.learnlib.oracles

Classes in de.learnlib.oracles that implement MembershipOracle.DFAMembershipOracle

Modifier and Type	Class and Description
static class	AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I>
static class	CounterOracle.DFACounterOracle<I>
static class	SimulatorOracle.DFASimulatorOracle<I>

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 and 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.