Uses of Interface
de.learnlib.example.LearningExample
-
Packages that use LearningExample 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.sba de.learnlib.example.spa de.learnlib.example.spmm de.learnlib.example.sst de.learnlib.example.vpa -
-
Uses of LearningExample in de.learnlib.example
Subinterfaces of LearningExample in de.learnlib.example Modifier and Type Interface Description static interface
LearningExample.DFALearningExample<I>
static interface
LearningExample.MealyLearningExample<I,O>
static interface
LearningExample.MooreLearningExample<I,O>
static interface
LearningExample.OneSEVPALearningExample<I>
static interface
LearningExample.SBALearningExample<I>
static interface
LearningExample.SPALearningExample<I>
static interface
LearningExample.SPMMLearningExample<I,O>
static interface
LearningExample.SSTLearningExample<I,O>
static interface
LearningExample.StateLocalInputMealyLearningExample<I,O>
ALearningExample
refinement forStateLocalInputMealyMachine
.static interface
LearningExample.UniversalDeterministicLearningExample<I,A extends UniversalAutomaton<?,I,?,?,?>>
Classes in de.learnlib.example that implement LearningExample Modifier and Type Class Description class
DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>>
Alearning example
that directly stores the alphabet and the reference automaton in its fields.static class
DefaultLearningExample.DefaultDFALearningExample<I>
static class
DefaultLearningExample.DefaultMealyLearningExample<I,D>
static class
DefaultLearningExample.DefaultMooreLearningExample<I,D>
static class
DefaultLearningExample.DefaultOneSEVPALearningExample<I>
static class
DefaultLearningExample.DefaultSBALearningExample<I>
static class
DefaultLearningExample.DefaultSPALearningExample<I>
static class
DefaultLearningExample.DefaultSPMMLearningExample<I,O>
static class
DefaultLearningExample.DefaultSSTLearningExample<I,D>
-
Uses of LearningExample in de.learnlib.example.dfa
Classes in de.learnlib.example.dfa that implement LearningExample 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 LearningExample in de.learnlib.example.mealy
Classes in de.learnlib.example.mealy that implement LearningExample 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
ExampleRandomStateLocalInputMealy<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 LearningExample in de.learnlib.example.moore
Classes in de.learnlib.example.moore that implement LearningExample Modifier and Type Class Description class
ExampleRandomMoore<I,O>
-
Uses of LearningExample in de.learnlib.example.sba
Classes in de.learnlib.example.sba that implement LearningExample Modifier and Type Class Description class
ExamplePalindrome
class
ExampleRandomSBA<I>
-
Uses of LearningExample in de.learnlib.example.spa
Classes in de.learnlib.example.spa that implement LearningExample Modifier and Type Class Description class
ExamplePalindrome
class
ExampleRandomSPA<I>
-
Uses of LearningExample in de.learnlib.example.spmm
Classes in de.learnlib.example.spmm that implement LearningExample Modifier and Type Class Description class
ExamplePalindrome
class
ExampleRandomSPMM<I,O>
-
Uses of LearningExample in de.learnlib.example.sst
Classes in de.learnlib.example.sst that implement LearningExample Modifier and Type Class Description class
ExampleRandomSST<I,O>
-
Uses of LearningExample in de.learnlib.example.vpa
Classes in de.learnlib.example.vpa that implement LearningExample Modifier and Type Class Description class
ExampleRandomOneSEVPA<I>
-