Uses of Interface
de.learnlib.api.EquivalenceOracle.DFAEquivalenceOracle

Packages that use EquivalenceOracle.DFAEquivalenceOracle

Package	Description
de.learnlib.cache.dfa
de.learnlib.eqtests.basic

Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.cache.dfa

Classes in de.learnlib.cache.dfa that implement EquivalenceOracle.DFAEquivalenceOracle

Modifier and Type	Class and Description
class	DFACacheConsistencyTest<I> An EquivalenceOracle that tests an hypothesis for consistency with the contents of a DFACacheOracle.

Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.eqtests.basic

Classes in de.learnlib.eqtests.basic that implement EquivalenceOracle.DFAEquivalenceOracle

Modifier and Type	Class and Description
static class	EQOracleChain.DFAEQOracleChain<I>
static class	RandomWordsEQOracle.DFARandomWordsEQOracle<I>
static class	WMethodEQOracle.DFAWMethodEQOracle<I>
static class	WpMethodEQOracle.DFAWpMethodEQOracle<I>