de.learnlib.examples.mealy

Class ExampleTinyMealy

java.lang.Object

de.learnlib.examples.DefaultLearningExample<I,Word<D>,MealyMachine<?,I,?,D>>

de.learnlib.examples.DefaultLearningExample.DefaultMealyLearningExample<Character,Character>

de.learnlib.examples.mealy.ExampleTinyMealy

All Implemented Interfaces:

LearningExample<Character,MealyMachine<?,Character,?,Character>>, LearningExample.MealyLearningExample<Character,Character>

public class ExampleTinyMealy
extends DefaultLearningExample.DefaultMealyLearningExample<Character,Character>

Tiny machine with the language (a1a2)^*.

Author:

Jeroen Meijer

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.examples.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>

Nested classes/interfaces inherited from interface de.learnlib.examples.LearningExample

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>, LearningExample.StateLocalInputMealyLearningExample<I,O>

Constructor Summary

Constructors

Constructor and Description
ExampleTinyMealy()

Method Summary

Modifier and Type	Method and Description
static CompactMealy<Character,Character>	constructMachine() Construct and return a machine representation of this example.
static ExampleTinyMealy	createExample()

Methods inherited from class de.learnlib.examples.DefaultLearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.examples.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleTinyMealy

public ExampleTinyMealy()

Method Detail

constructMachine

public static CompactMealy<Character,Character> constructMachine()

Construct and return a machine representation of this example.

Returns:

machine instance of the example

createExample

public static ExampleTinyMealy createExample()