Uses of Interface
de.learnlib.oracle.InclusionOracle.MealyInclusionOracle

Packages that use InclusionOracle.MealyInclusionOracle

Package	Description
de.learnlib.oracle	This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.equivalence
de.learnlib.oracle.property

Uses of InclusionOracle.MealyInclusionOracle in de.learnlib.oracle

Subinterfaces of InclusionOracle.MealyInclusionOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
static interface	PropertyOracle.MealyPropertyOracle<I,O,P>

Uses of InclusionOracle.MealyInclusionOracle in de.learnlib.oracle.equivalence

Classes in de.learnlib.oracle.equivalence that implement InclusionOracle.MealyInclusionOracle

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

Uses of InclusionOracle.MealyInclusionOracle in de.learnlib.oracle.property

Classes in de.learnlib.oracle.property that implement InclusionOracle.MealyInclusionOracle

Modifier and Type	Class	Description
static class	LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>
class	MealyFinitePropertyOracle<I,O,P>	A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.
class	MealyLassoPropertyOracle<I,O,P>	A property oracle for Mealy machines that can check lassos from the model checker.
class	MealyPropertyOracleChain<I,O,P>	This is an auto-generated refinement.

Constructors in de.learnlib.oracle.property with parameters of type InclusionOracle.MealyInclusionOracle

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