A
- automaton class this equivalence oracle works onI
- input symbol classO
- output classpublic interface EquivalenceOracle<A,I,O>
MembershipOracle
or such. However, this might be different
in implementing classes.
CAVEAT: Equivalence oracles serve as an abstraction to tackle the (generally undecidable)
problem of black-box equivalence testing. The contract imposed by this interface is that
results returned by the findCounterExample(Object, Collection)
method are in fact
counterexamples, BUT a null result signalling no counterexample was found
does not mean that there can be none.Modifier and Type | Interface and Description |
---|---|
static interface |
EquivalenceOracle.DFAEquivalenceOracle<I> |
static interface |
EquivalenceOracle.MealyEquivalenceOracle<I,O> |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,O> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
DefaultQuery<I,O> findCounterExample(A hypothesis, Collection<? extends I> inputs)
null
is returned.hypothesis
- the conjectureinputs
- the set of inputs to considerDefaultQuery
contains the SUL output for the respective query.Copyright © 2014. All Rights Reserved.