public class DelegateEQOracle<A,I,D> extends Object implements EquivalenceOracle<A,I,D>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>| Modifier and Type | Field and Description |
|---|---|
protected EquivalenceOracle<? super A,I,D> |
delegate |
| Constructor and Description |
|---|
DelegateEQOracle(EquivalenceOracle<? super A,I,D> delegate) |
| Modifier and Type | Method and Description |
|---|---|
DefaultQuery<I,D> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
protected final EquivalenceOracle<? super A,I,D> delegate
public DelegateEQOracle(EquivalenceOracle<? super A,I,D> delegate)
public DefaultQuery<I,D> findCounterExample(A hypothesis, Collection<? extends I> inputs)
findCounterExample in interface EquivalenceOracle<A,I,D>Copyright © 2019. All rights reserved.