public static class IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> extends IncrementalWMethodEQOracle<DFA<?,I>,I,Boolean> implements EquivalenceOracle.DFAEquivalenceOracle<I>
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I>, IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
DFAIncrementalWMethodEQOracle(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
DFAIncrementalWMethodEQOracle(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
int maxDepth) |
findCounterExample, getMaxDepth, setMaxDepth
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public DFAIncrementalWMethodEQOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, int maxDepth)
public DFAIncrementalWMethodEQOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
Copyright © 2015. All rights reserved.