de.learnlib.examples.dfa

Class ExamplePaulAndMary

java.lang.Object

de.learnlib.examples.dfa.ExamplePaulAndMary

public class ExamplePaulAndMary
extends Object

This class implements a sad love story - DFA style.

Author:

Maik Merten

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

Methods

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 Alphabet<Symbol>	getInputAlphabet()
static DFA<?,Symbol>	getInstance()

Methods inherited from class java.lang.Object

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

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

getInstance

public static DFA<?,Symbol> getInstance()

getInputAlphabet

public static Alphabet<Symbol> getInputAlphabet()

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)