Uses of Interface
de.learnlib.examples.LearningExample

Packages that use LearningExample

Package	Description
de.learnlib.examples
de.learnlib.examples.dfa
de.learnlib.examples.mealy

Uses of LearningExample in de.learnlib.examples

Subinterfaces of LearningExample in de.learnlib.examples

Modifier and Type	Interface and Description
static interface	LearningExample.DFALearningExample<I>
static interface	LearningExample.MealyLearningExample<I,O>

Classes in de.learnlib.examples that implement LearningExample

Modifier and Type	Class and Description
class	DefaultLearningExample<I,O,A extends net.automatalib.automata.UniversalAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,O>> 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,O>

Uses of LearningExample in de.learnlib.examples.dfa

Classes in de.learnlib.examples.dfa that implement LearningExample

Modifier and Type	Class and 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.

Uses of LearningExample in de.learnlib.examples.mealy

Classes in de.learnlib.examples.mealy that implement LearningExample

Modifier and Type	Class and 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.