Module de.learnlib.testsupport.example

Package de.learnlib.testsupport.example.mealy

Class ExampleCoffeeMachine

java.lang.Object

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

de.learnlib.testsupport.example.DefaultLearningExample.DefaultMealyLearningExample<ExampleCoffeeMachine.Input,String>

de.learnlib.testsupport.example.mealy.ExampleCoffeeMachine

All Implemented Interfaces:

LearningExample<ExampleCoffeeMachine.Input,MealyMachine<?,ExampleCoffeeMachine.Input,?,String>>, LearningExample.MealyLearningExample<ExampleCoffeeMachine.Input,String>, LearningExample.UniversalDeterministicLearningExample<ExampleCoffeeMachine.Input,MealyMachine<?,ExampleCoffeeMachine.Input,?,String>>

public class ExampleCoffeeMachine
extends DefaultLearningExample.DefaultMealyLearningExample<ExampleCoffeeMachine.Input,String>

This example represents the Coffee Machine example from Steffen et al. "Introduction to Active Automata Learning from a Practical Perspective" (Figure 3)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ExampleCoffeeMachine.Input

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,?,?,?>>

Field Summary

Fields

Modifier and Type	Field	Description
static final String	OUT_COFFEE
static final String	OUT_ERROR
static final String	OUT_OK

Constructor Summary

Constructors

Constructor	Description
ExampleCoffeeMachine()

Method Summary

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

Field Details

OUT_OK

public static final String OUT_OK

See Also:

• Constant Field Values

OUT_ERROR

public static final String OUT_ERROR

See Also:

• Constant Field Values

OUT_COFFEE

public static final String OUT_COFFEE

See Also:

• Constant Field Values

Constructor Details

ExampleCoffeeMachine

public ExampleCoffeeMachine()

Method Details

constructMachine

public static CompactMealy<ExampleCoffeeMachine.Input,String> constructMachine()

constructMachine

public static <S,
T,
A extends MutableMealyMachine<S,
? super ExampleCoffeeMachine.Input,
T,
? super String>>
A constructMachine(A machine)

Construct and return a machine representation of this example.

Type Parameters:

S - state type

T - transition type

A - automaton type

Parameters:

machine - the output object to write the contents to

Returns:

a Mealy machine representing the coffee machine example

createInputAlphabet

public static Alphabet<ExampleCoffeeMachine.Input> createInputAlphabet()

createExample

public static ExampleCoffeeMachine createExample()