Package | Description |
---|---|
de.learnlib.examples | |
de.learnlib.examples.dfa |
Modifier and Type | Class and Description |
---|---|
static class |
DefaultLearningExample.DefaultDFALearningExample<I> |
Modifier and Type | Method and Description |
---|---|
static List<LearningExample.DFALearningExample<?>> |
LearningExamples.createDFAExamples() |
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 |
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() |
Copyright © 2018. All rights reserved.