Uses of Class
de.learnlib.testsupport.it.learner.SPALearnerITCase
-
Packages that use SPALearnerITCase Package Description de.learnlib.testsupport.it.learner -
-
Uses of SPALearnerITCase in de.learnlib.testsupport.it.learner
Methods in de.learnlib.testsupport.it.learner that return types with arguments of type SPALearnerITCase Modifier and Type Method Description static <I> List<SPALearnerITCase<I>>
LearnerITUtil. createExampleITCases(LearningExample.SPALearningExample<I> example, LearnerVariantListImpl.SPALearnerVariantListImpl<I> variants, EquivalenceOracle<net.automatalib.automaton.procedural.SPA<?,I>,I,Boolean> eqOracle)
Creates a list of per-example test cases for all learner variants.
-