Uses of Interface
de.learnlib.testsupport.it.learner.LearnerVariantList.SPALearnerVariantList

Packages that use LearnerVariantList.SPALearnerVariantList

Package	Description
de.learnlib.testsupport.it.learner

Uses of LearnerVariantList.SPALearnerVariantList in de.learnlib.testsupport.it.learner

Classes in de.learnlib.testsupport.it.learner that implement LearnerVariantList.SPALearnerVariantList

Modifier and Type	Class	Description
static class	LearnerVariantListImpl.SPALearnerVariantListImpl<I>

Methods in de.learnlib.testsupport.it.learner with parameters of type LearnerVariantList.SPALearnerVariantList

Modifier and Type	Method	Description
protected abstract <I> void	AbstractSPALearnerIT.addLearnerVariants(ProceduralInputAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> mqOracle, LearnerVariantList.SPALearnerVariantList<I> variants)	Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.