Uses of Class
de.learnlib.example.DefaultLearningExample.DefaultDFALearningExample
-
Packages that use DefaultLearningExample.DefaultDFALearningExample Package Description de.learnlib.example.dfa -
-
Uses of DefaultLearningExample.DefaultDFALearningExample in de.learnlib.example.dfa
Subclasses of DefaultLearningExample.DefaultDFALearningExample in de.learnlib.example.dfa 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)*.
-