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.
|
public DFACacheConsistencyTest(AbstractIncrementalDFABuilder<I> incDfa)
incDfa - the IncrementalDFABuilder data structure of the cachepublic DefaultQuery<I,Boolean> findCounterExample(DFA<?,I> hypothesis, Collection<? extends I> inputs)
findCounterExample in interface EquivalenceOracle<DFA<?,I>,I,Boolean>Copyright © 2013. All Rights Reserved.