de.learnlib.oracle.membership

Class SimulatorOracle.MealySimulatorOracle<I,O>

java.lang.Object

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

de.learnlib.oracle.membership.SimulatorOracle.MealySimulatorOracle<I,O>

All Implemented Interfaces:

MembershipOracle<I,net.automatalib.words.Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, QueryAnswerer<I,net.automatalib.words.Word<O>>, SingleQueryOracle<I,net.automatalib.words.Word<O>>, SingleQueryOracle.SingleQueryOracleMealy<I,O>

Enclosing class:

SimulatorOracle<I,D>

public static class SimulatorOracle.MealySimulatorOracle<I,O>
extends SimulatorOracle<I,net.automatalib.words.Word<O>>
implements SingleQueryOracle.SingleQueryOracleMealy<I,O>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.oracle.membership.SimulatorOracle

SimulatorOracle.DFASimulatorOracle<I>, SimulatorOracle.MealySimulatorOracle<I,O>

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

SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>

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

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
MealySimulatorOracle(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy)

Method Summary

Methods inherited from class de.learnlib.oracle.membership.SimulatorOracle

answerQuery, 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.SingleQueryOracle

answerQuery, processQueries, processQuery

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

answerQuery, asOracle

Constructor Detail

MealySimulatorOracle

public MealySimulatorOracle(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy)