public static class EQOracleChain.MealyEQOracleChain<I,O> extends EQOracleChain<MealyMachine<?,I,?,O>,I,Word<O>>
EQOracleChain.DFAEQOracleChain<I>, EQOracleChain.MealyEQOracleChain<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
EQOracleChain.MealyEQOracleChain(EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>... oracles) |
EQOracleChain.MealyEQOracleChain(List<? extends EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>> oracles) |
@SafeVarargs public EQOracleChain.MealyEQOracleChain(EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>... oracles)
public EQOracleChain.MealyEQOracleChain(List<? extends EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>>> oracles)
Copyright © 2014. All Rights Reserved.