public class SimulatorEQOracle<I> extends Object implements EquivalenceOracle<OneSEVPA<?,I>,I,Boolean>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
SimulatorEQOracle(OneSEVPA<?,I> reference,
VPDAlphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
@Nullable DefaultQuery<I,Boolean> |
findCounterExample(OneSEVPA<?,I> hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public SimulatorEQOracle(OneSEVPA<?,I> reference, VPDAlphabet<I> alphabet)
public @Nullable DefaultQuery<I,Boolean> findCounterExample(OneSEVPA<?,I> hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<OneSEVPA<?,I>,I,Boolean>
hypothesis
- the conjectureinputs
- the set of inputs to consider, this should be a subset of the input alphabet of the provided hypothesisnull
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.Copyright © 2020. All rights reserved.