Package de.learnlib.oracle.property

Class Summary

Class	Description
DFAFinitePropertyOracle<I,P>	A property oracle for DFAs where it is fine to only check finite words from the model checker.
DFALassoPropertyOracle<I,P>	A property oracle for DFAs that can check lassos from the model checker.
MealyFinitePropertyOracle<I,O,P>	A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.
MealyLassoPropertyOracle<I,O,P>	A property oracle for Mealy machines that can check lassos from the model checker.
PropertyOracleChain<I,A extends Output<I,D>,P,D>	A chain of property oracles.
PropertyOracleChain.DFAPropertyOracleChain<I,P>
PropertyOracleChain.MealyPropertyOracleChain<I,O,P>