de.learnlib.eqtests.basic

Class IncrementalWMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D>

java.lang.Object

de.learnlib.eqtests.basic.IncrementalWMethodEQOracle<A,I,D>

All Implemented Interfaces:

EquivalenceOracle<A,I,D>

Direct Known Subclasses:

IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle, IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle

public class IncrementalWMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D>
extends Object
implements EquivalenceOracle<A,I,D>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I>
static class	IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>

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

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

Constructor Summary

Constructors

Constructor and Description
IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,D> oracle)
IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,D> oracle, int maxDepth)

Method Summary

Methods

Modifier and Type	Method and Description
DefaultQuery<I,D>	findCounterExample(A hypothesis, Collection<? extends I> inputs) Searches for a counterexample disproving the subjected hypothesis.
int	getMaxDepth()
void	setMaxDepth(int maxDepth)

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalWMethodEQOracle

public IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
                          MembershipOracle<I,D> oracle)

IncrementalWMethodEQOracle

public IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
                          MembershipOracle<I,D> oracle,
                          int maxDepth)

Method Detail

getMaxDepth

public int getMaxDepth()

setMaxDepth

public void setMaxDepth(int maxDepth)

findCounterExample

public DefaultQuery<I,D> findCounterExample(A hypothesis,
                                   Collection<? extends I> inputs)

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<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D>

Parameters:

hypothesis - the conjecture

inputs - the set of inputs to consider, this should be a subset of the input alphabet of the provided hypothesis

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.