public class EQOracleChain<A,I,O> extends Object implements EquivalenceOracle<A,I,O>
| Constructor and Description |
|---|
EQOracleChain(EquivalenceOracle<? super A,I,O>... oracles) |
EQOracleChain(List<? extends EquivalenceOracle<? super A,I,O>> oracles) |
public EQOracleChain(List<? extends EquivalenceOracle<? super A,I,O>> oracles)
@SafeVarargs public EQOracleChain(EquivalenceOracle<? super A,I,O>... oracles)
public DefaultQuery<I,O> findCounterExample(A hypothesis, Collection<? extends I> inputs)
findCounterExample in interface EquivalenceOracle<A,I,O>Copyright © 2013. All Rights Reserved.