de.learnlib.examples.mealy

Class ExampleStack

java.lang.Object

de.learnlib.examples.mealy.ExampleStack

public class ExampleStack
extends Object

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".

Author:

Maik Merten

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor and Description
ExampleStack()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleStack

public ExampleStack()

Method Detail

getInputAlphabet

public static Alphabet<ExampleStack.Input> getInputAlphabet()

getInstance

public static MealyMachine<?,ExampleStack.Input,?,ExampleStack.Output> getInstance()

constructMachine

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

Construct and return a machine representation of this example

Returns:

machine instance of the example

constructMachine

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