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>	A LearningExample refinement for StateLocalInputMealyMachine.
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>>	A learning 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>