public static interface EquivalenceOracle.DFAEquivalenceOracle<I> extends EquivalenceOracle<DFA<?,I>,I,Boolean>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
findCounterExample
Copyright © 2014. All Rights Reserved.