de.learnlib.oracle.membership

Class SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>

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>, 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.api.oracle.SingleQueryOmegaOracle

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

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

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

Constructor Summary

Constructors

Constructor and Description
DFASimulatorOmegaOracle(DFA<S,I> automaton)

Method Summary

Modifier and Type	Method and Description
MembershipOracle.DFAMembershipOracle<I>	getMembershipOracle() Gets the SimulatorOracle used to answer Querys.

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.api.oracle.SingleQueryOmegaOracle

processQueries, processQuery

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

answerQuery, asOracle, isSameState

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.