Package de.learnlib.example.spa

Class ExamplePalindrome

java.lang.Object

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

de.learnlib.example.spa.ExamplePalindrome

All Implemented Interfaces:

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

public class ExamplePalindrome
extends DefaultLearningExample.DefaultSPALearningExample<Character>

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
ExamplePalindrome()

Method Summary

Modifier and Type	Method	Description
static ExamplePalindrome	createExample()

Methods inherited from class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Constructor Detail

ExamplePalindrome

public ExamplePalindrome()

Method Detail

createExample

public static ExamplePalindrome createExample()