B C D E F G I L O P T V W
All Classes All Packages

B

BUTTON - de.learnlib.example.mealy.ExampleCoffeeMachine.Input

C

CLEAN - de.learnlib.example.mealy.ExampleCoffeeMachine.Input

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

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

Construct and return a machine representation of this example.

constructMachine() - Static method in class de.learnlib.example.dfa.ExampleTinyDFA

Construct and return a machine representation of this example.

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

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

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

constructMachine() - Static method in class de.learnlib.example.mealy.ExampleTinyMealy

Construct and return a machine representation of this example.

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

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

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

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

Construct and return a machine representation of this example.

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

Construct and return a machine representation of this example.

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

Construct and return a machine representation of this example.

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

Construct and return a machine representation of this example.

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

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

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

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

createExample() - Static method in class de.learnlib.example.dfa.ExampleTinyDFA

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

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

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

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

createExample() - Static method in class de.learnlib.example.sba.ExamplePalindrome

createExample() - Static method in class de.learnlib.example.spa.ExamplePalindrome

createExample() - Static method in class de.learnlib.example.spmm.ExamplePalindrome

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

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

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

createExample(Random, int, int) - Static method in class de.learnlib.example.dfa.ExampleRandomDFA

createExample(Random, Alphabet<I>, int, Collection<Word<O>>, Collection<Word<O>>) - Static method in class de.learnlib.example.sst.ExampleRandomSST

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

createExample(Random, Alphabet<I>, int, O...) - Static method in class de.learnlib.example.moore.ExampleRandomMoore

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

createExample(Random, ProceduralInputAlphabet<I>, int) - Static method in class de.learnlib.example.sba.ExampleRandomSBA

createExample(Random, ProceduralInputAlphabet<I>, int) - Static method in class de.learnlib.example.spa.ExampleRandomSPA

createExample(Random, ProceduralInputAlphabet<I>, ProceduralOutputAlphabet<O>, int) - Static method in class de.learnlib.example.spmm.ExampleRandomSPMM

createExample(Random, VPAlphabet<I>, int, double, double) - Static method in class de.learnlib.example.vpa.ExampleRandomOneSEVPA

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

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

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

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

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

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

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

createMooreExamples() - Static method in class de.learnlib.example.LearningExamples

createOneSEVPAExamples() - Static method in class de.learnlib.example.LearningExamples

createSBAExamples() - Static method in class de.learnlib.example.LearningExamples

createSLIMealyExamples() - Static method in class de.learnlib.example.LearningExamples

createSPAExamples() - Static method in class de.learnlib.example.LearningExamples

createSPMMExamples() - Static method in class de.learnlib.example.LearningExamples

createSSTExamples() - Static method in class de.learnlib.example.LearningExamples

D

de.learnlib.example - package de.learnlib.example

This package (including sub-packages) contains example models of various types used in integration-tests.

de.learnlib.example.dfa - package de.learnlib.example.dfa

de.learnlib.example.mealy - package de.learnlib.example.mealy

de.learnlib.example.moore - package de.learnlib.example.moore

de.learnlib.example.sba - package de.learnlib.example.sba

de.learnlib.example.spa - package de.learnlib.example.spa

de.learnlib.example.spmm - package de.learnlib.example.spmm

de.learnlib.example.sst - package de.learnlib.example.sst

de.learnlib.example.vpa - package de.learnlib.example.vpa

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

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

DefaultDFAPassiveLearningExample(Collection<DefaultQuery<I, Boolean>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultDFAPassiveLearningExample

DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> - Class in de.learnlib.example

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

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

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

DefaultLearningExample.DefaultMealyLearningExample<I,D> - Class in de.learnlib.example

DefaultLearningExample.DefaultMooreLearningExample<I,D> - Class in de.learnlib.example

DefaultLearningExample.DefaultOneSEVPALearningExample<I> - Class in de.learnlib.example

DefaultLearningExample.DefaultSBALearningExample<I> - Class in de.learnlib.example

DefaultLearningExample.DefaultSPALearningExample<I> - Class in de.learnlib.example

DefaultLearningExample.DefaultSPMMLearningExample<I,O> - Class in de.learnlib.example

DefaultLearningExample.DefaultSSTLearningExample<I,D> - Class in de.learnlib.example

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

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

DefaultMealyPassiveLearningExample(Collection<DefaultQuery<I, Word<O>>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultMealyPassiveLearningExample

DefaultMooreLearningExample(A) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultMooreLearningExample

DefaultMooreLearningExample(Alphabet<I>, MooreMachine<?, I, ?, D>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultMooreLearningExample

DefaultMoorePassiveLearningExample(Collection<DefaultQuery<I, Word<O>>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultMoorePassiveLearningExample

DefaultOneSEVPALearningExample(VPAlphabet<I>, OneSEVPA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample

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

Default implementation for a passive learning example.

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

DefaultPassiveLearningExample.DefaultDFAPassiveLearningExample<I> - Class in de.learnlib.example

DefaultPassiveLearningExample.DefaultMealyPassiveLearningExample<I,O> - Class in de.learnlib.example

DefaultPassiveLearningExample.DefaultMoorePassiveLearningExample<I,O> - Class in de.learnlib.example

DefaultPassiveLearningExample.DefaultSSTPassiveLearningExample<I,O> - Class in de.learnlib.example

DefaultSBALearningExample(SBA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample

DefaultSPALearningExample(SPA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample

DefaultSPMMLearningExample(SPMM<?, I, ?, O>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSPMMLearningExample

DefaultSSTLearningExample(A) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSSTLearningExample

DefaultSSTLearningExample(Alphabet<I>, SubsequentialTransducer<?, I, ?, D>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSSTLearningExample

DefaultSSTPassiveLearningExample(Collection<DefaultQuery<I, Word<O>>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultSSTPassiveLearningExample

DFABenchmarks - Class in de.learnlib.example.dfa

E

EMPTY - de.learnlib.example.mealy.ExampleStack.Output

ExampleAngluin - Class in de.learnlib.example.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.example.dfa.ExampleAngluin

ExampleCoffeeMachine - Class in de.learnlib.example.mealy

This example represents the Coffee Machine example from Steffen et al.

ExampleCoffeeMachine() - Constructor for class de.learnlib.example.mealy.ExampleCoffeeMachine

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

ExampleGrid - Class in de.learnlib.example.mealy

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

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

ExampleKeylock - Class in de.learnlib.example.dfa

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

ExamplePalindrome - Class in de.learnlib.example.sba

ExamplePalindrome - Class in de.learnlib.example.spa

ExamplePalindrome - Class in de.learnlib.example.spmm

ExamplePalindrome() - Constructor for class de.learnlib.example.sba.ExamplePalindrome

ExamplePalindrome() - Constructor for class de.learnlib.example.spa.ExamplePalindrome

ExamplePalindrome() - Constructor for class de.learnlib.example.spmm.ExamplePalindrome

ExamplePaulAndMary - Class in de.learnlib.example.dfa

This class implements a sad love story - DFA style.

ExamplePaulAndMary() - Constructor for class de.learnlib.example.dfa.ExamplePaulAndMary

ExampleRandomDFA - Class in de.learnlib.example.dfa

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

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

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

ExampleRandomMoore<I,O> - Class in de.learnlib.example.moore

ExampleRandomMoore(Random, Alphabet<I>, int, O...) - Constructor for class de.learnlib.example.moore.ExampleRandomMoore

ExampleRandomOneSEVPA<I> - Class in de.learnlib.example.vpa

ExampleRandomOneSEVPA(Random, VPAlphabet<I>, int, double, double) - Constructor for class de.learnlib.example.vpa.ExampleRandomOneSEVPA

ExampleRandomSBA<I> - Class in de.learnlib.example.sba

ExampleRandomSBA(Random, ProceduralInputAlphabet<I>, int) - Constructor for class de.learnlib.example.sba.ExampleRandomSBA

ExampleRandomSPA<I> - Class in de.learnlib.example.spa

ExampleRandomSPA(Random, ProceduralInputAlphabet<I>, int) - Constructor for class de.learnlib.example.spa.ExampleRandomSPA

ExampleRandomSPMM<I,O> - Class in de.learnlib.example.spmm

ExampleRandomSPMM(Random, ProceduralInputAlphabet<I>, ProceduralOutputAlphabet<O>, int) - Constructor for class de.learnlib.example.spmm.ExampleRandomSPMM

ExampleRandomSST<I,O> - Class in de.learnlib.example.sst

ExampleRandomSST(Random, Alphabet<I>, int, Collection<Word<O>>, Collection<Word<O>>) - Constructor for class de.learnlib.example.sst.ExampleRandomSST

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

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

ExampleShahbazGroz - Class in de.learnlib.example.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.example.mealy.ExampleShahbazGroz

ExampleStack - Class in de.learnlib.example.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.example.mealy.ExampleStack

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

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

ExampleTinyDFA - Class in de.learnlib.example.dfa

Tiny DFA with language (ab)*.

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

ExampleTinyMealy - Class in de.learnlib.example.mealy

Tiny machine with the language (a1a2)^*.

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

F

FULL - de.learnlib.example.mealy.ExampleStack.Output

G

getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample

getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample

getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample

getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPMMLearningExample

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

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

getAlphabet() - Method in interface de.learnlib.example.LearningExample.OneSEVPALearningExample

getAlphabet() - Method in interface de.learnlib.example.LearningExample.SBALearningExample

getAlphabet() - Method in interface de.learnlib.example.LearningExample.SPALearningExample

getAlphabet() - Method in interface de.learnlib.example.LearningExample.SPMMLearningExample

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

getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample

getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample

getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample

getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPMMLearningExample

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

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

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

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

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

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

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

I

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

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

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

L

LearningExample<I,A> - Interface in de.learnlib.example

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

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

LearningExample.MooreLearningExample<I,O> - Interface in de.learnlib.example

LearningExample.OneSEVPALearningExample<I> - Interface in de.learnlib.example

LearningExample.SBALearningExample<I> - Interface in de.learnlib.example

LearningExample.SPALearningExample<I> - Interface in de.learnlib.example

LearningExample.SPMMLearningExample<I,O> - Interface in de.learnlib.example

LearningExample.SSTLearningExample<I,O> - Interface in de.learnlib.example

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

A LearningExample refinement for StateLocalInputMealyMachine.

LearningExample.UniversalDeterministicLearningExample<I,A extends UniversalAutomaton<?,I,?,?,?>> - Interface in de.learnlib.example

LearningExamples - Class in de.learnlib.example

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

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

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

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

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

O

OK - de.learnlib.example.mealy.ExampleStack.Output

OUT_COFFEE - Static variable in class de.learnlib.example.mealy.ExampleCoffeeMachine

OUT_ERROR - Static variable in class de.learnlib.example.mealy.ExampleCoffeeMachine

OUT_OK - Static variable in class de.learnlib.example.mealy.ExampleCoffeeMachine

P

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

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

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

PassiveLearningExample.MoorePassiveLearningExample<I,O> - Interface in de.learnlib.example

PassiveLearningExample.SSTPassiveLearningExample<I,O> - Interface in de.learnlib.example

POD - de.learnlib.example.mealy.ExampleCoffeeMachine.Input

POP - de.learnlib.example.mealy.ExampleStack.Input

PUSH - de.learnlib.example.mealy.ExampleStack.Input

T

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

V

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

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

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

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

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

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

values() - Static method in enum de.learnlib.example.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.example.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.example.mealy.ExampleStack.Output

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

W

WATER - de.learnlib.example.mealy.ExampleCoffeeMachine.Input

B C D E F G I L O P T V W
All Classes All Packages