Package de.learnlib.example.mealy

Class ExampleCoffeeMachine

java.lang.Object

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

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

de.learnlib.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 class	ExampleCoffeeMachine.Input

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

Field Summary

Fields

Modifier and Type	Field	Description
static String	OUT_COFFEE
static String	OUT_ERROR
static 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.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.example.LearningExample

getAlphabet, getReferenceAutomaton

Field Detail

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 Detail

ExampleCoffeeMachine

public ExampleCoffeeMachine()

Method Detail

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.

Returns:

a Mealy machine representing the coffee machine example

createInputAlphabet

public static Alphabet<ExampleCoffeeMachine.Input> createInputAlphabet()

createExample

public static ExampleCoffeeMachine createExample()