de.learnlib.examples.mealy

Class ExampleCoffeeMachine

java.lang.Object

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

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

de.learnlib.examples.mealy.ExampleCoffeeMachine

All Implemented Interfaces:

LearningExample<ExampleCoffeeMachine.Input,Word<String>,MealyMachine<?,ExampleCoffeeMachine.Input,?,String>>, LearningExample.MealyLearningExample<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)

Author:

Maik Merten

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExampleCoffeeMachine.Input

Nested classes/interfaces inherited from class de.learnlib.examples.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>

Nested classes/interfaces inherited from interface de.learnlib.examples.LearningExample

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>

Field Summary

Fields

Modifier and Type	Field and Description
static String	out_coffee
static String	out_error
static String	out_ok

Constructor Summary

Constructors

Constructor and Description
ExampleCoffeeMachine()

Method Summary

Modifier and Type	Method and 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.examples.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.examples.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

createInputAlphabet

public static Alphabet<ExampleCoffeeMachine.Input> createInputAlphabet()

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

constructMachine

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

createExample

public static ExampleCoffeeMachine createExample()