Package de.learnlib.oracle
Interface OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
-
- All Superinterfaces:
BatchProcessor<OmegaQuery<I,Boolean>>
,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.oracle.OmegaMembershipOracle
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description MembershipOracle.DFAMembershipOracle<I>
getMembershipOracle()
Returns a regular membership oracle.-
Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle
answerQuery, asOracle, isSameState, processBatch, processQueries, processQuery
-
-
-
-
Method Detail
-
getMembershipOracle
MembershipOracle.DFAMembershipOracle<I> getMembershipOracle()
Description copied from interface:OmegaMembershipOracle
Returns a regular membership oracle.- Specified by:
getMembershipOracle
in interfaceOmegaMembershipOracle<S,I,Boolean>
- Returns:
- a regular membership oracle.
-
-