Uses of Interface
de.learnlib.oracle.AutomatonOracle.MealyOracle

Packages that use AutomatonOracle.MealyOracle

Package	Description
de.learnlib.oracle.emptiness
de.learnlib.oracle.equivalence

Uses of AutomatonOracle.MealyOracle in de.learnlib.oracle.emptiness

Classes in de.learnlib.oracle.emptiness that implement AutomatonOracle.MealyOracle

Modifier and Type	Class	Description
class	MealyBFEmptinessOracle<I,O>	A type-specific refinement of AbstractBFEmptinessOracle.

Uses of AutomatonOracle.MealyOracle in de.learnlib.oracle.equivalence

Classes in de.learnlib.oracle.equivalence that implement AutomatonOracle.MealyOracle

Modifier and Type	Class	Description
class	MealyBFInclusionOracle<I,O>	A type-specific refinement of AbstractBFInclusionOracle.