C D E G I O 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

D

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

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

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

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

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

G

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

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

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

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

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

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

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

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

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

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

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

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

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

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 O V