Class AbstractMealySymLearnerIT
- java.lang.Object
-
- de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT
-
public abstract class AbstractMealySymLearnerIT 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 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
AbstractMealyLearnerIT
.
-
-
Constructor Summary
Constructors Constructor Description AbstractMealySymLearnerIT()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract <I,O>
voidaddLearnerVariants(Alphabet<I> alphabet, MembershipOracle<I,O> mqOracle, LearnerVariantList.MealySymLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specifiedvariant list
.Object[]
createExampleITCases()
-
-
-
Method Detail
-
createExampleITCases
@Factory public Object[] createExampleITCases()
-
addLearnerVariants
protected abstract <I,O> void addLearnerVariants(Alphabet<I> alphabet, MembershipOracle<I,O> mqOracle, LearnerVariantList.MealySymLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specifiedvariant list
.- Parameters:
alphabet
- the input alphabetmqOracle
- the membership oraclevariants
- list to add the learner variants to
-
-