public static class WpMethodEQOracle.MealyWpMethodEQOracle<I,O> extends WpMethodEQOracle<MealyMachine<?,I,?,O>,I,Word<O>>
WpMethodEQOracle.DFAWpMethodEQOracle<I>, WpMethodEQOracle.MealyWpMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
WpMethodEQOracle.MealyWpMethodEQOracle(int maxDepth,
MembershipOracle<I,Word<O>> sulOracle) |
public WpMethodEQOracle.MealyWpMethodEQOracle(int maxDepth, MembershipOracle<I,Word<O>> sulOracle)
Copyright © 2014. All Rights Reserved.