de.learnlib.examples.mealy

Class ExampleCoffeeMachine

java.lang.Object

de.learnlib.examples.mealy.ExampleCoffeeMachine

public class ExampleCoffeeMachine
extends Object

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

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

Methods

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

Methods inherited from class java.lang.Object

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

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

getInputAlphabet

public static Alphabet<ExampleCoffeeMachine.Input> getInputAlphabet()

getInstance

public static MealyMachine<?,ExampleCoffeeMachine.Input,?,String> getInstance()

constructMachine

public static <S,A extends MutableMealyMachine<S,ExampleCoffeeMachine.Input,?,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()