Module de.learnlib.testsupport.example

Package de.learnlib.testsupport.example.mealy

Class ExampleShahbazGroz

java.lang.Object

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

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

de.learnlib.testsupport.example.mealy.ExampleShahbazGroz

All Implemented Interfaces:

LearningExample<Character,MealyMachine<?,Character,?,String>>, LearningExample.MealyLearningExample<Character,String>, LearningExample.UniversalDeterministicLearningExample<Character,MealyMachine<?,Character,?,String>>

public class ExampleShahbazGroz
extends DefaultLearningExample.DefaultMealyLearningExample<Character,String>

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

Nested Class Summary

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

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>, DefaultLearningExample.DefaultMMLTLearningExample<I,O>, 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.MMLTLearningExample<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
ExampleShahbazGroz()

Method Summary

Modifier and Type	Method	Description
static CompactMealy<Character,String>	constructMachine()
static <S, T, A extends MutableMealyMachine<S, ? super Character, T, ? super String>> A	constructMachine(A fm)	Construct and return a machine representation of this example.
static ExampleShahbazGroz	createExample()
static 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 Details

ExampleShahbazGroz

public ExampleShahbazGroz()

Method Details

constructMachine

public static CompactMealy<Character,String> constructMachine()

constructMachine

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

Construct and return a machine representation of this example.

Type Parameters:

S - state type

T - transition type

A - automaton type

Parameters:

fm - the output object to write the contents to

Returns:

machine instance of the example

createInputAlphabet

public static Alphabet<Character> createInputAlphabet()

createExample

public static ExampleShahbazGroz createExample()