Package de.learnlib.example.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> ExampleRandomStateLocalInputMealy<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.ExampleTinyMealy Tiny machine with the language (a1a2)^*. -
Enum Summary Enum Description ExampleCoffeeMachine.Input ExampleStack.Input ExampleStack.Output