public static class JointCounterOracle.MealyJointCounterOracle<I,O> extends JointCounterOracle<I,net.automatalib.words.Word<O>> implements MembershipOracle.MealyMembershipOracle<I,O>
JointCounterOracle.DFAJointCounterOracle<I>, JointCounterOracle.MealyJointCounterOracle<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
MealyJointCounterOracle(MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
getQueryCount, getSymbolCount, processQueries
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, answerQuery, asOracle, processQueries, processQuery
public MealyJointCounterOracle(MembershipOracle<I,net.automatalib.words.Word<O>> delegate)
Copyright © 2018. All rights reserved.