Package de.learnlib.oracle.equivalence

Class AbstractTestWordEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D>

java.lang.Object

de.learnlib.oracle.equivalence.AbstractTestWordEQOracle<A,I,D>

Type Parameters:

A - hypothesis type

I - input symbol type

D - output (domain) type

All Implemented Interfaces:

EquivalenceOracle<A,I,D>

Direct Known Subclasses:

CompleteExplorationEQOracle, IncrementalWMethodEQOracle, RandomWellMatchedWordsEQOracle, RandomWMethodEQOracle, RandomWordsEQOracle, RandomWpMethodEQOracle, WMethodEQOracle, WMethodEQOracle, WMethodEQOracle, WMethodEQOracle, WpMethodEQOracle, WpMethodEQOracle

public abstract class AbstractTestWordEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D>
extends Object
implements EquivalenceOracle<A,I,D>

An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes to solely focus on test word generation by implementing generateTestWords(Output, Collection).

Being stream-based, this oracle encourages the lazy computation of counterexamples, so that all counterexamples do not have to be computed upfront, but only until the first valid counterexample is found.

Nested Class Summary

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

EquivalenceOracle.DFAEquivalenceOracle<I extends Object>, EquivalenceOracle.MealyEquivalenceOracle<I extends Object,O extends Object>, EquivalenceOracle.MooreEquivalenceOracle<I extends Object,O extends Object>

Constructor Summary

Constructors

Constructor	Description
AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle)
AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle, int batchSize)

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	findCounterExample(A hypothesis, Collection<? extends I> inputs)
protected abstract Stream<net.automatalib.word.Word<I>>	generateTestWords(A hypothesis, Collection<? extends I> inputs)	Generate the stream of test words that should be used for the current equivalence check cycle.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTestWordEQOracle

public AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle)

AbstractTestWordEQOracle

public AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle,
                                int batchSize)

Method Detail

findCounterExample

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

Specified by:

findCounterExample in interface EquivalenceOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D>

generateTestWords

protected abstract Stream<net.automatalib.word.Word<I>> generateTestWords(A hypothesis,
                                                                          Collection<? extends I> inputs)

Generate the stream of test words that should be used for the current equivalence check cycle.

Parameters:

hypothesis - the current hypothesis of the learning algorithm

inputs - the collection of inputs to consider

Returns:

the stream of test words used for equivalence testing

See Also:

EquivalenceOracle.findCounterExample(Object, Collection)