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

Packages that use LearnerVariantList.OneSEVPALearnerVariantList

Package	Description
de.learnlib.testsupport.it.learner

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

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

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

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

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