Uses of Interface
de.learnlib.oracle.OmegaQueryAnswerer

Packages that use OmegaQueryAnswerer

Package	Description
de.learnlib.oracle	This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism

Uses of OmegaQueryAnswerer in de.learnlib.oracle

Subinterfaces of OmegaQueryAnswerer in de.learnlib.oracle

Modifier and Type	Interface	Description
interface	OmegaMembershipOracle<S,I,D>	Answers OmegaQuerys, similar to a MembershipOracle.
static interface	OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
static interface	OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
interface	ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracles.
interface	SingleQueryOmegaOracle<S,I,D>	An OmegaMembershipOracle that answers single queries.
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

Uses of OmegaQueryAnswerer in de.learnlib.oracle.membership

Classes in de.learnlib.oracle.membership that implement OmegaQueryAnswerer

Modifier and Type	Class	Description
class	AbstractSULOmegaOracle<S,I,O,Q>	An omega membership oracle for an ObservableSUL.
class	SimulatorOmegaOracle<S,I,D>	Answers OmegaQuerys by simulating an automaton.
static class	SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>
static class	SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>

Uses of OmegaQueryAnswerer in de.learnlib.oracle.parallelism

Classes in de.learnlib.oracle.parallelism that implement OmegaQueryAnswerer

Modifier and Type	Class	Description
class	DynamicParallelOmegaOracle<S,I,D>	A specialized AbstractDynamicBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
class	StaticParallelOmegaOracle<S,I,D>	A specialized AbstractStaticBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.