Package de.learnlib.oracle

Interface SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

All Superinterfaces:

BatchProcessor<OmegaQuery<I,Word<O>>>, OmegaMembershipOracle<S,I,Word<O>>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>, OmegaQueryAnswerer<S,I,Word<O>>, SingleQueryOmegaOracle<S,I,Word<O>>

Enclosing interface:

SingleQueryOmegaOracle<S,I,D>

public static interface SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
extends SingleQueryOmegaOracle<S,I,Word<O>>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

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.MealyOmegaMembershipOracle

getMembershipOracle

Methods inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle

processQueries, processQuery