Class AbstractMealyPassiveLearnerIT
- java.lang.Object
-
- de.learnlib.testsupport.it.learner.AbstractMealyPassiveLearnerIT
-
public abstract class AbstractMealyPassiveLearnerIT extends Object
Abstract integration test for passive Mealy machine learning algorithms.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 Summary
Constructors Constructor Description AbstractMealyPassiveLearnerIT()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract <I,O>
voidaddLearnerVariants(Alphabet<I> alphabet, PassiveLearnerVariantList<MealyMachine<?,I,?,O>,I,Word<O>> variants)
Adds, for a given setup, all the variants of the DFA 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, PassiveLearnerVariantList<MealyMachine<?,I,?,O>,I,Word<O>> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specifiedvariant list
.- Parameters:
alphabet
- the input alphabetvariants
- list to add the learner variants to
-
-