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