Package de.learnlib.testsupport.it.learner

Class AbstractSPMMLearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractSPMMLearnerIT

public abstract class AbstractSPMMLearnerIT
extends Object

Abstract integration test for SPMM learning algorithms.

Constructor Summary

Constructors

Constructor	Description
AbstractSPMMLearnerIT()

Method Summary

Modifier and Type	Method	Description
protected abstract <I,O> void	addLearnerVariants(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle.MealyMembershipOracle<I,O> mqOracle, LearnerVariantList.SPMMLearnerVariantList<I,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

AbstractSPMMLearnerIT

public AbstractSPMMLearnerIT()

Method Detail

createExampleITCases

@Factory
public Object[] createExampleITCases()

addLearnerVariants

protected abstract <I,O> void addLearnerVariants(ProceduralInputAlphabet<I> alphabet,
                                                       O errorOutput,
                                                       MembershipOracle.MealyMembershipOracle<I,O> mqOracle,
                                                       LearnerVariantList.SPMMLearnerVariantList<I,O> variants)

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

Parameters:

alphabet - the input alphabet

errorOutput - the erroneous output symbol

mqOracle - the membership oracle

variants - list to add the learner variants to