Package de.learnlib.example

Class DefaultLearningExample.DefaultSBALearningExample<I>

java.lang.Object

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

All Implemented Interfaces:

LearningExample<I,SBA<?,I>>, LearningExample.SBALearningExample<I>

Direct Known Subclasses:

ExamplePalindrome, ExampleRandomSBA

Enclosing class:

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

public static class DefaultLearningExample.DefaultSBALearningExample<I>
extends Object
implements LearningExample.SBALearningExample<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
DefaultSBALearningExample(SBA<?,I> referenceAutomaton)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultSBALearningExample

public DefaultSBALearningExample(SBA<?,I> referenceAutomaton)

Method Detail

getReferenceAutomaton

public SBA<?,I> getReferenceAutomaton()

Specified by:

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

getAlphabet

public ProceduralInputAlphabet<I> getAlphabet()

Specified by:

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

Specified by:

getAlphabet in interface LearningExample.SBALearningExample<I>