Package de.learnlib.oracle

This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.

Interface Summary

Interface	Description
AdaptiveMembershipOracle<I,O>	An adaptive variation of the MembershipOracle that is tailored towards answering adaptive queries.
AutomatonOracle<A extends net.automatalib.automaton.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>
BatchProcessor<T>	A markup interface for classes that can process a batch of work in a parallel environment (e.g. a MembershipOracle when used by a ParallelOracle).
BlackBoxOracle<A extends net.automatalib.automaton.concept.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 net.automatalib.automaton.concept.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 net.automatalib.automaton.concept.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 net.automatalib.modelchecking.Lasso<I,D>,I,D>	An emptiness oracle for lassos.
LassoEmptinessOracle.DFALassoEmptinessOracle<I>
LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
LassoOracle<L extends net.automatalib.modelchecking.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.
ParallelAdaptiveOracle<I,O>	ParallelOracle equivalent for AdaptiveMembershipOracles.
ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracles.
ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.
PropertyOracle<I,A extends net.automatalib.automaton.concept.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>	A simple interface for answering Word-based queries.
SingleAdaptiveMembershipOracle<I,O>	An AdaptiveMembershipOracle that answers single queries.
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>
ThreadPool	A markup interface for a component that manages a pool of threads that may want to be shut down after usage.

Enum Summary

Enum	Description
ThreadPool.PoolPolicy	The policy for dealing with thread pools.