de.learnlib.testsupport.it.learner

Class AbstractMealyLearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractLearnerIT

de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT

public abstract class AbstractMealyLearnerIT
extends AbstractLearnerIT

Abstract integration test for Mealy machine learning algorithms.

Mealy machine 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. If the learning algorithm only expects the last symbol as output, use AbstractMealySymLearnerIT.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractMealyLearnerIT()

Method Summary

Methods

Modifier and Type	Method and Description
protected abstract <I,O> void	addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle.MealyMembershipOracle<I,O> mqOracle, LearnerVariantList.MealyLearnerVariantList<I,O> variants) Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified variant list.
de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[]	createExampleITCases() Creates an array of per-example test cases for all learner variants.

Methods inherited from class de.learnlib.testsupport.it.learner.AbstractLearnerIT

testAll

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractMealyLearnerIT

public AbstractMealyLearnerIT()

Method Detail

createExampleITCases

public de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[] createExampleITCases()

Description copied from class: AbstractLearnerIT

Creates an array of per-example test cases for all learner variants.

Specified by:

createExampleITCases in class AbstractLearnerIT

Returns:

the array of test cases, one for each example

addLearnerVariants

protected abstract <I,O> void addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
                            MembershipOracle.MealyMembershipOracle<I,O> mqOracle,
                            LearnerVariantList.MealyLearnerVariantList<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