de.learnlib.eqtests.basic

Class SimulatorEQOracle<I,O>

java.lang.Object

de.learnlib.eqtests.basic.SimulatorEQOracle<I,O>

All Implemented Interfaces:

EquivalenceOracle<UniversalDeterministicAutomaton<?,I,?,?,?>,I,O>

public class SimulatorEQOracle<I,O>
extends Object
implements EquivalenceOracle<UniversalDeterministicAutomaton<?,I,?,?,?>,I,O>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
SimulatorEQOracle(R reference)

Method Summary

Methods

Modifier and Type	Method and Description
DefaultQuery<I,O>	findCounterExample(UniversalDeterministicAutomaton<?,I,?,?,?> hypothesis, Collection<? extends I> alphabet) Searches for a counterexample disproving the subjected hypothesis.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimulatorEQOracle

public SimulatorEQOracle(R reference)

Method Detail

findCounterExample

public DefaultQuery<I,O> findCounterExample(UniversalDeterministicAutomaton<?,I,?,?,?> hypothesis,
                                   Collection<? extends I> alphabet)

Description copied from interface: EquivalenceOracle

Searches for a counterexample disproving the subjected hypothesis. A counterexample is query which, when performed on the SUL, yields a different output than what was predicted by the hypothesis. If no counterexample could be found (this does not necessarily mean that none exists), null is returned.

Specified by:

findCounterExample in interface EquivalenceOracle<UniversalDeterministicAutomaton<?,I,?,?,?>,I,O>

Parameters:

hypothesis - the conjecture

alphabet - the set of inputs to consider

Returns:

a query exposing different behavior, or null 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.