I
- input symbol classpublic final class DFACacheConsistencyTest<I> extends Object implements EquivalenceOracle.DFAEquivalenceOracle<I>
EquivalenceOracle
that tests an hypothesis for consistency with the
contents of a DFACacheOracle
.EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
DFACacheConsistencyTest(AbstractIncrementalDFABuilder<I> incDfa)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,Boolean> |
findCounterExample(DFA<?,I> hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public DFACacheConsistencyTest(AbstractIncrementalDFABuilder<I> incDfa)
incDfa
- the IncrementalDFABuilder
data structure of the cachepublic DefaultQuery<I,Boolean> findCounterExample(DFA<?,I> hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<DFA<?,I>,I,Boolean>
hypothesis
- the conjectureinputs
- the set of inputs to considerDefaultQuery
contains the SUL output for the respective query.Copyright © 2014. All Rights Reserved.