de.learnlib.examples.dfa

Class ExamplePaulAndMary

java.lang.Object

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

de.learnlib.examples.DefaultLearningExample.DefaultDFALearningExample<Symbol>

de.learnlib.examples.dfa.ExamplePaulAndMary

All Implemented Interfaces:

LearningExample<Symbol,DFA<?,Symbol>>, LearningExample.DFALearningExample<Symbol>

public class ExamplePaulAndMary
extends DefaultLearningExample.DefaultDFALearningExample<Symbol>

This class implements a sad love story - DFA style.

Author:

Maik Merten

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.examples.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>

Nested classes/interfaces inherited from interface de.learnlib.examples.LearningExample

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>, LearningExample.StateLocalInputMealyLearningExample<I,O>

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
ExamplePaulAndMary()

Method Summary

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

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

getAlphabet, getReferenceAutomaton

Field Detail

IN_PAUL

public static final Symbol IN_PAUL

IN_LOVES

public static final Symbol IN_LOVES

IN_MARY

public static final Symbol IN_MARY

Constructor Detail

ExamplePaulAndMary

public ExamplePaulAndMary()

Method Detail

constructMachine

public static CompactDFA<Symbol> constructMachine()

Construct and return a machine representation of this example.

Returns:

machine instance of the example

constructMachine

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

createInputAlphabet

public static Alphabet<Symbol> createInputAlphabet()

createExample

public static ExamplePaulAndMary createExample()