public static class SimulatorOracle.DFASimulatorOracle<I> extends SimulatorOracle<I,Boolean> implements MembershipOracle.DFAMembershipOracle<I>
SimulatorOracle.DFASimulatorOracle<I>, SimulatorOracle.MealySimulatorOracle<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
SimulatorOracle.DFASimulatorOracle(DFA<?,I> dfa) |
answerQuery
processQueries
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
processQueries
public SimulatorOracle.DFASimulatorOracle(DFA<?,I> dfa)
Copyright © 2014. All Rights Reserved.