Uses of Interface
de.learnlib.api.oracle.EmptinessOracle.MealyEmptinessOracle

Packages that use EmptinessOracle.MealyEmptinessOracle

Package	Description
de.learnlib.oracle.emptiness
de.learnlib.oracle.property

Uses of EmptinessOracle.MealyEmptinessOracle in de.learnlib.oracle.emptiness

Classes in de.learnlib.oracle.emptiness that implement EmptinessOracle.MealyEmptinessOracle

Modifier and Type	Class and Description
class	MealyBFEmptinessOracle<I,O> This is an auto-generated refinement.

Uses of EmptinessOracle.MealyEmptinessOracle in de.learnlib.oracle.property

Constructors in de.learnlib.oracle.property with parameters of type EmptinessOracle.MealyEmptinessOracle

Constructor and Description
MealyFinitePropertyOracle(P property, InclusionOracle.MealyInclusionOracle<I,O> inclusionOracle, EmptinessOracle.MealyEmptinessOracle<I,O> emptinessOracle, ModelChecker.MealyModelChecker<I,O,P,MealyMachine<?,I,?,O>> modelChecker)