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