Module de.learnlib.testsupport.example

Package de.learnlib.testsupport.example.mealy

Class ExampleCoffeeMachine

java.lang.Object

de.learnlib.testsupport.example.DefaultLearningExample<I,net.automatalib.word.Word<D>,net.automatalib.automaton.transducer.MealyMachine<?,I,?,D>>

de.learnlib.testsupport.example.DefaultLearningExample.DefaultMealyLearningExample<ExampleCoffeeMachine.Input,String>

de.learnlib.testsupport.example.mealy.ExampleCoffeeMachine

All Implemented Interfaces:

LearningExample<ExampleCoffeeMachine.Input,net.automatalib.automaton.transducer.MealyMachine<?,ExampleCoffeeMachine.Input,?,String>>, LearningExample.MealyLearningExample<ExampleCoffeeMachine.Input,String>, LearningExample.UniversalDeterministicLearningExample<ExampleCoffeeMachine.Input,net.automatalib.automaton.transducer.MealyMachine<?,ExampleCoffeeMachine.Input,?,String>>

public class ExampleCoffeeMachine
extends DefaultLearningExample.DefaultMealyLearningExample<ExampleCoffeeMachine.Input,String>

This example represents the Coffee Machine example from Steffen et al. "Introduction to Active Automata Learning from a Practical Perspective" (Figure 3)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExampleCoffeeMachine.Input

Nested classes/interfaces inherited from class de.learnlib.testsupport.example.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>, DefaultLearningExample.DefaultMooreLearningExample<I,D>, DefaultLearningExample.DefaultOneSEVPALearningExample<I>, DefaultLearningExample.DefaultSBALearningExample<I>, DefaultLearningExample.DefaultSPALearningExample<I>, DefaultLearningExample.DefaultSPMMLearningExample<I,O>, DefaultLearningExample.DefaultSSTLearningExample<I,D>

Nested classes/interfaces inherited from interface de.learnlib.testsupport.example.LearningExample

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>, LearningExample.MooreLearningExample<I,O>, LearningExample.OneSEVPALearningExample<I>, LearningExample.SBALearningExample<I>, LearningExample.SPALearningExample<I>, LearningExample.SPMMLearningExample<I,O>, LearningExample.SSTLearningExample<I,O>, LearningExample.StateLocalInputMealyLearningExample<I,O>, LearningExample.UniversalDeterministicLearningExample<I,A extends net.automatalib.automaton.UniversalAutomaton<?,I,?,?,?>>

Field Summary

Fields

Modifier and Type	Field	Description
static String	OUT_COFFEE
static String	OUT_ERROR
static String	OUT_OK

Constructor Summary

Constructors

Constructor	Description
ExampleCoffeeMachine()

Method Summary

Modifier and Type	Method	Description
static net.automatalib.automaton.transducer.impl.CompactMealy<ExampleCoffeeMachine.Input,String>	constructMachine()
static <S,T,A extends net.automatalib.automaton.transducer.MutableMealyMachine<S,? super ExampleCoffeeMachine.Input,T,? super String>> A	constructMachine(A machine)	Construct and return a machine representation of this example.
static ExampleCoffeeMachine	createExample()
static net.automatalib.alphabet.Alphabet<ExampleCoffeeMachine.Input>	createInputAlphabet()

Methods inherited from class de.learnlib.testsupport.example.DefaultLearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.testsupport.example.LearningExample

getAlphabet, getReferenceAutomaton

Field Detail

OUT_OK

public static final String OUT_OK

See Also:

Constant Field Values

OUT_ERROR

public static final String OUT_ERROR

See Also:

Constant Field Values

OUT_COFFEE

public static final String OUT_COFFEE

See Also:

Constant Field Values

Constructor Detail

ExampleCoffeeMachine

public ExampleCoffeeMachine()

Method Detail

constructMachine

public static net.automatalib.automaton.transducer.impl.CompactMealy<ExampleCoffeeMachine.Input,String> constructMachine()

constructMachine

public static <S,T,A extends net.automatalib.automaton.transducer.MutableMealyMachine<S,? super ExampleCoffeeMachine.Input,T,? super String>> A constructMachine(A machine)

Construct and return a machine representation of this example.

Type Parameters:

S - state type

T - transition type

A - automaton type

Parameters:

machine - the output object to write the contents to

Returns:

a Mealy machine representing the coffee machine example

createInputAlphabet

public static net.automatalib.alphabet.Alphabet<ExampleCoffeeMachine.Input> createInputAlphabet()

createExample

public static ExampleCoffeeMachine createExample()