Uses of Interface
de.learnlib.testsupport.example.LearningExample.UniversalDeterministicLearningExample

Packages that use LearningExample.UniversalDeterministicLearningExample

Package	Description
de.learnlib.testsupport.example
de.learnlib.testsupport.example.dfa
de.learnlib.testsupport.example.mealy
de.learnlib.testsupport.example.moore
de.learnlib.testsupport.example.sst

Uses of LearningExample.UniversalDeterministicLearningExample in de.learnlib.testsupport.example

Subinterfaces of LearningExample.UniversalDeterministicLearningExample in de.learnlib.testsupport.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.SSTLearningExample<I,O>
static interface	LearningExample.StateLocalInputMealyLearningExample<I,O>	A LearningExample refinement for StateLocalInputMealyMachine.

Classes in de.learnlib.testsupport.example that implement LearningExample.UniversalDeterministicLearningExample

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 LearningExample.UniversalDeterministicLearningExample in de.learnlib.testsupport.example.dfa

Classes in de.learnlib.testsupport.example.dfa that implement LearningExample.UniversalDeterministicLearningExample

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.UniversalDeterministicLearningExample in de.learnlib.testsupport.example.mealy

Classes in de.learnlib.testsupport.example.mealy that implement LearningExample.UniversalDeterministicLearningExample

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.UniversalDeterministicLearningExample in de.learnlib.testsupport.example.moore

Classes in de.learnlib.testsupport.example.moore that implement LearningExample.UniversalDeterministicLearningExample

Modifier and Type	Class	Description
class	ExampleRandomMoore<I,O>

Uses of LearningExample.UniversalDeterministicLearningExample in de.learnlib.testsupport.example.sst

Classes in de.learnlib.testsupport.example.sst that implement LearningExample.UniversalDeterministicLearningExample

Modifier and Type	Class	Description
class	ExampleRandomSST<I,O>