Package de.learnlib.example.mealy

Class ExampleStack

java.lang.Object

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

de.learnlib.example.DefaultLearningExample.DefaultMealyLearningExample<ExampleStack.Input,ExampleStack.Output>

de.learnlib.example.mealy.ExampleStack

All Implemented Interfaces:

LearningExample<ExampleStack.Input,MealyMachine<?,ExampleStack.Input,?,ExampleStack.Output>>, LearningExample.MealyLearningExample<ExampleStack.Input,ExampleStack.Output>, LearningExample.UniversalDeterministicLearningExample<ExampleStack.Input,MealyMachine<?,ExampleStack.Input,?,ExampleStack.Output>>

public class ExampleStack
extends DefaultLearningExample.DefaultMealyLearningExample<ExampleStack.Input,ExampleStack.Output>

This example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy machine. Outputs are "ok", "empty" and "full".

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExampleStack.Input
static class	ExampleStack.Output

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

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>, DefaultLearningExample.DefaultMooreLearningExample<I,D>, DefaultLearningExample.DefaultOneSEVPALearningExample<I>, DefaultLearningExample.DefaultSBALearningExample<I>, DefaultLearningExample.DefaultSPALearningExample<I>, DefaultLearningExample.DefaultSPMMLearningExample<I,O>, DefaultLearningExample.DefaultSSTLearningExample<I,D>

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

Method Summary

Modifier and Type	Method	Description
static CompactMealy<ExampleStack.Input,ExampleStack.Output>	constructMachine()
static <S,T,A extends MutableMealyMachine<S,? super ExampleStack.Input,T,? super ExampleStack.Output>> A	constructMachine(A fm)	Construct and return a machine representation of this example.
static ExampleStack	createExample()
static Alphabet<ExampleStack.Input>	createInputAlphabet()

Methods inherited from class de.learnlib.example.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.example.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleStack

public ExampleStack()

Method Detail

constructMachine

public static CompactMealy<ExampleStack.Input,ExampleStack.Output> constructMachine()

constructMachine

public static <S,T,A extends MutableMealyMachine<S,? super ExampleStack.Input,T,? super ExampleStack.Output>> A constructMachine(A fm)

Construct and return a machine representation of this example.

Returns:

machine instance of the example

createInputAlphabet

public static Alphabet<ExampleStack.Input> createInputAlphabet()

createExample

public static ExampleStack createExample()