| Package | Description |
|---|---|
| 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 |
| 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 |
Copyright © 2014. All Rights Reserved.