findCounterExample
public DefaultQuery<I,D> findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
A counterexample is query which, when performed on the SUL, yields a different output
than what was predicted by the hypothesis. If no counterexample could be found (this does
not necessarily mean that none exists), null
is returned.
- Specified by:
findCounterExample
in interface EquivalenceOracle<A,I,D>
- Parameters:
hypothesis
- the conjecture
inputs
- the set of inputs to consider, this should be a subset of the input alphabet
of the provided hypothesis
- Returns:
- a query exposing different behavior, or null if no counterexample
could be found. In case a non-null value is returned, the output field
in the
DefaultQuery
contains the SUL output for the respective query.