Uses of Class
de.learnlib.example.DefaultLearningExample
-
Packages that use DefaultLearningExample Package Description de.learnlib.example This package (including sub-packages) contains example models of various types used in integration-tests.de.learnlib.example.dfa de.learnlib.example.mealy de.learnlib.example.moore de.learnlib.example.sst -
-
Uses of DefaultLearningExample in de.learnlib.example
Subclasses of DefaultLearningExample in de.learnlib.example Modifier and Type Class Description static class
DefaultLearningExample.DefaultDFALearningExample<I>
static class
DefaultLearningExample.DefaultMealyLearningExample<I,D>
static class
DefaultLearningExample.DefaultMooreLearningExample<I,D>
static class
DefaultLearningExample.DefaultSSTLearningExample<I,D>
-
Uses of DefaultLearningExample in de.learnlib.example.dfa
Subclasses of DefaultLearningExample in de.learnlib.example.dfa Modifier and Type Class Description class
ExampleAngluin
This class provides the example used in the paper ''Learning Regular Sets from Queries and Counterexamples'' by Dana Angluin that consists of an automaton that accepts ''all strings over {0,1} with an even number of 0's and an even number of 1's''.class
ExampleKeylock
class
ExamplePaulAndMary
This class implements a sad love story - DFA style.class
ExampleRandomDFA
class
ExampleTinyDFA
Tiny DFA with language (ab)*. -
Uses of DefaultLearningExample in de.learnlib.example.mealy
Subclasses of DefaultLearningExample in de.learnlib.example.mealy 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)^*. -
Uses of DefaultLearningExample in de.learnlib.example.moore
Subclasses of DefaultLearningExample in de.learnlib.example.moore Modifier and Type Class Description class
ExampleRandomMoore<I,O>
-
Uses of DefaultLearningExample in de.learnlib.example.sst
Subclasses of DefaultLearningExample in de.learnlib.example.sst Modifier and Type Class Description class
ExampleRandomSST<I,O>
-