Package de.learnlib.testsupport.it.learner

Class AbstractMealyLearnerIT

java.lang.Object

de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT

public abstract class AbstractMealyLearnerIT
extends Object

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.

Constructor Summary

Constructors

Constructor	Description
AbstractMealyLearnerIT()

Method Summary

Modifier and Type	Method	Description
protected abstract <I,O> void	addLearnerVariants(Alphabet<I> alphabet, int targetSize, 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.
Object[]	createExampleITCases()

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

@Factory
public Object[] createExampleITCases()

addLearnerVariants

protected abstract <I,O> void addLearnerVariants(Alphabet<I> alphabet,
                                                       int targetSize,
                                                       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

targetSize - the size of the target automaton

mqOracle - the membership oracle

variants - list to add the learner variants to