#include <vgenerator.h>
Inheritance diagram for faudes::vGenerator:
This class is the common base of all generator classes. It defines the application interface for a plain finite state machine with no attributes and is meant as argument and result type of functions that implement general purpose operations on formal languages (Projection, Kleene closure, minimal Realisation etc).
Technically, the vGenerator class is a virtual class and only implements elementary maintenance of generators (unique id, generator name, symboltables etc). It does not implement any operations related to states, events and transitions. The latter is done in TaGenerator, where template parameters of AttributeVoid effectively model a plain finite state machine without any attributes.
Definition at line 60 of file vgenerator.h.
Public Member Functions | |
Constructors & Destructor | |
vGenerator (void) | |
Default constructor. | |
vGenerator (const vGenerator &rOtherGen) | |
Copy-constructror. | |
virtual | ~vGenerator (void) |
Destructor. | |
virtual vGenerator * | NewP (void) const =0 |
Construct on heap. | |
Basic Maintenance | |
void | Name (const std::string &rName) |
Set the generator's name. | |
std::string | Name (void) const |
Get generator's name. | |
Idx | Id (void) const |
Get generator's unique Id (mId). | |
Event Symboltable | |
SymbolTable * | EventSymbolTablep (void) const |
Get Pointer to EventSymbolTable currently used by this vGenerator. | |
virtual void | EventSymbolTablep (SymbolTable *pSymTab) |
Set EventSymbolTable to be used by this vGenerator. | |
virtual void | EventSymbolTablep (const vGenerator &rOtherGen) |
Set EventSymbolTable as given by rOtherGen. | |
EventSet | NewEventSet (void) const |
EventSet with generator's EventSymbolTable (on stack). | |
EventSet * | NewEventSetp (void) const |
EventSet with generator's EventSymbolTable (on heap). | |
Idx | EventIndex (const std::string &rName) const |
Event index lookup. | |
std::string | EventName (Idx index) const |
Event name lookup. | |
void | EventName (Idx index, const std::string &rName) |
Set name for existing event. | |
std::string | UniqueEventName (const std::string &rName) const |
Create a new unique symbolic event name. | |
State Symboltable | |
const SymbolTable & | StateSymbolTable (void) const |
Get StateSymbolTable. | |
void | StateSymbolTable (const SymbolTable &rSymTab) |
Set StateSymbolTable. | |
Idx | StateIndex (const std::string &rName) const |
State index lookup. | |
std::string | StateName (Idx index) const |
State name lookup. | |
void | StateName (Idx index, const std::string &rName) |
Set name of state. | |
void | ClearStateNames (void) |
Remove all names from generator's StateSymbolTable. | |
void | ClrStateName (Idx index) |
Clear name for individual state. | |
void | ClrStateName (const std::string &rName) |
Clear name for individual state. | |
bool | StateNamesEnabled (void) const |
Whether libFAUEDS functions are requested to generate state names. | |
void | StateNamesEnabled (bool flag) |
Enable/disable libFAUEDS functions to automatically generate state names. | |
void | SetDefaultStateNames (void) |
Assign each state a default name bysed on its index. | |
void | EnforceStateNames (const std::string &rTemplate) |
For all states without a symbolic name, assign a name based on suggested template and the index. | |
std::string | UniqueStateName (const std::string &rName) const |
Create a new unique symbolic state name. | |
Misc | |
std::string | EStr (Idx index) const |
Pretty printable event name for index (eg for debugging). | |
std::string | SStr (Idx index) const |
Return pretty printable state name for index (eg for debugging). | |
std::string | TStr (const Transition &rTrans) const |
Return pretty printable transition (eg for debugging). | |
void | GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") |
Produce graphical representation of this generator. | |
bool | operator< (const vGenerator &rOtherGen) const |
Order for sorting containers of generators. | |
Pure Virtual Function for Interface | |
virtual void | Copy (vGenerator &rGen) const =0 |
virtual void | Move (vGenerator &rGen)=0 |
virtual vGenerator & | operator= (const vGenerator &rOtherGen)=0 |
virtual void | Write (void) const =0 |
virtual std::string | ToString (void) const =0 |
virtual void | Write (const char *pFileName, std::ios::openmode openmode=std::ios::out|std::ios::trunc)=0 |
virtual void | Write (TokenWriter &rTw) const =0 |
virtual void | DWrite (void) const =0 |
virtual void | WriteAlphabet (void) const =0 |
virtual std::string | AlphabetToString (void) const =0 |
virtual void | WriteAlphabet (TokenWriter &rTw) const =0 |
virtual void | WriteStateSet (const StateSet &rStateSet) const =0 |
virtual std::string | StateSetToString (const StateSet &rStateSet) const =0 |
virtual void | WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const =0 |
virtual void | DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const =0 |
virtual std::string | StatesToString (void) const =0 |
virtual std::string | MarkedStatesToString (void) const =0 |
virtual std::string | InitStatesToString (void) const =0 |
virtual void | WriteTransRel (void) const =0 |
virtual std::string | TransRelToString (void) const =0 |
virtual void | WriteTransRel (TokenWriter &rTw) const =0 |
virtual void | DWriteTransRel (TokenWriter &rTw) const =0 |
virtual void | WriteStatistics (void) const =0 |
virtual std::string | StatisticsToString (void) const =0 |
virtual void | WriteStatistics (TokenWriter &rTw) const =0 |
virtual void | DotWrite (const std::string &rFileName)=0 |
virtual void | DDotWrite (const std::string &rFileName) const =0 |
virtual void | Read (const char *pFileName)=0 |
virtual void | Read (TokenReader &rTr)=0 |
virtual void | ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const =0 |
virtual bool | Valid (void)=0 |
virtual void | Clear (void)=0 |
virtual void | ClearStates (void)=0 |
virtual Idx | Size (void) const =0 |
virtual Idx | AlphabetSize (void) const =0 |
virtual Idx | TransRelSize (void) const =0 |
virtual Idx | InitStatesSize (void) const =0 |
virtual Idx | MarkedStatesSize (void) const =0 |
virtual bool | Empty (void) const =0 |
virtual bool | AlphabetEmpty (void) const =0 |
virtual bool | TransRelEmpty (void) const =0 |
virtual bool | InitStatesEmpty (void) const =0 |
virtual bool | MarkedStatesEmpty (void) const =0 |
virtual EventSet | UsedEvents (void) const =0 |
virtual EventSet | UnusedEvents (void) const =0 |
virtual EventSet | ActiveEventSet (Idx x1) const =0 |
virtual StateSet | TransRelStateSpace (void) const =0 |
virtual StateSet | TransRelStateSpace (Idx x1) const =0 |
virtual EventSet::Iterator | AlphabetBegin (void) const =0 |
virtual EventSet::Iterator | AlphabetEnd (void) const =0 |
virtual bool | ExistsEvent (Idx index) const =0 |
virtual bool | ExistsEvent (const std::string &rName) const =0 |
virtual EventSet::Iterator | FindEvent (Idx index) const =0 |
virtual EventSet::Iterator | FindEvent (const std::string &rName) const =0 |
virtual const EventSet & | Alphabet (void) const =0 |
virtual StateSet::Iterator | StatesBegin (void) const =0 |
virtual StateSet::Iterator | StatesEnd (void) const =0 |
virtual bool | ExistsState (Idx index) const =0 |
virtual bool | ExistsState (const std::string &name) const =0 |
virtual StateSet::Iterator | FindState (Idx index) const =0 |
virtual StateSet::Iterator | FindState (const std::string &rName) const =0 |
virtual const StateSet & | States (void) const =0 |
virtual Idx | InitState (void) const =0 |
virtual StateSet::Iterator | InitStatesBegin (void) const =0 |
virtual StateSet::Iterator | InitStatesEnd (void) const =0 |
virtual bool | ExistsInitState (Idx index) const =0 |
virtual StateSet::Iterator | FindInitState (Idx index) const =0 |
virtual const StateSet & | InitStates (void) const =0 |
virtual StateSet::Iterator | MarkedStatesBegin (void) const =0 |
virtual StateSet::Iterator | MarkedStatesEnd (void) const =0 |
virtual bool | ExistsMarkedState (Idx index) const =0 |
virtual StateSet::Iterator | FindMarkedState (Idx index) const =0 |
virtual const StateSet & | MarkedStates (void) const =0 |
virtual TransSet::Iterator | TransRelBegin (void) const =0 |
virtual TransSet::Iterator | TransRelEnd (void) const =0 |
virtual TransSet::Iterator | TransRelBegin (Idx x1) const =0 |
virtual TransSet::Iterator | TransRelEnd (Idx x1) const =0 |
virtual TransSet::Iterator | TransRelBegin (Idx x1, Idx ev) const =0 |
virtual TransSet::Iterator | TransRelEnd (Idx x1, Idx ev) const =0 |
virtual TransSet::Iterator | FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const =0 |
virtual TransSet::Iterator | FindTransition (Idx x1, Idx ev, Idx x2) const =0 |
virtual TransSet::Iterator | FindTransition (const Transition &rTrans) const =0 |
virtual bool | ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const =0 |
virtual bool | ExistsTransition (Idx x1, Idx ev, Idx x2) const =0 |
virtual bool | ExistsTransition (const Transition &rTrans) const =0 |
virtual const TransSet & | TransRel (void) const =0 |
virtual void | TransRel (TransSetX1EvX2 &res) const =0 |
virtual void | TransRel (TransSetEvX1X2 &res) const =0 |
virtual void | TransRel (TransSetEvX2X1 &res) const =0 |
virtual void | TransRel (TransSetX2EvX1 &res) const =0 |
virtual void | TransRel (TransSetX2X1Ev &res) const =0 |
virtual void | TransRel (TransSetX1X2Ev &res) const =0 |
virtual bool | InsEvent (Idx index)=0 |
virtual Idx | InsEvent (const std::string &rName)=0 |
virtual void | InsEvents (const EventSet &events)=0 |
virtual bool | DelEvent (Idx index)=0 |
virtual bool | DelEvent (const std::string &rName)=0 |
virtual void | DelEvents (const EventSet &rEvents)=0 |
virtual bool | DelEventFromAlphabet (Idx index)=0 |
virtual void | InjectAlphabet (const EventSet &newalphabet)=0 |
virtual Idx | InsState (void)=0 |
virtual bool | InsState (Idx index)=0 |
virtual Idx | InsState (const std::string &rName)=0 |
virtual bool | DelState (Idx index)=0 |
virtual bool | DelState (const std::string &rName)=0 |
virtual void | DelStates (const StateSet &rDelStates)=0 |
virtual bool | DelStateFromStates (Idx index)=0 |
virtual StateSet::Iterator | DelStateFromStates (StateSet::Iterator pos)=0 |
virtual void | InjectState (Idx index)=0 |
virtual void | InjectStates (const StateSet &rNewStates)=0 |
virtual Idx | InsInitState (void)=0 |
virtual Idx | InsInitState (const std::string &rName)=0 |
virtual void | SetInitState (Idx index)=0 |
virtual void | SetInitState (const std::string &rName)=0 |
virtual void | ClrInitState (Idx index)=0 |
virtual void | ClrInitState (const std::string &rName)=0 |
virtual void | ClrInitState (StateSet::Iterator pos)=0 |
virtual void | ClearInitStates (void)=0 |
virtual void | InjectInitStates (const StateSet &rNewInitStates)=0 |
virtual Idx | InsMarkedState (void)=0 |
virtual Idx | InsMarkedState (const std::string &rName)=0 |
virtual void | SetMarkedState (Idx index)=0 |
virtual void | SetMarkedState (const std::string &rName)=0 |
virtual void | ClrMarkedState (Idx index)=0 |
virtual void | ClrMarkedState (const std::string &rName)=0 |
virtual void | ClrMarkedState (StateSet::Iterator pos)=0 |
virtual void | ClearMarkedStates (void)=0 |
virtual void | InjectMarkedStates (const StateSet &rNewMarkedStates)=0 |
virtual bool | SetTransition (Idx x1, Idx ev, Idx x2)=0 |
virtual bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)=0 |
virtual bool | SetTransition (const Transition &rTransition)=0 |
virtual void | ClrTransition (Idx x1, Idx ev, Idx x2)=0 |
virtual void | ClrTransition (const Transition &rTrans)=0 |
virtual TransSet::Iterator | ClrTransition (TransSet::Iterator it)=0 |
virtual void | ClearTransRel (void)=0 |
virtual void | InjectTransition (const Transition &rTrans)=0 |
virtual void | InjectTransRel (const TransSet &newtransset)=0 |
virtual StateSet | AccessibleSet (void) const =0 |
virtual bool | Accessible (void)=0 |
virtual bool | IsAccessible (void) const =0 |
virtual StateSet | CoaccessibleSet (void) const =0 |
virtual bool | Coaccessible (void)=0 |
virtual bool | IsCoaccessible (void) const =0 |
virtual StateSet | TrimSet (void) const =0 |
virtual bool | Trim (void)=0 |
virtual bool | IsTrim (void) const =0 |
virtual bool | IsDeterministic (void) const =0 |
virtual void | SetMinStateIndexMap (void)=0 |
virtual void | ClearMinStateIndexMap (void)=0 |
virtual void | MinimizeAlphabet (void)=0 |
Static Public Member Functions | |
Event Symboltable | |
static SymbolTable * | GlobalEventSymbolTablep (void) |
Get Pointer to global EventSymbolTable. | |
Protected Attributes | |
std::string | mMyName |
Name of generator. | |
Idx | mId |
Number of generator. | |
SymbolTable | mStateSymbolTable |
State symbol table (local per Generator). | |
SymbolTable * | mpStateSymbolTable |
Pointer to State symbol table. | |
SymbolTable * | mpEventSymbolTable |
Pointer to Event symbol table. | |
bool | mStateNamesEnabled |
No state names. | |
Static Protected Attributes | |
static Idx | msObjectCount = 0 |
Number of generator objects. |
|
Default constructor.
Definition at line 33 of file vgenerator.cpp. |
|
Copy-constructror.
Definition at line 49 of file vgenerator.cpp. |
|
Destructor.
Definition at line 80 of file vgenerator.h. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Remove all names from generator's StateSymbolTable.
Definition at line 187 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Clear name for individual state.
Definition at line 209 of file vgenerator.cpp. |
|
Clear name for individual state.
Definition at line 195 of file vgenerator.cpp. |
|
|
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
For all states without a symbolic name, assign a name based on suggested template and the index.
Definition at line 236 of file vgenerator.cpp. |
|
Pretty printable event name for index (eg for debugging).
Definition at line 255 of file vgenerator.cpp. |
|
Event index lookup.
Definition at line 103 of file vgenerator.cpp. |
|
Set name for existing event.
Definition at line 113 of file vgenerator.cpp. |
|
Event name lookup.
Definition at line 108 of file vgenerator.cpp. |
|
Set EventSymbolTable as given by rOtherGen. This function sets the reference to the event symboltable. The current implementation clears the generator, future versions may implement a re-indexing.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. Definition at line 98 of file vgenerator.cpp. |
|
Set EventSymbolTable to be used by this vGenerator. This function sets the reference to global the event symboltable. The current implementation in derived classes clears the generator, future versions may implement a re-indexing.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. Definition at line 93 of file vgenerator.cpp. |
|
Get Pointer to EventSymbolTable currently used by this vGenerator.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. Definition at line 83 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Get Pointer to global EventSymbolTable. This is a static member of SymbolTable and used as default for all derived classes and instantiated objects.
Definition at line 88 of file vgenerator.cpp. |
|
Produce graphical representation of this generator. This method calls the generator's DotWrite function and then processes the output with the dot tool from graphiz package. If no output format is given, try to guess from filename extension. See also ProcessDot().
Definition at line 274 of file vgenerator.cpp. |
|
Get generator's unique Id (mId).
Definition at line 67 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Get generator's name.
Definition at line 78 of file vgenerator.cpp. |
|
Set the generator's name.
Definition at line 72 of file vgenerator.cpp. |
|
EventSet with generator's EventSymbolTable (on stack).
Definition at line 135 of file vgenerator.cpp. |
|
EventSet with generator's EventSymbolTable (on heap).
Definition at line 142 of file vgenerator.cpp. |
|
Construct on heap. Derived classes must reimplement this function to create an object of the same class and the same event symboltable. The StateNamesEnabled indicator shoul be copied, too.
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Order for sorting containers of generators.
Definition at line 449 of file vgenerator.h. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Assign each state a default name bysed on its index.
Definition at line 227 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Return pretty printable state name for index (eg for debugging).
Definition at line 260 of file vgenerator.cpp. |
|
State index lookup.
Definition at line 161 of file vgenerator.cpp. |
|
Set name of state.
Definition at line 171 of file vgenerator.cpp. |
|
State name lookup.
Definition at line 166 of file vgenerator.cpp. |
|
Enable/disable libFAUEDS functions to automatically generate state names.
Definition at line 222 of file vgenerator.cpp. |
|
Whether libFAUEDS functions are requested to generate state names. Most libFAUDES functions introduce new states to a generator can be enabled to also assign (more or less sensible) names to those states. This feature is purely cosmetic and may be disabled.
Definition at line 217 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Set StateSymbolTable. By convention, state names and indices are local to the respective generator. It is most unlikely that you want to use this function.
Definition at line 155 of file vgenerator.cpp. |
|
Get StateSymbolTable.
Definition at line 150 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
|
|
|
|
|
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Return pretty printable transition (eg for debugging).
Definition at line 267 of file vgenerator.cpp. |
|
Create a new unique symbolic event name. See also SymbolTable::UniqueSymbol().
Definition at line 128 of file vgenerator.cpp. |
|
Create a new unique symbolic state name. See also SymbolTable::UniqueSymbol().
Definition at line 248 of file vgenerator.cpp. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. |
|
Number of generator.
Definition at line 679 of file vgenerator.h. |
|
Name of generator.
Definition at line 676 of file vgenerator.h. |
|
Pointer to Event symbol table.
Definition at line 691 of file vgenerator.h. |
|
Pointer to State symbol table.
Definition at line 688 of file vgenerator.h. |
|
Number of generator objects.
Definition at line 682 of file vgenerator.h. |
|
No state names.
Definition at line 694 of file vgenerator.h. |
|
State symbol table (local per Generator).
Definition at line 685 of file vgenerator.h. |