Module de.learnlib.testsupport.it

Package de.learnlib.testsupport.it.learner

Class AbstractSSTPassiveLearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractSSTPassiveLearnerIT

public abstract class AbstractSSTPassiveLearnerIT
extends Object

Abstract integration test for passive SubsequentialTransducers learning algorithms.

SST learning algorithms tested by this integration test are expected to assume membership queries yield the full output word corresponding to the suffix part of the query.

Constructor Summary

Constructors

Constructor	Description
AbstractSSTPassiveLearnerIT()

Method Summary

Modifier and Type	Method	Description
protected abstract <I,O> void	addLearnerVariants(net.automatalib.alphabet.Alphabet<I> alphabet, PassiveLearnerVariantList<net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>,I,net.automatalib.word.Word<O>> variants)	Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.
Object[]	createExampleITCases()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractSSTPassiveLearnerIT

public AbstractSSTPassiveLearnerIT()

Method Detail

createExampleITCases

@Factory
public Object[] createExampleITCases()

addLearnerVariants

protected abstract <I,O> void addLearnerVariants(net.automatalib.alphabet.Alphabet<I> alphabet,
                                                       PassiveLearnerVariantList<net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>,I,net.automatalib.word.Word<O>> variants)

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

alphabet - the input alphabet

variants - list to add the learner variants to