Public Member Functions | Static Public Attributes

AutomataCreator Class Reference

Implements IAutomataCreator and has some additional methods for giving private implementations. More...

#include <automataCreator.h>

Inheritance diagram for AutomataCreator:
Collaboration diagram for AutomataCreator:

List of all members.

Public Member Functions

 ~AutomataCreator ()
QSharedPointer< AutomatonImplcreatePrivateAutomaton (const ITransition::TCharSet &alphabet, const QString &alphabetSymbol, const QString &epsilonSymbol)
QSharedPointer< StateImplcreatePrivateState (const QString &name, const QString &label, bool initial, bool final, State *graphicsState)
IAutomataCreator implementation

Implements IAutomataCreator interface

QSharedPointer< IAutomatoncreateAutomaton (const ITransition::TCharSet &alphabet, const QString &alphabetSymbol, const QString &epsilonSymbol)

Static Public Attributes

static const QStringList defaultAlphabetSymbList = "\\Sigma"
 list of default alphabet symbols, sorted by priority
static const QStringList defaultEpsilonSymbList = "\\epsilon"
 list of default epsilon symbols, sorted by priority

Detailed Description

Implements IAutomataCreator and has some additional methods for giving private implementations.

Definition at line 266 of file automataCreator.h.


Constructor & Destructor Documentation

AutomataCreator::~AutomataCreator (  )  [inline]

Definition at line 269 of file automataCreator.h.


Member Function Documentation

QSharedPointer< IAutomaton > AutomataCreator::createAutomaton ( const ITransition::TCharSet alphabet,
const QString &  alphabetSymbol,
const QString &  epsilonSymbol 
) [virtual]

Implements IAutomataCreator.

Definition at line 1191 of file automataCreator.cpp.

QSharedPointer< AutomatonImpl > AutomataCreator::createPrivateAutomaton ( const ITransition::TCharSet alphabet,
const QString &  alphabetSymbol,
const QString &  epsilonSymbol 
)

Definition at line 1176 of file automataCreator.cpp.

QSharedPointer< StateImpl > AutomataCreator::createPrivateState ( const QString &  name,
const QString &  label,
bool  initial,
bool  final,
State graphicsState 
)

Creates private state. Note that private transition can be created only using automaton instance to avoid inconsistency with handling of redundancies.

Definition at line 1185 of file automataCreator.cpp.


Member Data Documentation

const QStringList AutomataCreator::defaultAlphabetSymbList = "\\Sigma" [static]

list of default alphabet symbols, sorted by priority

Definition at line 292 of file automataCreator.h.

Referenced by Editor::detectAutomataSettings(), and Editor::getAutomaton().

const QStringList AutomataCreator::defaultEpsilonSymbList = "\\epsilon" [static]

list of default epsilon symbols, sorted by priority

Definition at line 294 of file automataCreator.h.

Referenced by Editor::detectAutomataSettings(), Editor::getAutomaton(), AutomataWorkSimulator::processStep(), and AutomataWorkSimulator::setInput().


The documentation for this class was generated from the following files: