public static class WpMethodEQOracle.MealyWpMethodEQOracle<I,O> extends WpMethodEQOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>
WpMethodEQOracle.DFAWpMethodEQOracle<I>, WpMethodEQOracle.MealyWpMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
MealyWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle,
int maxDepth) |
MealyWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle,
int maxDepth,
int batchSize) |
generateTestWords
findCounterExample
public MealyWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle, int maxDepth)
public MealyWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle, int maxDepth, int batchSize)
Copyright © 2018. All rights reserved.