public static class RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> extends RandomWordsEQOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
RandomWordsEQOracle.DFARandomWordsEQOracle<I>, RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
MealyRandomWordsEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
MealyRandomWordsEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random,
int batchSize) |
generateTestWords
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public MealyRandomWordsEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle, int minLength, int maxLength, int maxTests, Random random)
public MealyRandomWordsEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
Copyright © 2018. All rights reserved.