public static class EQOracleChain.MealyEQOracleChain<I,O> extends EQOracleChain<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
EQOracleChain.DFAEQOracleChain<I>, EQOracleChain.MealyEQOracleChain<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
MealyEQOracleChain(EquivalenceOracle<? super net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>... oracles) |
MealyEQOracleChain(List<? extends EquivalenceOracle<? super net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>> oracles) |
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
@SafeVarargs public MealyEQOracleChain(EquivalenceOracle<? super net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>... oracles)
Copyright © 2018. All rights reserved.