Package de.learnlib.examples.mealy

Class Summary

Class	Description
ExampleCoffeeMachine	This example represents the Coffee Machine example from Steffen et al.
ExampleGrid	This class generates a Mealy machine consisting of a two-dimensional grid of states.
ExampleRandomMealy<I,O>
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.

Enum Summary

Enum	Description
ExampleCoffeeMachine.Input
ExampleStack.Input
ExampleStack.Output