public static class RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I> extends RandomWpMethodEQOracle<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> implements EquivalenceOracle.DFAEquivalenceOracle<I>
RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I>, RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize) |
doGenerateTestWords, generateTestWords
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle, int minimalSize, int rndLength)
public DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle, int minimalSize, int rndLength, int bound)
public DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle, int minimalSize, int rndLength, int bound, int batchSize)
public DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
Copyright © 2018. All rights reserved.