Uses of Interface
de.learnlib.example.LearningExample.MealyLearningExample
-
Packages that use LearningExample.MealyLearningExample Package Description de.learnlib.example This package (including sub-packages) contains example models of various types used in integration-tests.de.learnlib.example.mealy -
-
Uses of LearningExample.MealyLearningExample in de.learnlib.example
Classes in de.learnlib.example that implement LearningExample.MealyLearningExample Modifier and Type Class Description static class
DefaultLearningExample.DefaultMealyLearningExample<I,D>
Methods in de.learnlib.example that return types with arguments of type LearningExample.MealyLearningExample Modifier and Type Method Description static List<LearningExample.MealyLearningExample<?,?>>
LearningExamples. createMealyExamples()
-
Uses of LearningExample.MealyLearningExample in de.learnlib.example.mealy
Classes in de.learnlib.example.mealy that implement LearningExample.MealyLearningExample Modifier and Type Class 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.class
ExampleTinyMealy
Tiny machine with the language (a1a2)^*.
-