public abstract class AbstractMealyLearnerIT extends AbstractLearnerIT
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 and Description |
---|
AbstractMealyLearnerIT() |
Modifier and Type | Method and Description |
---|---|
protected abstract <I,O> void |
addLearnerVariants(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.
|
testAll
public de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[] createExampleITCases()
AbstractLearnerIT
createExampleITCases
in class AbstractLearnerIT
protected abstract <I,O> void addLearnerVariants(Alphabet<I> alphabet, MembershipOracle.MealyMembershipOracle<I,O> mqOracle, LearnerVariantList.MealyLearnerVariantList<I,O> variants)
variant list
.alphabet
- the input alphabetmqOracle
- the membership oraclevariants
- list to add the learner variants toCopyright © 2015. All rights reserved.