de.learnlib.oracle.membership

Class SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>

java.lang.Object

de.learnlib.oracle.membership.SimulatorOmegaOracle<S,I,net.automatalib.words.Word<O>>

de.learnlib.oracle.membership.SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>

All Implemented Interfaces:

OmegaMembershipOracle<S,I,net.automatalib.words.Word<O>>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>, OmegaQueryAnswerer<S,I,net.automatalib.words.Word<O>>, SingleQueryOmegaOracle<S,I,net.automatalib.words.Word<O>>

Enclosing class:

SimulatorOmegaOracle<S,I,D>

public static class SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
extends SimulatorOmegaOracle<S,I,net.automatalib.words.Word<O>>
implements OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

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.OmegaMembershipOracle

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

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

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

Constructor Summary

Constructors

Constructor and Description
MealySimulatorOmegaOracle(net.automatalib.automata.transducers.MealyMachine<S,I,?,O> automaton)

Method Summary

Modifier and Type	Method and Description
MembershipOracle.MealyMembershipOracle<I,O>	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.OmegaMembershipOracle

answerQuery, asOracle, isSameState, processQueries, processQuery

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

processQuery

Constructor Detail

MealySimulatorOmegaOracle

public MealySimulatorOmegaOracle(net.automatalib.automata.transducers.MealyMachine<S,I,?,O> automaton)

Method Detail

getMembershipOracle

public MembershipOracle.MealyMembershipOracle<I,O> getMembershipOracle()

Description copied from class: SimulatorOmegaOracle

Gets the SimulatorOracle used to answer Querys.

Specified by:

getMembershipOracle in interface OmegaMembershipOracle<S,I,net.automatalib.words.Word<O>>

Specified by:

getMembershipOracle in interface OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

Overrides:

getMembershipOracle in class SimulatorOmegaOracle<S,I,net.automatalib.words.Word<O>>

Returns:

the SimulatorOracle.