| AutomatonOracle |
Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given
hypothesis.
|
| BlackBoxOracle |
|
| EmptinessOracle |
Decides whether the intersection of the language of a given hypothesis and some other language (e.g., from a SUL) is empty. |
| EquivalenceOracle |
An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
|
| EquivalenceOracle.DFAEquivalenceOracle |
|
| EquivalenceOracle.MealyEquivalenceOracle |
|
| InclusionOracle |
Decides whether the language of a given hypothesis is included in some other language (e.g., from a SUL). |
| InclusionOracle.DFAInclusionOracle |
|
| InclusionOracle.MealyInclusionOracle |
|
| LassoEmptinessOracle |
An emptiness oracle for lassos.
|
| LassoOracle |
An automaton oracle for lassos.
|
| MembershipOracle |
Membership oracle interface.
|
| MembershipOracle.DFAMembershipOracle |
|
| MembershipOracle.MealyMembershipOracle |
A specialization of the MembershipOracle that binds the output domain to Words of the specified
output type. |
| MembershipOracle.MooreMembershipOracle |
A specialization of the MembershipOracle that binds the output domain to Words of the specified
output type. |
| OmegaMembershipOracle |
|
| OmegaMembershipOracle.DFAOmegaMembershipOracle |
|
| OmegaMembershipOracle.MealyOmegaMembershipOracle |
|
| OmegaQueryAnswerer |
|
| PropertyOracle |
A PropertyOracle can disprove a property, and used to find a counter example to a hypothesis. |
| QueryAnswerer |
|
| SingleQueryOmegaOracle |
|
| SingleQueryOracle |
Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a QueryAnswerer), and that cannot profit from batch processing of queries. |