public static class EQOracleChain.DFAEQOracleChain<I> extends EQOracleChain<DFA<?,I>,I,Boolean> implements EquivalenceOracle.DFAEquivalenceOracle<I>
EQOracleChain.DFAEQOracleChain<I>, EQOracleChain.MealyEQOracleChain<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
EQOracleChain.DFAEQOracleChain(EquivalenceOracle<? super DFA<?,I>,I,Boolean>... oracles) |
EQOracleChain.DFAEQOracleChain(List<? extends EquivalenceOracle<? super DFA<?,I>,I,Boolean>> oracles) |
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
@SafeVarargs public EQOracleChain.DFAEQOracleChain(EquivalenceOracle<? super DFA<?,I>,I,Boolean>... oracles)
public EQOracleChain.DFAEQOracleChain(List<? extends EquivalenceOracle<? super DFA<?,I>,I,Boolean>> oracles)
Copyright © 2014. All Rights Reserved.