de.learnlib.oracle.property

Classes

• DFAFinitePropertyOracle
• DFALassoPropertyOracle
• MealyFinitePropertyOracle
• MealyLassoPropertyOracle
• PropertyOracleChain
• PropertyOracleChain.DFAPropertyOracleChain
• PropertyOracleChain.MealyPropertyOracleChain