Package de.learnlib.oracle

Interface SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>

All Superinterfaces:

BatchProcessor<OmegaQuery<I,Boolean>>, OmegaMembershipOracle<S,I,Boolean>, OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaQueryAnswerer<S,I,Boolean>, SingleQueryOmegaOracle<S,I,Boolean>

All Known Implementing Classes:

SimulatorOmegaOracle.DFASimulatorOmegaOracle

Enclosing interface:

SingleQueryOmegaOracle<S,I,D>

public static interface SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
extends SingleQueryOmegaOracle<S,I,Boolean>, OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.OmegaMembershipOracle

OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

Method Summary

Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle

answerQuery, asOracle, isSameState, processBatch

Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle.DFAOmegaMembershipOracle

getMembershipOracle

Methods inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle

processQueries, processQuery