public abstract class AbstractDFALearnerIT extends AbstractLearnerIT
If run, this integration test tests the functionality of all
variants
of a DFA learning algorithm against all the examples contained in
LearningExamples.createDFAExamples()
.
Constructor and Description |
---|
AbstractDFALearnerIT() |
Modifier and Type | Method and Description |
---|---|
protected abstract <I> void |
addLearnerVariants(Alphabet<I> alphabet,
int targetSize,
MembershipOracle.DFAMembershipOracle<I> mqOracle,
LearnerVariantList.DFALearnerVariantList<I> variants)
Adds, for a given setup, all the variants of the DFA 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> void addLearnerVariants(Alphabet<I> alphabet, int targetSize, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.DFALearnerVariantList<I> variants)
variant list
.alphabet
- the input alphabetmqOracle
- the membership oraclevariants
- list to add the learner variants toCopyright © 2015. All rights reserved.