Uses of Interface
de.learnlib.oracle.OmegaMembershipOracle.DFAOmegaMembershipOracle

Packages that use OmegaMembershipOracle.DFAOmegaMembershipOracle

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

Uses of OmegaMembershipOracle.DFAOmegaMembershipOracle in de.learnlib.oracle

Subinterfaces of OmegaMembershipOracle.DFAOmegaMembershipOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>

Uses of OmegaMembershipOracle.DFAOmegaMembershipOracle in de.learnlib.oracle.emptiness

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

Constructor	Description
DFALassoEmptinessOracleImpl(OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I> omegaMembershipOracle)	This is an auto-generated constructor.

Uses of OmegaMembershipOracle.DFAOmegaMembershipOracle in de.learnlib.oracle.membership

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

Modifier and Type	Class	Description
static class	SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>