de.learnlib.api.oracle

Interface OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

All Superinterfaces:

OmegaMembershipOracle<S,I,Word<O>>, OmegaQueryAnswerer<S,I,Word<O>>

All Known Subinterfaces:

SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

Enclosing interface:

OmegaMembershipOracle<S,I,D>

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

Nested Class Summary

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

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

Method Summary

Modifier and Type	Method and Description
MembershipOracle.MealyMembershipOracle<I,O>	getMembershipOracle() Returns a regular membership oracle.

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

answerQuery, asOracle, isSameState, processQueries, processQuery

Method Detail

getMembershipOracle

MembershipOracle.MealyMembershipOracle<I,O> getMembershipOracle()

Description copied from interface: OmegaMembershipOracle

Returns a regular membership oracle.

Specified by:

getMembershipOracle in interface OmegaMembershipOracle<S,I,Word<O>>

Returns:

a regular membership oracle.