Package de.learnlib.testsupport.it.learner

Class LearnerVariantListImpl.SPALearnerVariantListImpl<I>

java.lang.Object

de.learnlib.testsupport.it.learner.LearnerVariantListImpl<SPA<?,I>,I,Boolean>

de.learnlib.testsupport.it.learner.LearnerVariantListImpl.SPALearnerVariantListImpl<I>

All Implemented Interfaces:

LearnerVariantList<SPA<?,I>,I,Boolean>, LearnerVariantList.SPALearnerVariantList<I>

Enclosing class:

LearnerVariantListImpl<M,I,D>

public static class LearnerVariantListImpl.SPALearnerVariantListImpl<I>
extends LearnerVariantListImpl<SPA<?,I>,I,Boolean>
implements LearnerVariantList.SPALearnerVariantList<I>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.testsupport.it.learner.LearnerVariantListImpl

LearnerVariantListImpl.DFALearnerVariantListImpl<I>, LearnerVariantListImpl.MealyLearnerVariantListImpl<I,O>, LearnerVariantListImpl.MealySymLearnerVariantListImpl<I,O>, LearnerVariantListImpl.MooreLearnerVariantListImpl<I,O>, LearnerVariantListImpl.MooreSymLearnerVariantListImpl<I,O>, LearnerVariantListImpl.OneSEVPALearnerVariantListImpl<I>, LearnerVariantListImpl.SBALearnerVariantListImpl<I>, LearnerVariantListImpl.SPALearnerVariantListImpl<I>, LearnerVariantListImpl.SPMMLearnerVariantListImpl<I,O>

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

LearnerVariantList.DFALearnerVariantList<I>, LearnerVariantList.MealyLearnerVariantList<I,O>, LearnerVariantList.MealySymLearnerVariantList<I,O>, LearnerVariantList.MooreLearnerVariantList<I,O>, LearnerVariantList.MooreSymLearnerVariantList<I,O>, LearnerVariantList.OneSEVPALearnerVariantList<I>, LearnerVariantList.SBALearnerVariantList<I>, LearnerVariantList.SPALearnerVariantList<I>, LearnerVariantList.SPMMLearnerVariantList<I,O>

Constructor Summary

Constructors

Constructor	Description
SPALearnerVariantListImpl()

Method Summary

Methods inherited from class de.learnlib.testsupport.it.learner.LearnerVariantListImpl

addLearnerVariant, addLearnerVariant, getLearnerVariants

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

addLearnerVariant, addLearnerVariant

Constructor Detail

SPALearnerVariantListImpl

public SPALearnerVariantListImpl()