public class ExampleCoffeeMachine extends Object
Modifier and Type | Class and Description |
---|---|
static class |
ExampleCoffeeMachine.Input |
Modifier and Type | Field and Description |
---|---|
static String |
out_coffee |
static String |
out_error |
static String |
out_ok |
Constructor and Description |
---|
ExampleCoffeeMachine() |
Modifier and Type | Method and Description |
---|---|
static CompactMealy<ExampleCoffeeMachine.Input,String> |
constructMachine() |
static <S,A extends MutableMealyMachine<S,ExampleCoffeeMachine.Input,?,String>> |
constructMachine(A machine)
Construct and return a machine representation of this example
|
static Alphabet<ExampleCoffeeMachine.Input> |
getInputAlphabet() |
static MealyMachine<?,ExampleCoffeeMachine.Input,?,String> |
getInstance() |
public static final String out_ok
public static final String out_error
public static final String out_coffee
public ExampleCoffeeMachine()
public static Alphabet<ExampleCoffeeMachine.Input> getInputAlphabet()
public static MealyMachine<?,ExampleCoffeeMachine.Input,?,String> getInstance()
public static <S,A extends MutableMealyMachine<S,ExampleCoffeeMachine.Input,?,String>> A constructMachine(A machine)
public static CompactMealy<ExampleCoffeeMachine.Input,String> constructMachine()
Copyright © 2014. All Rights Reserved.