de.learnlib.examples.mealy

Class ExampleGrid

java.lang.Object

de.learnlib.examples.mealy.ExampleGrid

public class ExampleGrid
extends Object

This class generates a Mealy machine consisting of a two-dimensional grid of states. Each transition has unique output.

Author:

Maik Merten

Constructor Summary

Constructors

Constructor and Description
ExampleGrid()

Method Summary

Methods

Modifier and Type	Method and Description
static <S,A extends MutableMealyMachine<S,Character,?,Integer>> A	constructMachine(A fm, int xsize, int ysize) Construct and return a machine representation of this example
static CompactMealy<Character,Integer>	constructMachine(int xsize, int ysize)
static Alphabet<Character>	getInputAlphabet()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleGrid

public ExampleGrid()

Method Detail

getInputAlphabet

public static Alphabet<Character> getInputAlphabet()

constructMachine

public static <S,A extends MutableMealyMachine<S,Character,?,Integer>> A constructMachine(A fm,
                                                                          int xsize,
                                                                          int ysize)

Construct and return a machine representation of this example

Parameters:

xsize - number of states in x direction

ysize - number of states in y direction

Returns:

a Mealy machine with (xsize * ysize) states

constructMachine

public static CompactMealy<Character,Integer> constructMachine(int xsize,
                                               int ysize)