public static class SimulatorOracle.MealySimulatorOracle<I,O> extends SimulatorOracle<I,net.automatalib.words.Word<O>> implements SingleQueryOracle.SingleQueryOracleMealy<I,O>
SimulatorOracle.DFASimulatorOracle<I>, SimulatorOracle.MealySimulatorOracle<I,O>
SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
MealySimulatorOracle(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy) |
answerQuery, processQueries
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, processQueries, processQuery
answerQuery, asOracle
Copyright © 2018. All rights reserved.