Package | Description |
---|---|
de.learnlib.examples.mealy |
Modifier and Type | Method and Description |
---|---|
static <S,T,A extends net.automatalib.automata.transout.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 net.automatalib.automata.transout.impl.compact.CompactMealy<ExampleCoffeeMachine.Input,String> |
ExampleCoffeeMachine.constructMachine() |
static net.automatalib.words.Alphabet<ExampleCoffeeMachine.Input> |
ExampleCoffeeMachine.createInputAlphabet() |
Copyright © 2018. All rights reserved.