Package de.learnlib.example
Class DefaultLearningExample.DefaultOneSEVPALearningExample<I>
- java.lang.Object
-
- de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample<I>
-
- All Implemented Interfaces:
LearningExample<I,OneSEVPA<?,I>>
,LearningExample.OneSEVPALearningExample<I>
- Direct Known Subclasses:
ExampleRandomOneSEVPA
- Enclosing class:
- DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>>
public static class DefaultLearningExample.DefaultOneSEVPALearningExample<I> extends Object implements LearningExample.OneSEVPALearningExample<I>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.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 UniversalAutomaton<?,I,?,?,?>>
-
-
Constructor Summary
Constructors Constructor Description DefaultOneSEVPALearningExample(VPAlphabet<I> alphabet, OneSEVPA<?,I> referenceAutomaton)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description VPAlphabet<I>
getAlphabet()
OneSEVPA<?,I>
getReferenceAutomaton()
-
-
-
Constructor Detail
-
DefaultOneSEVPALearningExample
public DefaultOneSEVPALearningExample(VPAlphabet<I> alphabet, OneSEVPA<?,I> referenceAutomaton)
-
-
Method Detail
-
getReferenceAutomaton
public OneSEVPA<?,I> getReferenceAutomaton()
- Specified by:
getReferenceAutomaton
in interfaceLearningExample<I,OneSEVPA<?,I>>
-
getAlphabet
public VPAlphabet<I> getAlphabet()
- Specified by:
getAlphabet
in interfaceLearningExample<I,OneSEVPA<?,I>>
- Specified by:
getAlphabet
in interfaceLearningExample.OneSEVPALearningExample<I>
-
-