public class SymbolEQOracleWrapper<A extends net.automatalib.automata.concepts.DetSuffixOutputAutomaton<?,I,?,net.automatalib.words.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,net.automatalib.words.Word<O>> wordEqOracle) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,O> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public SymbolEQOracleWrapper(EquivalenceOracle<? super A,I,net.automatalib.words.Word<O>> wordEqOracle)
public DefaultQuery<I,O> findCounterExample(A hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<A extends net.automatalib.automata.concepts.DetSuffixOutputAutomaton<?,I,?,net.automatalib.words.Word<O>>,I,O>
hypothesis
- the conjectureinputs
- the set of inputs to consider, this should be a subset of the input alphabet of the provided hypothesisDefaultQuery
contains the SUL output for the
respective query.Copyright © 2018. All rights reserved.