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 classDefaultLearningExample.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 classExampleCoffeeMachineThis example represents the Coffee Machine example from Steffen et al.classExampleGridThis class generates a Mealy machine consisting of a two-dimensional grid of states.classExampleRandomMealy<I,O>classExampleShahbazGrozThis class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz (see Figure 1).classExampleStackThis example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy machine.classExampleTinyMealyTiny machine with the language (a1a2)^*.
-