I
- input symbol classO
- output symbol classpublic class MealyCacheConsistencyTest<I,O> extends Object implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
EquivalenceOracle
that tests an hypothesis for consistency with the
contents of a MealyCacheOracle
.EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
MealyCacheConsistencyTest(IncrementalMealyBuilder<I,O> incMealy,
Lock lock)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,Word<O>> |
findCounterExample(MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public MealyCacheConsistencyTest(IncrementalMealyBuilder<I,O> incMealy, Lock lock)
incMealy
- the IncrementalMealyBuilder
data structure underlying the
cache.public DefaultQuery<I,Word<O>> findCounterExample(MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<MealyMachine<?,I,?,O>,I,Word<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 © 2015. All rights reserved.