de.learnlib.testsupport.it.learner

Class AbstractVPDALearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractVPDALearnerIT

public abstract class AbstractVPDALearnerIT
extends Object

Abstract integration test for VPDA learning algorithms.

//TODO: Integrate into existing IT landscape. (Needs refactoring, because VPDAs are no UniversalAutomaton)

Author:

frohme

Constructor Summary

Constructors

Constructor and Description
AbstractVPDALearnerIT()

Method Summary

Modifier and Type	Method and Description
protected abstract <I> void	addLearnerVariants(VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> 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[]	testRandomVPDA()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractVPDALearnerIT

public AbstractVPDALearnerIT()

Method Detail

testRandomVPDA

@Factory
public Object[] testRandomVPDA()

addLearnerVariants

protected abstract <I> void addLearnerVariants(VPDAlphabet<I> alphabet,
                                               MembershipOracle<I,Boolean> 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.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

variants - list to add the learner variants to