Package de.learnlib.testsupport.example.mealy

Class ExampleGrid

java.lang.Object

de.learnlib.testsupport.example.DefaultLearningExample<I,net.automatalib.word.Word<D>,net.automatalib.automaton.transducer.MealyMachine<?,I,?,D>>

de.learnlib.testsupport.example.DefaultLearningExample.DefaultMealyLearningExample<Character,Integer>

de.learnlib.testsupport.example.mealy.ExampleGrid

All Implemented Interfaces:

LearningExample<Character,net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Integer>>, LearningExample.MealyLearningExample<Character,Integer>, LearningExample.UniversalDeterministicLearningExample<Character,net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Integer>>

public class ExampleGrid
extends DefaultLearningExample.DefaultMealyLearningExample<Character,Integer>

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

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.testsupport.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.testsupport.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 net.automatalib.automaton.UniversalAutomaton<?,I,?,?,?>>

Constructor Summary

Constructors

Constructor	Description
ExampleGrid(int xsize, int ysize)

Method Summary

Modifier and Type	Method	Description
static net.automatalib.automaton.transducer.impl.CompactMealy<Character,Integer>	constructMachine(int xsize, int ysize)
static <S,A extends net.automatalib.automaton.transducer.MutableMealyMachine<S,Character,?,Integer>> A	constructMachine(A fm, int xsize, int ysize)	Construct and return a machine representation of this example.
static ExampleGrid	createExample(int xsize, int ysize)
static net.automatalib.alphabet.Alphabet<Character>	createInputAlphabet()

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

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleGrid

public ExampleGrid(int xsize,
                   int ysize)

Method Detail

constructMachine

public static net.automatalib.automaton.transducer.impl.CompactMealy<Character,Integer> constructMachine(int xsize,
                                                                                                               int ysize)

constructMachine

public static <S,A extends net.automatalib.automaton.transducer.MutableMealyMachine<S,Character,?,Integer>> A constructMachine(A fm,
                                                                                                                                                       int xsize,
                                                                                                                                                       int ysize)

Construct and return a machine representation of this example.

Type Parameters:

S - state type

A - automaton type

Parameters:

fm - the output object to write the contents to

xsize - number of states in x direction

ysize - number of states in y direction

Returns:

a Mealy machine with (xsize * ysize) states

createInputAlphabet

public static net.automatalib.alphabet.Alphabet<Character> createInputAlphabet()

createExample

public static ExampleGrid createExample(int xsize,
                                        int ysize)