Package de.learnlib.oracle

This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.

Interface Summary

Interface	Description
AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>	Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given hypothesis.
AutomatonOracle.DFAOracle<I>
AutomatonOracle.MealyOracle<I,O>
BlackBoxOracle<A extends Output<I,D>,I,D>	Decides whether some words that do not satisfy properties evaluated by BlackBoxOracle.getPropertyOracles() on a given hypothesis, are included in a language.
BlackBoxOracle.DFABlackBoxOracle<I>
BlackBoxOracle.MealyBlackBoxOracle<I,O>
EmptinessOracle<A extends Output<I,D>,I,D>	Decides whether the intersection of the language of a given hypothesis and some other language (e.g., from a SUL) is empty.
EmptinessOracle.DFAEmptinessOracle<I>
EmptinessOracle.MealyEmptinessOracle<I,O>
EquivalenceOracle<A,I,D>	An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle<I>	A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
EquivalenceOracle.MooreEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Moore learning scenario.
InclusionOracle<A extends Output<I,D>,I,D>	Decides whether the language of a given hypothesis is included in some other language (e.g., from a SUL).
InclusionOracle.DFAInclusionOracle<I>
InclusionOracle.MealyInclusionOracle<I,O>
LassoEmptinessOracle<L extends Lasso<I,D>,I,D>	An emptiness oracle for lassos.
LassoEmptinessOracle.DFALassoEmptinessOracle<I>
LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
LassoOracle<L extends Lasso<I,D>,I,D>	An automaton oracle for lassos.
LassoOracle.DFALassoOracle<I>
LassoOracle.MealyLassoOracle<I,O>
MembershipOracle<I,D>	Membership oracle interface.
MembershipOracle.DFAMembershipOracle<I>	A specialization of the MembershipOracle that binds the output domain to Booleans.
MembershipOracle.MealyMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
MembershipOracle.MooreMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
OmegaMembershipOracle<S,I,D>	Answers OmegaQuerys, similar to a MembershipOracle.
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
OmegaQueryAnswerer<S,I,D>	Answers OmegaQuerys.
PropertyOracle<I,A extends Output<I,D>,P,D>	A PropertyOracle can disprove a property, and used to find a counter example to a hypothesis.
PropertyOracle.DFAPropertyOracle<I,P>
PropertyOracle.MealyPropertyOracle<I,O,P>
QueryAnswerer<I,D>
SingleQueryOmegaOracle<S,I,D>	An OmegaMembershipOracle that answers single queries.
SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
SingleQueryOracle<I,D>	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.
SingleQueryOracle.SingleQueryOracleDFA<I>
SingleQueryOracle.SingleQueryOracleMealy<I,O>
SingleQueryOracle.SingleQueryOracleMoore<I,O>
SymbolQueryOracle<I,O>	Symbol query interface.