Uses of Class de.learnlib.example.mealy.ExampleCoffeeMachine.Input (LearnLib 0.17.0 API)

Packages that use ExampleCoffeeMachine.Input
Package	Description
de.learnlib.example.mealy
de.learnlib.testsupport	This package (including sub-packages) contains utility code for formalizing test-cases.

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

Methods in de.learnlib.example.mealy with type parameters of type ExampleCoffeeMachine.Input
Modifier and Type	Method	Description
`static <S,T,A extends MutableMealyMachine<S,? super ExampleCoffeeMachine.Input,T,? super String>> A`	ExampleCoffeeMachine.`constructMachine(A machine)`	Construct and return a machine representation of this example.

Methods in de.learnlib.example.mealy that return ExampleCoffeeMachine.Input
Modifier and Type	Method	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.example.mealy that return types with arguments of type ExampleCoffeeMachine.Input
Modifier and Type	Method	Description
`static CompactMealy<ExampleCoffeeMachine.Input,String>`	ExampleCoffeeMachine.`constructMachine()`
`static Alphabet<ExampleCoffeeMachine.Input>`	ExampleCoffeeMachine.`createInputAlphabet()`

Uses of ExampleCoffeeMachine.Input in de.learnlib.testsupport

Classes in de.learnlib.testsupport with type parameters of type ExampleCoffeeMachine.Input
Modifier and Type	Class	Description
`class`	`AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>>`	Abstract class for tests that check the visualization of hypotheses or other internal data structure.
`class`	`AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>>`	Abstract class for tests that check the visualization of hypotheses or other internal data structure.

Method parameters in de.learnlib.testsupport with type arguments of type ExampleCoffeeMachine.Input
Modifier and Type	Method	Description
`protected abstract L`	AbstractVisualizationTest.`getLearnerBuilder(Alphabet<ExampleCoffeeMachine.Input> alphabet, SUL<ExampleCoffeeMachine.Input,String> sul)`
`protected abstract L`	AbstractVisualizationTest.`getLearnerBuilder(Alphabet<ExampleCoffeeMachine.Input> alphabet, SUL<ExampleCoffeeMachine.Input,String> sul)`