Package de.learnlib.testsupport.example
Interface LearningExample.SPALearningExample<I>
-
- All Superinterfaces:
LearningExample<I,net.automatalib.automaton.procedural.SPA<?,I>>
- All Known Implementing Classes:
DefaultLearningExample.DefaultSPALearningExample
,ExamplePalindrome
,ExampleRandomSPA
- Enclosing interface:
- LearningExample<I,A>
public static interface LearningExample.SPALearningExample<I> extends LearningExample<I,net.automatalib.automaton.procedural.SPA<?,I>>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.testsupport.example.LearningExample
LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>, LearningExample.MooreLearningExample<I,O>, LearningExample.OneSEVPALearningExample<I>, LearningExample.SBALearningExample<I>, LearningExample.SPALearningExample<I>, LearningExample.SPMMLearningExample<I,O>, LearningExample.SSTLearningExample<I,O>, LearningExample.StateLocalInputMealyLearningExample<I,O>, LearningExample.UniversalDeterministicLearningExample<I,A extends net.automatalib.automaton.UniversalAutomaton<?,I,?,?,?>>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description net.automatalib.alphabet.ProceduralInputAlphabet<I>
getAlphabet()
-
Methods inherited from interface de.learnlib.testsupport.example.LearningExample
getReferenceAutomaton
-
-
-
-
Method Detail
-
getAlphabet
net.automatalib.alphabet.ProceduralInputAlphabet<I> getAlphabet()
- Specified by:
getAlphabet
in interfaceLearningExample<I,net.automatalib.automaton.procedural.SPA<?,I>>
-
-