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 classDefaultLearningExample.DefaultDFALearningExample<I>static classDefaultLearningExample.DefaultMealyLearningExample<I,D>static classDefaultLearningExample.DefaultMooreLearningExample<I,D>static classDefaultLearningExample.DefaultSSTLearningExample<I,D> -
Uses of DefaultLearningExample in de.learnlib.example.dfa
Subclasses of DefaultLearningExample in de.learnlib.example.dfa Modifier and Type Class Description classExampleAngluinThis 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''.classExampleKeylockclassExamplePaulAndMaryThis class implements a sad love story - DFA style.classExampleRandomDFAclassExampleTinyDFATiny 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 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)^*. -
Uses of DefaultLearningExample in de.learnlib.example.moore
Subclasses of DefaultLearningExample in de.learnlib.example.moore Modifier and Type Class Description classExampleRandomMoore<I,O> -
Uses of DefaultLearningExample in de.learnlib.example.sst
Subclasses of DefaultLearningExample in de.learnlib.example.sst Modifier and Type Class Description classExampleRandomSST<I,O>
-