Uses of Class
de.learnlib.examples.mealy.ExampleCoffeeMachine.Input

Packages that use ExampleCoffeeMachine.Input

Package	Description
de.learnlib.examples.mealy

Uses of ExampleCoffeeMachine.Input in de.learnlib.examples.mealy

Methods in de.learnlib.examples.mealy with type parameters of type ExampleCoffeeMachine.Input

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

Methods in de.learnlib.examples.mealy that return ExampleCoffeeMachine.Input

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.

Methods in de.learnlib.examples.mealy that return types with arguments of type ExampleCoffeeMachine.Input

Modifier and Type	Method and Description
static CompactMealy<ExampleCoffeeMachine.Input,String>	ExampleCoffeeMachine.constructMachine()
static Alphabet<ExampleCoffeeMachine.Input>	ExampleCoffeeMachine.getInputAlphabet()
static MealyMachine<?,ExampleCoffeeMachine.Input,?,String>	ExampleCoffeeMachine.getInstance()