Package | Description |
---|---|
de.learnlib.examples.mealy |
Modifier and Type | Method and Description |
---|---|
static <S,T,A extends MutableMealyMachine<S,? super ExampleCoffeeMachine.Input,T,? super String>> |
ExampleCoffeeMachine.constructMachine(A machine)
Construct and return a machine representation of this example
|
Modifier and Type | Method and Description |
---|---|
static ExampleCoffeeMachine.Input |
ExampleCoffeeMachine.Input.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ExampleCoffeeMachine.Input[] |
ExampleCoffeeMachine.Input.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static CompactMealy<ExampleCoffeeMachine.Input,String> |
ExampleCoffeeMachine.constructMachine() |
static Alphabet<ExampleCoffeeMachine.Input> |
ExampleCoffeeMachine.createInputAlphabet() |
Copyright © 2015. All rights reserved.