C D E G I L O T V

C

constructMachine(A) - Static method in class de.learnlib.examples.dfa.ExampleAngluin

constructMachine() - Static method in class de.learnlib.examples.dfa.ExampleAngluin

constructMachine() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary

Construct and return a machine representation of this example

constructMachine(A) - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary

constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine

Construct and return a machine representation of this example

constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine

constructMachine(A, int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid

Construct and return a machine representation of this example

constructMachine(int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid

constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz

Construct and return a machine representation of this example

constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz

constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleStack

Construct and return a machine representation of this example

constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleStack

createDFA(int, boolean, int) - Static method in class de.learnlib.examples.dfa.ExampleKeylock

createDFAExamples() - Static method in class de.learnlib.examples.LearningExamples

createExample() - Static method in class de.learnlib.examples.dfa.ExampleAngluin

createExample(int, boolean) - Static method in class de.learnlib.examples.dfa.ExampleKeylock

createExample(int, boolean, int) - Static method in class de.learnlib.examples.dfa.ExampleKeylock

createExample() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary

createExample() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine

createExample(int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid

createExample(Random, Alphabet<I>, int, O...) - Static method in class de.learnlib.examples.mealy.ExampleRandomMealy

createExample() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz

createExample() - Static method in class de.learnlib.examples.mealy.ExampleStack

createInputAlphabet() - Static method in class de.learnlib.examples.dfa.ExampleAngluin

createInputAlphabet() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary

createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine

createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleGrid

createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz

createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleStack

createMealyExamples() - Static method in class de.learnlib.examples.LearningExamples

D

de.learnlib.examples - package de.learnlib.examples

de.learnlib.examples.dfa - package de.learnlib.examples.dfa

de.learnlib.examples.mealy - package de.learnlib.examples.mealy

DefaultLearningExample<I,O,A extends net.automatalib.automata.UniversalAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,O>> - Class in de.learnlib.examples

A learning example that directly stores the alphabet and the reference automaton in its fields.

DefaultLearningExample(Alphabet<I>, A) - Constructor for class de.learnlib.examples.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I> - Class in de.learnlib.examples

DefaultLearningExample.DefaultDFALearningExample(Alphabet<I>, DFA<?, I>) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultDFALearningExample

DefaultLearningExample.DefaultDFALearningExample(A) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultDFALearningExample

DefaultLearningExample.DefaultMealyLearningExample<I,O> - Class in de.learnlib.examples

DefaultLearningExample.DefaultMealyLearningExample(Alphabet<I>, MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultMealyLearningExample

DefaultLearningExample.DefaultMealyLearningExample(A) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultMealyLearningExample

E

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

ExampleCoffeeMachine.Input - Enum in de.learnlib.examples.mealy

ExampleGrid - Class in de.learnlib.examples.mealy

This class generates a Mealy machine consisting of a two-dimensional grid of states.

ExampleGrid(int, int) - Constructor for class de.learnlib.examples.mealy.ExampleGrid

ExampleKeylock - Class in de.learnlib.examples.dfa

ExampleKeylock(int, boolean, int) - Constructor for class de.learnlib.examples.dfa.ExampleKeylock

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

ExampleRandomMealy<I,O> - Class in de.learnlib.examples.mealy

ExampleRandomMealy(Random, Alphabet<I>, int, O...) - Constructor for class de.learnlib.examples.mealy.ExampleRandomMealy

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

ExampleStack.Input - Enum in de.learnlib.examples.mealy

ExampleStack.Output - Enum in de.learnlib.examples.mealy

G

getAlphabet() - Method in class de.learnlib.examples.DefaultLearningExample

getAlphabet() - Method in interface de.learnlib.examples.LearningExample

getReferenceAutomaton() - Method in class de.learnlib.examples.DefaultLearningExample

getReferenceAutomaton() - Method in interface de.learnlib.examples.LearningExample

I

IN_LOVES - Static variable in class de.learnlib.examples.dfa.ExamplePaulAndMary

IN_MARY - Static variable in class de.learnlib.examples.dfa.ExamplePaulAndMary

IN_PAUL - Static variable in class de.learnlib.examples.dfa.ExamplePaulAndMary

L

LearningExample<I,O,A extends net.automatalib.automata.UniversalAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,O>> - Interface in de.learnlib.examples

LearningExample.DFALearningExample<I> - Interface in de.learnlib.examples

LearningExample.MealyLearningExample<I,O> - Interface in de.learnlib.examples

LearningExamples - Class in de.learnlib.examples

O

out_coffee - Static variable in class de.learnlib.examples.mealy.ExampleCoffeeMachine

out_error - Static variable in class de.learnlib.examples.mealy.ExampleCoffeeMachine

out_ok - Static variable in class de.learnlib.examples.mealy.ExampleCoffeeMachine

T

toString() - Method in class de.learnlib.examples.dfa.ExampleKeylock

V

valueOf(String) - Static method in enum de.learnlib.examples.mealy.ExampleCoffeeMachine.Input

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum de.learnlib.examples.mealy.ExampleStack.Input

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum de.learnlib.examples.mealy.ExampleStack.Output

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.learnlib.examples.mealy.ExampleCoffeeMachine.Input

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum de.learnlib.examples.mealy.ExampleStack.Input

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum de.learnlib.examples.mealy.ExampleStack.Output

Returns an array containing the constants of this enum type, in the order they are declared.

C D E G I L O T V