Class AbstractSBALearnerIT
- java.lang.Object
-
- de.learnlib.testsupport.it.learner.AbstractSBALearnerIT
-
-
Constructor Summary
Constructors Constructor Description AbstractSBALearnerIT()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract <I> void
addLearnerVariants(ProceduralInputAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.SBALearnerVariantList<I> 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> void addLearnerVariants(ProceduralInputAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.SBALearnerVariantList<I> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specifiedvariant list
.- Parameters:
alphabet
- the input alphabetmqOracle
- the membership oraclevariants
- list to add the learner variants to
-
-