Uses of Interface
de.learnlib.example.LearningExample.DFALearningExample
-
Packages that use LearningExample.DFALearningExample Package Description de.learnlib.example This package (including sub-packages) contains example models of various types used in integration-tests.de.learnlib.example.dfa -
-
Uses of LearningExample.DFALearningExample in de.learnlib.example
Classes in de.learnlib.example that implement LearningExample.DFALearningExample Modifier and Type Class Description static class
DefaultLearningExample.DefaultDFALearningExample<I>
Methods in de.learnlib.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.example.dfa
Classes in de.learnlib.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.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()
-