Uses of Interface
de.learnlib.testsupport.it.learner.LearnerVariantList.SPMMLearnerVariantList
-
Packages that use LearnerVariantList.SPMMLearnerVariantList Package Description de.learnlib.testsupport.it.learner -
-
Uses of LearnerVariantList.SPMMLearnerVariantList in de.learnlib.testsupport.it.learner
Classes in de.learnlib.testsupport.it.learner that implement LearnerVariantList.SPMMLearnerVariantList Modifier and Type Class Description static class
LearnerVariantListImpl.SPMMLearnerVariantListImpl<I,O>
Methods in de.learnlib.testsupport.it.learner with parameters of type LearnerVariantList.SPMMLearnerVariantList Modifier and Type Method Description protected abstract <I,O>
voidAbstractSPMMLearnerIT. addLearnerVariants(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle.MealyMembershipOracle<I,O> mqOracle, LearnerVariantList.SPMMLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specifiedvariant list
.
-