Package | Description |
---|---|
de.learnlib.examples | |
de.learnlib.examples.dfa | |
de.learnlib.examples.mealy | |
de.learnlib.testsupport.it.learner |
Modifier and Type | Interface and Description |
---|---|
static interface |
LearningExample.DFALearningExample<I> |
static interface |
LearningExample.MealyLearningExample<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
DefaultLearningExample<I,D,A extends net.automatalib.automata.UniversalAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,D>>
A
learning example that directly stores the alphabet and the reference automaton in its
fields. |
static class |
DefaultLearningExample.DefaultDFALearningExample<I> |
static class |
DefaultLearningExample.DefaultMealyLearningExample<I,D> |
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 | Class and Description |
---|---|
class |
ExampleCoffeeMachine
This example represents the Coffee Machine example from Steffen et al.
|
class |
ExampleGrid
This class generates a Mealy machine consisting of a two-dimensional grid of states.
|
class |
ExampleRandomMealy<I,O> |
class |
ExampleShahbazGroz
This class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz
(see Figure 1).
|
class |
ExampleStack
This example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy
machine.
|
Modifier and Type | Method and Description |
---|---|
protected <I,D,A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,D>> |
AbstractLearnerIT.createExampleITCases(LearningExample<I,D,A> example,
de.learnlib.testsupport.it.learner.LearnerVariantListImpl<A,I,D> variants)
Creates a list of per-example test cases for all learner variants.
|
Copyright © 2018. All rights reserved.