OmegaMembershipOracle.DFAOmegaMembershipOracle (LearnLib 0.17.0 API)

All Superinterfaces:

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

All Known Subinterfaces:

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>

All Known Implementing Classes:

SimulatorOmegaOracle.DFASimulatorOmegaOracle

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 interface OmegaMembershipOracle<S,I,Boolean>
    
    Returns:
    
    a regular membership oracle.