Class AbstractSSTPassiveLearnerIT
- java.lang.Object
-
- de.learnlib.testsupport.it.learner.AbstractSSTPassiveLearnerIT
-
public abstract class AbstractSSTPassiveLearnerIT extends Object
Abstract integration test for passiveSubsequentialTransducer
s learning algorithms.SST 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 AbstractSSTPassiveLearnerIT()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract <I,O>
voidaddLearnerVariants(Alphabet<I> alphabet, PassiveLearnerVariantList<SubsequentialTransducer<?,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<SubsequentialTransducer<?,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
-
-