public static class WpMethodEQOracle.DFAWpMethodEQOracle<I> extends WpMethodEQOracle<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> implements EquivalenceOracle.DFAEquivalenceOracle<I>
WpMethodEQOracle.DFAWpMethodEQOracle<I>, WpMethodEQOracle.MealyWpMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
DFAWpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle,
int maxDepth) |
DFAWpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle,
int maxDepth,
int batchSize) |
generateTestWords
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public DFAWpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int maxDepth)
public DFAWpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int maxDepth, int batchSize)
Copyright © 2018. All rights reserved.