Package de.learnlib.example

Class DefaultLearningExample.DefaultSPALearningExample<I>

java.lang.Object

de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample<I>

All Implemented Interfaces:

LearningExample<I,SPA<?,I>>, LearningExample.SPALearningExample<I>

Direct Known Subclasses:

ExamplePalindrome, ExampleRandomSPA

Enclosing class:

DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>>

public static class DefaultLearningExample.DefaultSPALearningExample<I>
extends Object
implements LearningExample.SPALearningExample<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
DefaultSPALearningExample(SPA<?,I> referenceAutomaton)

Method Summary

Modifier and Type	Method	Description
ProceduralInputAlphabet<I>	getAlphabet()
SPA<?,I>	getReferenceAutomaton()

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultSPALearningExample

public DefaultSPALearningExample(SPA<?,I> referenceAutomaton)

Method Detail

getReferenceAutomaton

public SPA<?,I> getReferenceAutomaton()

Specified by:

getReferenceAutomaton in interface LearningExample<I,SPA<?,I>>

getAlphabet

public ProceduralInputAlphabet<I> getAlphabet()

Specified by:

getAlphabet in interface LearningExample<I,SPA<?,I>>

Specified by:

getAlphabet in interface LearningExample.SPALearningExample<I>