public static class WMethodEQOracle.MealyWMethodEQOracle<I,O> extends WMethodEQOracle<MealyMachine<?,I,?,O>,I,Word<O>> implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
WMethodEQOracle.DFAWMethodEQOracle<I>, WMethodEQOracle.MealyWMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
WMethodEQOracle.MealyWMethodEQOracle(int maxDepth,
MembershipOracle<I,Word<O>> sulOracle) |
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public WMethodEQOracle.MealyWMethodEQOracle(int maxDepth, MembershipOracle<I,Word<O>> sulOracle)
Copyright © 2014. All Rights Reserved.