C D E G I L O P T V

C

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

constructMachine(A) - 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() - Static method in class de.learnlib.examples.dfa.ExampleTinyDFA

Construct and return a machine representation of this example.

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

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

Construct and return a machine representation of this example.

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

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

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.ExampleShahbazGroz

Construct and return a machine representation of this example.

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

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.ExampleTinyMealy

Construct and return a machine representation of this example.

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.dfa.ExampleTinyDFA

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(Random, Alphabet<I>, int, O, O...) - Static method in class de.learnlib.examples.mealy.ExampleRandomStateLocalInputMealy

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

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

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

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

createSLIMealyExamples() - 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

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

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

DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> - 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.DefaultMealyLearningExample<I,D> - Class in de.learnlib.examples

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

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

DefaultPassiveLearningExample<I,D> - Class in de.learnlib.examples

Default implementation for a passive learning example.

DefaultPassiveLearningExample(Collection<DefaultQuery<I, D>>, Alphabet<I>) - Constructor for class de.learnlib.examples.DefaultPassiveLearningExample

DFABenchmarks - Class in de.learnlib.examples.dfa

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

ExampleRandomDFA - Class in de.learnlib.examples.dfa

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

ExampleRandomDFA(Random, int, int) - Constructor for class de.learnlib.examples.dfa.ExampleRandomDFA

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

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

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

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

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

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

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

ExampleTinyDFA - Class in de.learnlib.examples.dfa

Tiny DFA with language (ab)*.

ExampleTinyDFA() - Constructor for class de.learnlib.examples.dfa.ExampleTinyDFA

ExampleTinyMealy - Class in de.learnlib.examples.mealy

Tiny machine with the language (a1a2)^*.

ExampleTinyMealy() - Constructor for class de.learnlib.examples.mealy.ExampleTinyMealy

G

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

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

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

getAlphabet() - Method in class de.learnlib.examples.mealy.ExampleRandomStateLocalInputMealy

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

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

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

getReferenceAutomaton() - Method in class de.learnlib.examples.mealy.ExampleRandomStateLocalInputMealy

getSamples() - Method in class de.learnlib.examples.DefaultPassiveLearningExample

getSamples() - Method in interface de.learnlib.examples.PassiveLearningExample

getUndefinedOutput() - Method in interface de.learnlib.examples.LearningExample.StateLocalInputMealyLearningExample

getUndefinedOutput() - Method in class de.learnlib.examples.mealy.ExampleRandomStateLocalInputMealy

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,A extends UniversalAutomaton<?,I,?,?,?>> - Interface in de.learnlib.examples

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

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

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

A LearningExample refinement for StateLocalInputMealyMachine.

LearningExamples - Class in de.learnlib.examples

loadLearnLibV2Benchmark(String) - Static method in class de.learnlib.examples.dfa.DFABenchmarks

loadPeterson2() - Static method in class de.learnlib.examples.dfa.DFABenchmarks

loadPeterson3() - Static method in class de.learnlib.examples.dfa.DFABenchmarks

loadPots2() - Static method in class de.learnlib.examples.dfa.DFABenchmarks

loadPots3() - Static method in class de.learnlib.examples.dfa.DFABenchmarks

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

P

PassiveLearningExample<I,D> - Interface in de.learnlib.examples

PassiveLearningExample.DFAPassiveLearningExample<I> - Interface in de.learnlib.examples

PassiveLearningExample.MealyPassiveLearningExample<I,O> - Interface in de.learnlib.examples

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 P T V