Uses of Interface
de.learnlib.example.LearningExample.SPALearningExample
-
Packages that use LearningExample.SPALearningExample Package Description de.learnlib.example This package (including sub-packages) contains example models of various types used in integration-tests.de.learnlib.example.spa de.learnlib.testsupport.it.learner -
-
Uses of LearningExample.SPALearningExample in de.learnlib.example
Classes in de.learnlib.example that implement LearningExample.SPALearningExample Modifier and Type Class Description static class
DefaultLearningExample.DefaultSPALearningExample<I>
Methods in de.learnlib.example that return types with arguments of type LearningExample.SPALearningExample Modifier and Type Method Description static List<LearningExample.SPALearningExample<?>>
LearningExamples. createSPAExamples()
-
Uses of LearningExample.SPALearningExample in de.learnlib.example.spa
Classes in de.learnlib.example.spa that implement LearningExample.SPALearningExample Modifier and Type Class Description class
ExamplePalindrome
class
ExampleRandomSPA<I>
-
Uses of LearningExample.SPALearningExample in de.learnlib.testsupport.it.learner
Methods in de.learnlib.testsupport.it.learner with parameters of type LearningExample.SPALearningExample Modifier and Type Method Description static <I> List<SPALearnerITCase<I>>
LearnerITUtil. createExampleITCases(LearningExample.SPALearningExample<I> example, LearnerVariantListImpl.SPALearnerVariantListImpl<I> variants, EquivalenceOracle<SPA<?,I>,I,Boolean> eqOracle)
Creates a list of per-example test cases for all learner variants.
-