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(net.automatalib.words.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.
|
testAllpublic de.learnlib.testsupport.it.learner.SingleExampleAllVariantsITSubCase<?,?,?>[] createExampleITCases()
AbstractLearnerITcreateExampleITCases in class AbstractLearnerITprotected abstract <I> void addLearnerVariants(net.automatalib.words.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 © 2014. All Rights Reserved.