faudes::vGenerator Class Reference
[Generator Classes]

#include <vgenerator.h>

Inheritance diagram for faudes::vGenerator:

faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > List of all members.

Detailed Description

Virtual version of a plain generator (ie no attributes).

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 vGeneratorNewP (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
SymbolTableEventSymbolTablep (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).
EventSetNewEventSetp (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 SymbolTableStateSymbolTable (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 vGeneratoroperator= (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 EventSetAlphabet (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 StateSetStates (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 StateSetInitStates (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 StateSetMarkedStates (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 TransSetTransRel (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 SymbolTableGlobalEventSymbolTablep (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).
SymbolTablempStateSymbolTable
 Pointer to State symbol table.
SymbolTablempEventSymbolTable
 Pointer to Event symbol table.
bool mStateNamesEnabled
 No state names.

Static Protected Attributes

static Idx msObjectCount = 0
 Number of generator objects.


Constructor & Destructor Documentation

faudes::vGenerator::vGenerator void   ) 
 

Default constructor.

Definition at line 33 of file vgenerator.cpp.

faudes::vGenerator::vGenerator const vGenerator rOtherGen  ) 
 

Copy-constructror.

Definition at line 49 of file vgenerator.cpp.

virtual faudes::vGenerator::~vGenerator void   )  [inline, virtual]
 

Destructor.

Definition at line 80 of file vgenerator.h.


Member Function Documentation

virtual bool faudes::vGenerator::Accessible void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet faudes::vGenerator::AccessibleSet void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual EventSet faudes::vGenerator::ActiveEventSet Idx  x1  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual const EventSet& faudes::vGenerator::Alphabet void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual EventSet::Iterator faudes::vGenerator::AlphabetBegin void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::AlphabetEmpty void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual EventSet::Iterator faudes::vGenerator::AlphabetEnd void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::AlphabetSize void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::AlphabetToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Clear void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClearInitStates void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClearMarkedStates void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClearMinStateIndexMap void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

void faudes::vGenerator::ClearStateNames void   ) 
 

Remove all names from generator's StateSymbolTable.

Definition at line 187 of file vgenerator.cpp.

virtual void faudes::vGenerator::ClearStates void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClearTransRel void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrInitState StateSet::Iterator  pos  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrInitState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrInitState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrMarkedState StateSet::Iterator  pos  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrMarkedState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrMarkedState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

void faudes::vGenerator::ClrStateName const std::string &  rName  ) 
 

Clear name for individual state.

Parameters:
rName State name

Definition at line 209 of file vgenerator.cpp.

void faudes::vGenerator::ClrStateName Idx  index  ) 
 

Clear name for individual state.

Parameters:
index State index
Exceptions:
Exception 
  • state does not exist in generator (id 90)

Definition at line 195 of file vgenerator.cpp.

virtual TransSet::Iterator faudes::vGenerator::ClrTransition TransSet::Iterator  it  )  [pure virtual]
 

virtual void faudes::vGenerator::ClrTransition const Transition rTrans  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ClrTransition Idx  x1,
Idx  ev,
Idx  x2
[pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::Coaccessible void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet faudes::vGenerator::CoaccessibleSet void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Copy vGenerator rGen  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DDotWrite const std::string &  rFileName  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::DelEvent const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::DelEvent Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::DelEventFromAlphabet Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DelEvents const EventSet rEvents  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::DelState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::DelState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::DelStateFromStates StateSet::Iterator  pos  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::DelStateFromStates Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DelStates const StateSet rDelStates  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DotWrite const std::string &  rFileName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DWrite void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DWriteStateSet TokenWriter rTw,
const StateSet rStateSet
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::DWriteTransRel TokenWriter rTw  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::Empty void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

void faudes::vGenerator::EnforceStateNames const std::string &  rTemplate  ) 
 

For all states without a symbolic name, assign a name based on suggested template and the index.

Parameters:
rTemplate basis for name generation

Definition at line 236 of file vgenerator.cpp.

std::string faudes::vGenerator::EStr Idx  index  )  const
 

Pretty printable event name for index (eg for debugging).

Parameters:
index Event index
Returns:
std::string

Definition at line 255 of file vgenerator.cpp.

Idx faudes::vGenerator::EventIndex const std::string &  rName  )  const
 

Event index lookup.

Parameters:
rName Name of event to lookup
Returns:
Valid index or 0 if non-existent

Definition at line 103 of file vgenerator.cpp.

void faudes::vGenerator::EventName Idx  index,
const std::string &  rName
 

Set name for existing event.

Parameters:
index Event index
rName New name
Exceptions:
Exception 
  • index not found in EventSymbolMap (id 42)
  • name already associated with another index (id 44)
  • event does not exist in generator (id 89)

Definition at line 113 of file vgenerator.cpp.

std::string faudes::vGenerator::EventName Idx  index  )  const
 

Event name lookup.

Parameters:
index Index of event to look up
Returns:
Name or empty std::string if non-existent

Definition at line 108 of file vgenerator.cpp.

void faudes::vGenerator::EventSymbolTablep const vGenerator rOtherGen  )  [virtual]
 

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.

Parameters:
rOtherGen other generator

Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 98 of file vgenerator.cpp.

void faudes::vGenerator::EventSymbolTablep SymbolTable pSymTab  )  [virtual]
 

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.

Parameters:
pSymTab Pointer to SymbolTable

Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 93 of file vgenerator.cpp.

SymbolTable * faudes::vGenerator::EventSymbolTablep void   )  const
 

Get Pointer to EventSymbolTable currently used by this vGenerator.

Returns:
Pointer to EventSymbolTable

Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 83 of file vgenerator.cpp.

virtual bool faudes::vGenerator::ExistsEvent const std::string &  rName  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsEvent Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsInitState Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsMarkedState Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsState const std::string &  name  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsState Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsTransition const Transition rTrans  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsTransition Idx  x1,
Idx  ev,
Idx  x2
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::ExistsTransition const std::string &  rX1,
const std::string &  rEv,
const std::string &  rX2
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual EventSet::Iterator faudes::vGenerator::FindEvent const std::string &  rName  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual EventSet::Iterator faudes::vGenerator::FindEvent Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::FindInitState Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::FindMarkedState Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::FindState const std::string &  rName  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::FindState Idx  index  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::FindTransition const Transition rTrans  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::FindTransition Idx  x1,
Idx  ev,
Idx  x2
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::FindTransition const std::string &  rX1,
const std::string &  rEv,
const std::string &  rX2
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

SymbolTable * faudes::vGenerator::GlobalEventSymbolTablep void   )  [static]
 

Get Pointer to global EventSymbolTable.

This is a static member of SymbolTable and used as default for all derived classes and instantiated objects.

Returns:
Pointer to global EventSymbolTable

Definition at line 88 of file vgenerator.cpp.

void faudes::vGenerator::GraphWrite const std::string &  rFileName,
const std::string &  rOutFormat = "",
const std::string &  rDotExec = "dot"
 

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().

Parameters:
rFileName Name of output file
rOutFormat Graphics file format, eg "png", "jpg", "svg"
rDotExec path/name of executable
Exceptions:
Exception 
  • IO errors (id 2)
  • error during systemcall for dot (id 3)

Definition at line 274 of file vgenerator.cpp.

Idx faudes::vGenerator::Id void   )  const
 

Get generator's unique Id (mId).

Returns:
Id of Generator

Definition at line 67 of file vgenerator.cpp.

virtual Idx faudes::vGenerator::InitState void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual const StateSet& faudes::vGenerator::InitStates void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::InitStatesBegin void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::InitStatesEmpty void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::InitStatesEnd void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InitStatesSize void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::InitStatesToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectAlphabet const EventSet newalphabet  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectInitStates const StateSet rNewInitStates  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectMarkedStates const StateSet rNewMarkedStates  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectStates const StateSet rNewStates  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectTransition const Transition rTrans  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InjectTransRel const TransSet newtransset  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsEvent const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::InsEvent Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::InsEvents const EventSet events  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsInitState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsInitState void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsMarkedState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsMarkedState void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::InsState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::InsState void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::IsAccessible void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::IsCoaccessible void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::IsDeterministic void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::IsTrim void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual const StateSet& faudes::vGenerator::MarkedStates void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::MarkedStatesBegin void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::MarkedStatesEmpty void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::MarkedStatesEnd void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::MarkedStatesSize void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::MarkedStatesToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::MinimizeAlphabet void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Move vGenerator rGen  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

std::string faudes::vGenerator::Name void   )  const
 

Get generator's name.

Returns:
Name of generator

Definition at line 78 of file vgenerator.cpp.

void faudes::vGenerator::Name const std::string &  rName  ) 
 

Set the generator's name.

Parameters:
rName Generator name

Definition at line 72 of file vgenerator.cpp.

EventSet faudes::vGenerator::NewEventSet void   )  const
 

EventSet with generator's EventSymbolTable (on stack).

Returns:
New empty EventSet on stack

Definition at line 135 of file vgenerator.cpp.

EventSet * faudes::vGenerator::NewEventSetp void   )  const
 

EventSet with generator's EventSymbolTable (on heap).

Returns:
Pointer to new empty EventSet on heap

Definition at line 142 of file vgenerator.cpp.

virtual vGenerator* faudes::vGenerator::NewP void   )  const [pure virtual]
 

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.

Returns:
new vGenerator

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

bool faudes::vGenerator::operator< const vGenerator rOtherGen  )  const [inline]
 

Order for sorting containers of generators.

Definition at line 449 of file vgenerator.h.

virtual vGenerator& faudes::vGenerator::operator= const vGenerator rOtherGen  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Read TokenReader rTr  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Read const char *  pFileName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::ReadStateSet TokenReader rTr,
const std::string &  rLabel,
StateSet rStateSet
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

void faudes::vGenerator::SetDefaultStateNames void   ) 
 

Assign each state a default name bysed on its index.

Definition at line 227 of file vgenerator.cpp.

virtual void faudes::vGenerator::SetInitState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::SetInitState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::SetMarkedState const std::string &  rName  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::SetMarkedState Idx  index  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::SetMinStateIndexMap void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::SetTransition const Transition rTransition  )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::SetTransition const std::string &  rX1,
const std::string &  rEv,
const std::string &  rX2
[pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::SetTransition Idx  x1,
Idx  ev,
Idx  x2
[pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::Size void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

std::string faudes::vGenerator::SStr Idx  index  )  const
 

Return pretty printable state name for index (eg for debugging).

Parameters:
index State index
Returns:
std::string

Definition at line 260 of file vgenerator.cpp.

Idx faudes::vGenerator::StateIndex const std::string &  rName  )  const
 

State index lookup.

Parameters:
rName 
Returns:
Valid index (or 0 for non-existent)

Definition at line 161 of file vgenerator.cpp.

void faudes::vGenerator::StateName Idx  index,
const std::string &  rName
 

Set name of state.

Parameters:
index Index
rName Name
Exceptions:
Exception 
  • name already associated with another index (id 44)
  • state does not exist in generator (id 90)

Definition at line 171 of file vgenerator.cpp.

std::string faudes::vGenerator::StateName Idx  index  )  const
 

State name lookup.

Parameters:
index 
Returns:
name (or empty string if no such exists)

Definition at line 166 of file vgenerator.cpp.

void faudes::vGenerator::StateNamesEnabled bool  flag  ) 
 

Enable/disable libFAUEDS functions to automatically generate state names.

Parameters:
flag True enables statenames / false disables them

Definition at line 222 of file vgenerator.cpp.

bool faudes::vGenerator::StateNamesEnabled void   )  const
 

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.

Returns:
False if ClrStateNames() was called

Definition at line 217 of file vgenerator.cpp.

virtual const StateSet& faudes::vGenerator::States void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::StatesBegin void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet::Iterator faudes::vGenerator::StatesEnd void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::StateSetToString const StateSet rStateSet  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::StatesToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

void faudes::vGenerator::StateSymbolTable const SymbolTable rSymTab  ) 
 

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.

Returns:
Pointer to mpStateSymbolTable

Definition at line 155 of file vgenerator.cpp.

const SymbolTable & faudes::vGenerator::StateSymbolTable void   )  const
 

Get StateSymbolTable.

Returns:
ref to state-symboltable

Definition at line 150 of file vgenerator.cpp.

virtual std::string faudes::vGenerator::StatisticsToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::ToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::TransRel TransSetX1X2Ev res  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::TransRel TransSetX2X1Ev res  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::TransRel TransSetX2EvX1 res  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::TransRel TransSetEvX2X1 res  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::TransRel TransSetEvX1X2 res  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::TransRel TransSetX1EvX2 res  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual const TransSet& faudes::vGenerator::TransRel void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::TransRelBegin Idx  x1,
Idx  ev
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::TransRelBegin Idx  x1  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::TransRelBegin void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::TransRelEmpty void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::TransRelEnd Idx  x1,
Idx  ev
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::TransRelEnd Idx  x1  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual TransSet::Iterator faudes::vGenerator::TransRelEnd void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual Idx faudes::vGenerator::TransRelSize void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet faudes::vGenerator::TransRelStateSpace Idx  x1  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet faudes::vGenerator::TransRelStateSpace void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual std::string faudes::vGenerator::TransRelToString void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::Trim void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual StateSet faudes::vGenerator::TrimSet void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

std::string faudes::vGenerator::TStr const Transition rTrans  )  const
 

Return pretty printable transition (eg for debugging).

Parameters:
rTrans Transition
Returns:
std::string

Definition at line 267 of file vgenerator.cpp.

std::string faudes::vGenerator::UniqueEventName const std::string &  rName  )  const
 

Create a new unique symbolic event name.

See also SymbolTable::UniqueSymbol().

Parameters:
rName suggestion for new state name

Definition at line 128 of file vgenerator.cpp.

std::string faudes::vGenerator::UniqueStateName const std::string &  rName  )  const
 

Create a new unique symbolic state name.

See also SymbolTable::UniqueSymbol().

Parameters:
rName suggestion for new state name

Definition at line 248 of file vgenerator.cpp.

virtual EventSet faudes::vGenerator::UnusedEvents void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual EventSet faudes::vGenerator::UsedEvents void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual bool faudes::vGenerator::Valid void   )  [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Write TokenWriter rTw  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Write const char *  pFileName,
std::ios::openmode  openmode = std::ios::out|std::ios::trunc
[pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::Write void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteAlphabet TokenWriter rTw  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteAlphabet void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteStateSet TokenWriter rTw,
const StateSet rStateSet
const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteStateSet const StateSet rStateSet  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteStatistics TokenWriter rTw  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteStatistics void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteTransRel TokenWriter rTw  )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

virtual void faudes::vGenerator::WriteTransRel void   )  const [pure virtual]
 

Implemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.


Member Data Documentation

Idx faudes::vGenerator::mId [protected]
 

Number of generator.

Definition at line 679 of file vgenerator.h.

std::string faudes::vGenerator::mMyName [protected]
 

Name of generator.

Definition at line 676 of file vgenerator.h.

SymbolTable* faudes::vGenerator::mpEventSymbolTable [protected]
 

Pointer to Event symbol table.

Definition at line 691 of file vgenerator.h.

SymbolTable* faudes::vGenerator::mpStateSymbolTable [protected]
 

Pointer to State symbol table.

Definition at line 688 of file vgenerator.h.

Idx faudes::vGenerator::msObjectCount = 0 [static, protected]
 

Number of generator objects.

Definition at line 682 of file vgenerator.h.

bool faudes::vGenerator::mStateNamesEnabled [protected]
 

No state names.

Definition at line 694 of file vgenerator.h.

SymbolTable faudes::vGenerator::mStateSymbolTable [protected]
 

State symbol table (local per Generator).

Definition at line 685 of file vgenerator.h.


The documentation for this class was generated from the following files:
Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4