public abstract class AbstractMealyPassiveLearnerIT extends AbstractPassiveLearnerIT
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.
Constructor and Description |
---|
AbstractMealyPassiveLearnerIT() |
Modifier and Type | Method and Description |
---|---|
protected abstract <I,O> void |
addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
PassiveLearnerVariantList<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specified
variant list . |
Object[] |
createExampleITCases() |
createPassiveExampleITCases, generateSamples
public Object[] createExampleITCases()
protected abstract <I,O> void addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet, PassiveLearnerVariantList<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> variants)
variant list
.alphabet
- the input alphabetvariants
- list to add the learner variants toCopyright © 2018. All rights reserved.