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

Packages that use LearningExample.DFALearningExample

Package	Description
de.learnlib.testsupport.example
de.learnlib.testsupport.example.dfa

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

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

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

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

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

Uses of LearningExample.DFALearningExample in de.learnlib.testsupport.example.dfa

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

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)*.

Methods in de.learnlib.testsupport.example.dfa that return LearningExample.DFALearningExample

Modifier and Type	Method	Description
static @Nullable 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()