de.learnlib.api.oracle

Interface SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>

All Superinterfaces:

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

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.api.oracle.SingleQueryOmegaOracle

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

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

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

Method Summary

Methods inherited from interface de.learnlib.api.oracle.SingleQueryOmegaOracle

processQueries, processQuery

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

getMembershipOracle

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

answerQuery, asOracle, isSameState