de.learnlib.testsupport.it.learner

Interface PassiveLearnerVariantList.OneSEVPALearnerVariantList<I>

All Superinterfaces:

PassiveLearnerVariantList<net.automatalib.automata.vpda.OneSEVPA<?,I>,I,Boolean>

Enclosing interface:

PassiveLearnerVariantList<M,I,D>

public static interface PassiveLearnerVariantList.OneSEVPALearnerVariantList<I>
extends PassiveLearnerVariantList<net.automatalib.automata.vpda.OneSEVPA<?,I>,I,Boolean>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.testsupport.it.learner.PassiveLearnerVariantList

PassiveLearnerVariantList.DFALearnerVariantList<I>, PassiveLearnerVariantList.MealyLearnerVariantList<I,O>, PassiveLearnerVariantList.MealySymLearnerVariantList<I,O>, PassiveLearnerVariantList.OneSEVPALearnerVariantList<I>

Method Summary

Methods inherited from interface de.learnlib.testsupport.it.learner.PassiveLearnerVariantList

addLearnerVariant