de.learnlib.oracle.property

Classes

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