Uses of Interface
de.learnlib.oracle.OmegaMembershipOracle.MealyOmegaMembershipOracle
-
Packages that use OmegaMembershipOracle.MealyOmegaMembershipOracle 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.MealyOmegaMembershipOracle in de.learnlib.oracle
Subinterfaces of OmegaMembershipOracle.MealyOmegaMembershipOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
-
Uses of OmegaMembershipOracle.MealyOmegaMembershipOracle in de.learnlib.oracle.emptiness
Constructors in de.learnlib.oracle.emptiness with parameters of type OmegaMembershipOracle.MealyOmegaMembershipOracle Constructor Description MealyLassoEmptinessOracleImpl(OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O> omegaMembershipOracle)
This is an auto-generated constructor. -
Uses of OmegaMembershipOracle.MealyOmegaMembershipOracle in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement OmegaMembershipOracle.MealyOmegaMembershipOracle Modifier and Type Class Description class
AbstractSULOmegaOracle<S,I,O,Q>
An omega membership oracle for anObservableSUL
.static class
SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
-