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 . |
Object[] |
createExampleITCases() |
createExampleITCases
public Object[] createExampleITCases()
protected 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 © 2018. All rights reserved.