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