Package de.learnlib.example.dfa

Class ExamplePaulAndMary

java.lang.Object

de.learnlib.example.DefaultLearningExample<I,Boolean,DFA<?,I>>

de.learnlib.example.DefaultLearningExample.DefaultDFALearningExample<String>

de.learnlib.example.dfa.ExamplePaulAndMary

All Implemented Interfaces:

LearningExample<String,DFA<?,String>>, LearningExample.DFALearningExample<String>, LearningExample.UniversalDeterministicLearningExample<String,DFA<?,String>>

public class ExamplePaulAndMary
extends DefaultLearningExample.DefaultDFALearningExample<String>

This class implements a sad love story - DFA style.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.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.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 UniversalAutomaton<?,I,?,?,?>>

Field Summary

Fields

Modifier and Type	Field	Description
static String	IN_LOVES
static String	IN_MARY
static String	IN_PAUL

Constructor Summary

Constructors

Constructor	Description
ExamplePaulAndMary()

Method Summary

Modifier and Type	Method	Description
static CompactDFA<String>	constructMachine()	Construct and return a machine representation of this example.
static <A extends MutableDFA<S,? super String>,S> A	constructMachine(A dfa)
static ExamplePaulAndMary	createExample()
static Alphabet<String>	createInputAlphabet()

Methods inherited from class de.learnlib.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.example.LearningExample

getAlphabet, getReferenceAutomaton

Field Detail

IN_PAUL

public static final String IN_PAUL

See Also:

Constant Field Values

IN_LOVES

public static final String IN_LOVES

See Also:

Constant Field Values

IN_MARY

public static final String IN_MARY

See Also:

Constant Field Values

Constructor Detail

ExamplePaulAndMary

public ExamplePaulAndMary()

Method Detail

constructMachine

public static CompactDFA<String> constructMachine()

Construct and return a machine representation of this example.

Returns:

machine instance of the example

constructMachine

public static <A extends MutableDFA<S,? super String>,S> A constructMachine(A dfa)

createInputAlphabet

public static Alphabet<String> createInputAlphabet()

createExample

public static ExamplePaulAndMary createExample()