Uses of Package
de.learnlib.example.mealy

Packages that use de.learnlib.example.mealy

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

Classes in de.learnlib.example.mealy used by de.learnlib.example.mealy

Class	Description
ExampleCoffeeMachine	This example represents the Coffee Machine example from Steffen et al.
ExampleCoffeeMachine.Input
ExampleGrid	This class generates a Mealy machine consisting of a two-dimensional grid of states.
ExampleRandomMealy
ExampleRandomStateLocalInputMealy
ExampleShahbazGroz	This class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz (see Figure 1).
ExampleStack	This example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy machine.
ExampleStack.Input
ExampleStack.Output
ExampleTinyMealy	Tiny machine with the language (a1a2)^*.

Classes in de.learnlib.example.mealy used by de.learnlib.testsupport

Class	Description
ExampleCoffeeMachine.Input