Uses of Interface
de.learnlib.api.oracle.EquivalenceOracle.MealyEquivalenceOracle

Packages that use EquivalenceOracle.MealyEquivalenceOracle

Package	Description
de.learnlib.filter.cache.mealy
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy

Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.filter.cache.mealy

Classes in de.learnlib.filter.cache.mealy that implement EquivalenceOracle.MealyEquivalenceOracle

Modifier and Type	Class and Description
class	MealyCacheConsistencyTest<I,O> An EquivalenceOracle that tests an hypothesis for consistency with the contents of a MealyCacheOracle.

Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle.equivalence

Classes in de.learnlib.oracle.equivalence that implement EquivalenceOracle.MealyEquivalenceOracle

Modifier and Type	Class and Description
static class	CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O>
static class	EQOracleChain.MealyEQOracleChain<I,O>
static class	IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>
static class	RandomWMethodEQOracle.MealyRandomWMethodEQOracle<I,O>
static class	RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O>
static class	RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O>
static class	SimulatorEQOracle.MealySimulatorEQOracle<I,O>
static class	WMethodEQOracle.MealyWMethodEQOracle<I,O>

Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle.equivalence.mealy

Classes in de.learnlib.oracle.equivalence.mealy that implement EquivalenceOracle.MealyEquivalenceOracle

Modifier and Type	Class and Description
class	RandomWalkEQOracle<I,O> Performs a random walk over the hypothesis.