Uses of Interface
de.learnlib.oracle.OmegaMembershipOracle

Packages that use OmegaMembershipOracle

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.emptiness
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism

Uses of OmegaMembershipOracle in de.learnlib.oracle

Subinterfaces of OmegaMembershipOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
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>

Methods in de.learnlib.oracle that return OmegaMembershipOracle

Modifier and Type	Method	Description
default OmegaMembershipOracle<S,I,D>	OmegaMembershipOracle.asOracle()
OmegaMembershipOracle<S,I,D>	OmegaQueryAnswerer.asOracle()

Uses of OmegaMembershipOracle in de.learnlib.oracle.emptiness

Methods in de.learnlib.oracle.emptiness that return OmegaMembershipOracle

Modifier and Type	Method	Description
OmegaMembershipOracle<S,I,D>	LassoEmptinessOracleImpl.getOmegaMembershipOracle()

Constructors in de.learnlib.oracle.emptiness with parameters of type OmegaMembershipOracle

Constructor	Description
LassoEmptinessOracleImpl(OmegaMembershipOracle<S,I,D> omegaMembershipOracle)

Uses of OmegaMembershipOracle in de.learnlib.oracle.membership

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

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 OmegaMembershipOracle in de.learnlib.oracle.parallelism

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

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.

Methods in de.learnlib.oracle.parallelism with parameters of type OmegaMembershipOracle

Modifier and Type	Method	Description
static <S,I,D> DynamicParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newDynamicParallelOmegaOracle(OmegaMembershipOracle<S,I,D> firstOracle, OmegaMembershipOracle<S,I,D>... otherOracles)	Convenience method for ParallelOracleBuilders.newDynamicParallelOmegaOracle(Collection).
static <S,I,D> StaticParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newStaticParallelOmegaOracle(OmegaMembershipOracle<S,I,D> firstOracle, OmegaMembershipOracle<S,I,D>... otherOracles)	Convenience method for ParallelOracleBuilders.newStaticParallelOmegaOracle(Collection).

Method parameters in de.learnlib.oracle.parallelism with type arguments of type OmegaMembershipOracle

Modifier and Type	Method	Description
protected DynamicParallelOmegaOracle<S,I,D>	DynamicParallelOmegaOracleBuilder.buildOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> supplier, int batchSize, ExecutorService executorService)
protected StaticParallelOmegaOracle<S,I,D>	StaticParallelOmegaOracleBuilder.buildOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracleInstances, int minBatchSize, ExecutorService executorService)
static <S,I,D> DynamicParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newDynamicParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)	Creates a DynamicParallelOmegaOracleBuilder using the provided collection of membership oracles.
static <S,I,D> DynamicParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newDynamicParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)	Creates a DynamicParallelOmegaOracleBuilder using the provided supplier.
static <S,I,D> StaticParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newStaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)	Creates a StaticParallelOmegaOracleBuilder using the provided collection of membership oracles.
static <S,I,D> StaticParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newStaticParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)	Creates a StaticParallelOmegaOracleBuilder using the provided supplier.

Constructor parameters in de.learnlib.oracle.parallelism with type arguments of type OmegaMembershipOracle

Constructor	Description
DynamicParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier, @org.checkerframework.checker.index.qual.NonNegative int batchSize, ExecutorService executor)
DynamicParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)
DynamicParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)
StaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles, @org.checkerframework.checker.index.qual.NonNegative int minBatchSize, ExecutorService executorService)
StaticParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)
StaticParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)