SimulatorOmegaOracle.DFASimulatorOmegaOracle (LearnLib :: Oracles :: Membership Oracles 0.17.0 API)

java.lang.Object
- de.learnlib.oracle.membership.SimulatorOmegaOracle<S,I,Boolean>
- - de.learnlib.oracle.membership.SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>

All Implemented Interfaces:

OmegaMembershipOracle<S,I,Boolean>, OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaQueryAnswerer<S,I,Boolean>, BatchProcessor<OmegaQuery<I,Boolean>>, SingleQueryOmegaOracle<S,I,Boolean>, SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>

Enclosing class:

SimulatorOmegaOracle<S,I,D>
```
public static class SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>
extends SimulatorOmegaOracle<S,I,Boolean>
implements SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
```

Nested Class Summary
- Nested classes/interfaces inherited from class de.learnlib.oracle.membership.SimulatorOmegaOracle
  SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>, SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
- Nested classes/interfaces inherited from interface de.learnlib.oracle.OmegaMembershipOracle
  OmegaMembershipOracle.DFAOmegaMembershipOracle<S extends Object,I extends Object>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S extends Object,I extends Object,O extends Object>
- Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle
  SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S extends Object,I extends Object>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S extends Object,I extends Object,O extends Object>

Constructor Summary

Constructors
Constructor Description

DFASimulatorOmegaOracle(DFA<S,I> automaton)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`MembershipOracle.DFAMembershipOracle<I>`	`getMembershipOracle()`	Gets the `SimulatorOracle` used to answer `Query`s.

Methods inherited from class de.learnlib.oracle.membership.SimulatorOmegaOracle
answerQuery, isSameState, processQueries

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle
answerQuery, asOracle, isSameState, processBatch

Methods inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle
processQueries, processQuery

- Constructor Detail
  - DFASimulatorOmegaOracle
```
public DFASimulatorOmegaOracle(DFA<S,I> automaton)
```
- Method Detail
  - getMembershipOracle
```
public MembershipOracle.DFAMembershipOracle<I> getMembershipOracle()
```
    Description copied from class: SimulatorOmegaOracle
    
    Gets the SimulatorOracle used to answer Querys.
    
    Specified by:
    
    getMembershipOracle in interface OmegaMembershipOracle<S,I,Boolean>
    
    Specified by:
    
    getMembershipOracle in interface OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
    
    Overrides:
    
    getMembershipOracle in class SimulatorOmegaOracle<S,I,Boolean>
    
    Returns:
    
    the SimulatorOracle.