public static class CounterOracle.MealyCounterOracle<I,O> extends CounterOracle<I,Word<O>> implements MembershipOracle.MealyMembershipOracle<I,O>
CounterOracle.DFACounterOracle<I>, CounterOracle.MealyCounterOracle<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
MealyCounterOracle(MembershipOracle<I,Word<O>> nextOracle,
String name) |
getCount, getCounter, getStatisticalData, processQueries, setNext
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
processQueries
public MealyCounterOracle(MembershipOracle<I,Word<O>> nextOracle, String name)
Copyright © 2015. All rights reserved.