public static class RandomWordsEQOracle.DFARandomWordsEQOracle<I> extends RandomWordsEQOracle<I,Boolean,DFA<?,I>> implements EquivalenceOracle.DFAEquivalenceOracle<I>
RandomWordsEQOracle.DFARandomWordsEQOracle<I>, RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
RandomWordsEQOracle.DFARandomWordsEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public RandomWordsEQOracle.DFARandomWordsEQOracle(MembershipOracle<I,Boolean> mqOracle, int minLength, int maxLength, int maxTests, Random random)
Copyright © 2014. All Rights Reserved.