Package de.learnlib.testsupport.it.learner

Class AbstractMooreSymLearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractMooreSymLearnerIT

public abstract class AbstractMooreSymLearnerIT
extends Object

Abstract integration test for Moore machine learning algorithms.

Mealy machine learning algorithms tested by this integration test are expected to assume membership queries yield only the last symbol of the output word. If the learning algorithm expects the full output word for the suffix part of the query, use AbstractMooreLearnerIT.

Constructor Summary

Constructors

Constructor	Description
AbstractMooreSymLearnerIT()

Method Summary

Modifier and Type	Method	Description
protected abstract <I,O> void	addLearnerVariants(Alphabet<I> alphabet, MembershipOracle<I,O> mqOracle, LearnerVariantList.MooreSymLearnerVariantList<I,O> variants)	Adds, for a given setup, all the variants of the Mealy machine 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

AbstractMooreSymLearnerIT

public AbstractMooreSymLearnerIT()

Method Detail

createExampleITCases

@Factory
public Object[] createExampleITCases()

addLearnerVariants

protected abstract <I,O> void addLearnerVariants(Alphabet<I> alphabet,
                                                       MembershipOracle<I,O> mqOracle,
                                                       LearnerVariantList.MooreSymLearnerVariantList<I,O> variants)

Adds, for a given setup, all the variants of the Mealy machine 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