Module de.learnlib.oracle.property

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.
DFAPropertyOracleChain<I,P>	A type-specific refinement of PropertyOracleChain.
LoggingPropertyOracle<I,A extends net.automatalib.automaton.concept.Output<I,D>,P,D>	A PropertyOracle that performs logging.
LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>
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.
MealyPropertyOracleChain<I,O,P>	A type-specific refinement of PropertyOracleChain.
PropertyOracleChain<I,A extends net.automatalib.automaton.concept.Output<I,D>,P,D>	A chain of property oracles.