Uses of Interface
de.learnlib.oracle.OmegaMembershipOracle
-
Packages that use OmegaMembershipOracle 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.parallelism -
-
Uses of OmegaMembershipOracle in de.learnlib.oracle
Subinterfaces of OmegaMembershipOracle in de.learnlib.oracle Modifier and Type Interface Description static interfaceOmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>static interfaceOmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>interfaceSingleQueryOmegaOracle<S,I,D>AnOmegaMembershipOraclethat answers single queries.static interfaceSingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>static interfaceSingleQueryOmegaOracle.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.parallelism
Subinterfaces of OmegaMembershipOracle in de.learnlib.oracle.parallelism Modifier and Type Interface Description interfaceParallelOmegaOracle<S,I,D>ParallelOracleequivalent forOmegaMembershipOracle.
-