de.learnlib.api.oracle

Interface OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>

All Superinterfaces:

OmegaMembershipOracle<S,I,Boolean>, OmegaQueryAnswerer<S,I,Boolean>

All Known Subinterfaces:

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>

Enclosing interface:

OmegaMembershipOracle<S,I,D>

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

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.DFAMembershipOracle<I>	getMembershipOracle() Returns a regular membership oracle.

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

answerQuery, asOracle, isSameState, processQueries, processQuery

Method Detail

getMembershipOracle

MembershipOracle.DFAMembershipOracle<I> getMembershipOracle()

Description copied from interface: OmegaMembershipOracle

Returns a regular membership oracle.

Specified by:

getMembershipOracle in interface OmegaMembershipOracle<S,I,Boolean>

Returns:

a regular membership oracle.