Uses of Package
de.learnlib.examples.mealy

Packages that use de.learnlib.examples.mealy

Package	Description
de.learnlib.examples.mealy

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

Class and 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)^*.