Package de.learnlib.example.dfa

Class ExampleTinyDFA

java.lang.Object

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

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

de.learnlib.example.dfa.ExampleTinyDFA

All Implemented Interfaces:

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

public class ExampleTinyDFA
extends DefaultLearningExample.DefaultDFALearningExample<Character>

Tiny DFA with language (ab)*.

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,?,?,?>>

Constructor Summary

Constructors

Constructor	Description
ExampleTinyDFA()

Method Summary

Modifier and Type	Method	Description
static CompactDFA<Character>	constructMachine()	Construct and return a machine representation of this example.
static ExampleTinyDFA	createExample()

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

Constructor Detail

ExampleTinyDFA

public ExampleTinyDFA()

Method Detail

constructMachine

public static CompactDFA<Character> constructMachine()

Construct and return a machine representation of this example.

Returns:

machine instance of the example

createExample

public static ExampleTinyDFA createExample()