Uses of Package
de.learnlib.api.oracle

Packages that use de.learnlib.api.oracle

Package	Description
de.learnlib.api.logging
de.learnlib.api.oracle
de.learnlib.api.oracle.parallelism
de.learnlib.api.statistic

Classes in de.learnlib.api.oracle used by de.learnlib.api.logging

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
InclusionOracle Decides whether the language of a given hypothesis is included in some other language (e.g. from a SUL.
InclusionOracle.DFAInclusionOracle
InclusionOracle.MealyInclusionOracle
PropertyOracle A PropertyOracle can disprove a property, and used to find a counter example to an hypothesis.
PropertyOracle.DFAPropertyOracle
PropertyOracle.MealyPropertyOracle

Classes in de.learnlib.api.oracle used by de.learnlib.api.oracle

Class and Description
AutomatonOracle Finds counterexamples (to particular claims) to an hypothesis, while generating words that are in the given hypothesis.
BlackBoxOracle Decides whether some words that do not satisfy properties evaluated by BlackBoxOracle.getPropertyOracles() on a given hypothesis, are included in a language.
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 A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
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.
OmegaMembershipOracle Answers OmegaQuerys, similar to a MembershipOracle.
OmegaMembershipOracle.DFAOmegaMembershipOracle
OmegaMembershipOracle.MealyOmegaMembershipOracle
OmegaQueryAnswerer Answers OmegaQuerys.
PropertyOracle A PropertyOracle can disprove a property, and used to find a counter example to an hypothesis.
QueryAnswerer
SingleQueryOmegaOracle An OmegaMembershipOracle that answers single queries.
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.

Classes in de.learnlib.api.oracle used by de.learnlib.api.oracle.parallelism

Class and Description
MembershipOracle Membership oracle interface.
OmegaMembershipOracle Answers OmegaQuerys, similar to a MembershipOracle.
OmegaQueryAnswerer Answers OmegaQuerys.
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.api.statistic

Class and Description
Filter A filter is an oracle that can be used as the middle element in a chain of oracles.
MembershipOracle Membership oracle interface.
QueryAnswerer