public abstract class AbstractMealySymLearnerIT extends AbstractLearnerIT
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 AbstractMealySymLearnerIT
.
Constructor and Description |
---|
AbstractMealySymLearnerIT() |
Modifier and Type | Method and Description |
---|---|
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 specified
variant list . |
de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[] |
createExampleITCases()
Creates an array of per-example test cases for all learner variants.
|
testAll
public de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[] createExampleITCases()
AbstractLearnerIT
createExampleITCases
in class AbstractLearnerIT
protected abstract <I,O> void addLearnerVariants(Alphabet<I> alphabet, MembershipOracle<I,O> mqOracle, LearnerVariantList.MealySymLearnerVariantList<I,O> variants)
variant list
.alphabet
- the input alphabetmqOracle
- the membership oraclevariants
- list to add the learner variants toCopyright © 2015. All rights reserved.