- ExampleAngluin - Class in de.learnlib.examples.dfa
-
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.''
- ExampleAngluin() - Constructor for class de.learnlib.examples.dfa.ExampleAngluin
-
- ExampleCoffeeMachine - Class in de.learnlib.examples.mealy
-
This example represents the Coffee Machine example from
Steffen et al.
- ExampleCoffeeMachine() - Constructor for class de.learnlib.examples.mealy.ExampleCoffeeMachine
-
- ExampleGrid - Class in de.learnlib.examples.mealy
-
This class generates a Mealy machine consisting of a two-dimensional grid of
states.
- ExampleGrid() - Constructor for class de.learnlib.examples.mealy.ExampleGrid
-
- ExamplePaulAndMary - Class in de.learnlib.examples.dfa
-
This class implements a sad love story - DFA style.
- ExamplePaulAndMary() - Constructor for class de.learnlib.examples.dfa.ExamplePaulAndMary
-
- ExampleShahbazGroz - Class in de.learnlib.examples.mealy
-
This class provides the example used in the paper ''Inferring Mealy Machines''
by Muzammil Shahbaz and Roland Groz (see Figure 1).
- ExampleShahbazGroz() - Constructor for class de.learnlib.examples.mealy.ExampleShahbazGroz
-
- ExampleStack - Class in de.learnlib.examples.mealy
-
This example encodes a small stack with a capacity of three elements
and "push" and "pop" operations as Mealy machine.
- ExampleStack() - Constructor for class de.learnlib.examples.mealy.ExampleStack
-