de.learnlib.examples.mealy

Class ExampleShahbazGroz

java.lang.Object

de.learnlib.examples.mealy.ExampleShahbazGroz

public class ExampleShahbazGroz
extends Object

This class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz (see Figure 1).

Author:

Oliver Bauer

Constructor Summary

Constructors

Constructor and Description
ExampleShahbazGroz()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleShahbazGroz

public ExampleShahbazGroz()

Method Detail

getInputAlphabet

public static Alphabet<Character> getInputAlphabet()

getInstance

public static MealyMachine<?,Character,?,String> getInstance()

constructMachine

public static <S,A extends MutableMealyMachine<S,Character,?,String>> A constructMachine(A fm)

Construct and return a machine representation of this example

Returns:

machine instance of the example

constructMachine

public static CompactMealy<Character,String> constructMachine()