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(net.automatalib.words.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 . |
Object[] |
createExampleITCases() |
createExampleITCases
public Object[] createExampleITCases()
protected abstract <I,O> void addLearnerVariants(net.automatalib.words.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 © 2018. All rights reserved.