Uses of Interface
de.learnlib.oracle.PropertyOracle.MealyPropertyOracle

Packages that use PropertyOracle.MealyPropertyOracle

Package	Description
de.learnlib.oracle.equivalence
de.learnlib.oracle.property

Uses of PropertyOracle.MealyPropertyOracle in de.learnlib.oracle.equivalence

Constructors in de.learnlib.oracle.equivalence with parameters of type PropertyOracle.MealyPropertyOracle

Constructor	Description
MealyCExFirstOracle(PropertyOracle.MealyPropertyOracle<I,O,?> propertyOracle)	Delegates to CExFirstOracle(PropertyOracle).
MealyDisproveFirstOracle(PropertyOracle.MealyPropertyOracle<I,O,?> propertyOracle)	Delegates to DisproveFirstOracle(PropertyOracle).

Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type PropertyOracle.MealyPropertyOracle

Constructor	Description
MealyCExFirstOracle(Collection<? extends PropertyOracle.MealyPropertyOracle<I,O,?>> propertyOracles)	Delegates to CExFirstOracle(Collection).
MealyDisproveFirstOracle(Collection<? extends PropertyOracle.MealyPropertyOracle<I,O,?>> propertyOracles)	Delegates to DisproveFirstOracle(Collection).

Uses of PropertyOracle.MealyPropertyOracle in de.learnlib.oracle.property

Classes in de.learnlib.oracle.property that implement PropertyOracle.MealyPropertyOracle

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>	A type-specific refinement of PropertyOracleChain.

Constructors in de.learnlib.oracle.property with parameters of type PropertyOracle.MealyPropertyOracle

Constructor	Description
MealyLoggingPropertyOracle(PropertyOracle.MealyPropertyOracle<I,O,P> property)
MealyPropertyOracleChain(PropertyOracle.MealyPropertyOracle<I,O,P>... oracles)	Delegates to PropertyOracleChain(PropertyOracle[]).

Constructor parameters in de.learnlib.oracle.property with type arguments of type PropertyOracle.MealyPropertyOracle

Constructor	Description
MealyPropertyOracleChain(Collection<? extends PropertyOracle.MealyPropertyOracle<I,O,P>> oracles)	Delegates to PropertyOracleChain(Collection).