Module de.learnlib.testsupport.example

Package de.learnlib.testsupport.example.dfa

Class ExamplePaulAndMary

java.lang.Object

de.learnlib.testsupport.example.DefaultLearningExample<I,Boolean,net.automatalib.automaton.fsa.DFA<?,I>>

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

de.learnlib.testsupport.example.dfa.ExamplePaulAndMary

All Implemented Interfaces:

LearningExample<String,net.automatalib.automaton.fsa.DFA<?,String>>, LearningExample.DFALearningExample<String>, LearningExample.UniversalDeterministicLearningExample<String,net.automatalib.automaton.fsa.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.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	IN_LOVES
static String	IN_MARY
static String	IN_PAUL

Constructor Summary

Constructors

Constructor	Description
ExamplePaulAndMary()

Method Summary

Modifier and Type	Method	Description
static net.automatalib.automaton.fsa.impl.CompactDFA<String>	constructMachine()	Construct and return a machine representation of this example.
static <A extends net.automatalib.automaton.fsa.MutableDFA<S,? super String>,S> A	constructMachine(A dfa)
static ExamplePaulAndMary	createExample()
static net.automatalib.alphabet.Alphabet<String>	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

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 net.automatalib.automaton.fsa.impl.CompactDFA<String> constructMachine()

Construct and return a machine representation of this example.

Returns:

machine instance of the example

constructMachine

public static <A extends net.automatalib.automaton.fsa.MutableDFA<S,? super String>,S> A constructMachine(A dfa)

createInputAlphabet

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

createExample

public static ExamplePaulAndMary createExample()