de.learnlib.api.oracle

Interfaces

• AutomatonOracle
• AutomatonOracle.DFAOracle
• AutomatonOracle.MealyOracle
• BlackBoxOracle
• BlackBoxOracle.DFABlackBoxOracle
• BlackBoxOracle.MealyBlackBoxOracle
• EmptinessOracle
• EmptinessOracle.DFAEmptinessOracle
• EmptinessOracle.MealyEmptinessOracle
• EquivalenceOracle
• EquivalenceOracle.DFAEquivalenceOracle
• EquivalenceOracle.MealyEquivalenceOracle
• Filter
• InclusionOracle
• InclusionOracle.DFAInclusionOracle
• InclusionOracle.MealyInclusionOracle
• LassoEmptinessOracle
• LassoEmptinessOracle.DFALassoEmptinessOracle
• LassoEmptinessOracle.MealyLassoEmptinessOracle
• LassoOracle
• LassoOracle.DFALassoOracle
• LassoOracle.MealyLassoOracle
• MembershipOracle
• MembershipOracle.DFAMembershipOracle
• MembershipOracle.MealyMembershipOracle
• OmegaMembershipOracle
• OmegaMembershipOracle.DFAOmegaMembershipOracle
• OmegaMembershipOracle.MealyOmegaMembershipOracle
• OmegaQueryAnswerer
• PropertyOracle
• PropertyOracle.DFAPropertyOracle
• PropertyOracle.MealyPropertyOracle
• QueryAnswerer
• SingleQueryOmegaOracle
• SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA
• SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy
• SingleQueryOracle
• SingleQueryOracle.SingleQueryOracleDFA
• SingleQueryOracle.SingleQueryOracleMealy
• SymbolQueryOracle