Module de.learnlib.testsupport.it

Package de.learnlib.testsupport.it

Class AbstractOneSEVPALearnerIT

java.lang.Object

de.learnlib.testsupport.it.AbstractOneSEVPALearnerIT

public abstract class AbstractOneSEVPALearnerIT
extends Object

Abstract integration test for OneSEVPA learning algorithms.

Constructor Summary

Constructors

Constructor	Description
AbstractOneSEVPALearnerIT()

Method Summary

Modifier and Type	Method	Description
protected abstract <I> void	addLearnerVariants(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.OneSEVPALearnerVariantList<I> variants)	Adds, for a given setup, all the variants of the OneSEVPA 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 Details

AbstractOneSEVPALearnerIT

public AbstractOneSEVPALearnerIT()

Method Details

createExampleITCases

@Factory
public Object[] createExampleITCases()

addLearnerVariants

protected abstract <I> void addLearnerVariants(VPAlphabet<I> alphabet,
 MembershipOracle.DFAMembershipOracle<I> mqOracle,
 LearnerVariantList.OneSEVPALearnerVariantList<I> variants)

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

Type Parameters:

I - input symbol type

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

variants - list to add the learner variants to