| Package | Description |
|---|---|
| de.learnlib.examples | |
| de.learnlib.examples.mealy |
| Modifier and Type | Class and Description |
|---|---|
static class |
DefaultLearningExample.DefaultMealyLearningExample<I,D> |
| Modifier and Type | Method and Description |
|---|---|
static List<LearningExample.MealyLearningExample<?,?>> |
LearningExamples.createMealyExamples() |
| Modifier and Type | Class and Description |
|---|---|
class |
ExampleCoffeeMachine
This example represents the Coffee Machine example from Steffen et al.
|
class |
ExampleGrid
This class generates a Mealy machine consisting of a two-dimensional grid of states.
|
class |
ExampleRandomMealy<I,O> |
class |
ExampleShahbazGroz
This class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz
(see Figure 1).
|
class |
ExampleStack
This example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy
machine.
|
Copyright © 2018. All rights reserved.