Uses of Interface
de.learnlib.examples.LearningExample.DFALearningExample

Packages that use LearningExample.DFALearningExample

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

Uses of LearningExample.DFALearningExample in de.learnlib.examples

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

Modifier and Type	Class and Description
static class	DefaultLearningExample.DefaultDFALearningExample<I>

Methods in de.learnlib.examples that return types with arguments of type LearningExample.DFALearningExample

Modifier and Type	Method and Description
static List<? extends LearningExample.DFALearningExample<?>>	LearningExamples.createDFAExamples()

Uses of LearningExample.DFALearningExample in de.learnlib.examples.dfa

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

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.
class	ExampleRandomDFA

Methods in de.learnlib.examples.dfa that return LearningExample.DFALearningExample

Modifier and Type	Method and Description
static LearningExample.DFALearningExample<Integer>	DFABenchmarks.loadLearnLibV2Benchmark(String name)
static LearningExample.DFALearningExample<Integer>	DFABenchmarks.loadPeterson2()
static LearningExample.DFALearningExample<Integer>	DFABenchmarks.loadPeterson3()
static LearningExample.DFALearningExample<Integer>	DFABenchmarks.loadPots2()
static LearningExample.DFALearningExample<Integer>	DFABenchmarks.loadPots3()