#include <tp_timeconstraint.h>
Inheritance diagram for faudes::ClockSet:
Technically, this is a NameSet with a static SymbolTable to map symbolic clock names to clock indices. Thus, clock names are global similar to event names. Note that clocksets of individual TtGenerators are assumed to be disjoint.
Todo: explicitely inherit other constructors (!)
Definition at line 38 of file tp_timeconstraint.h.
Public Member Functions | |
ClockSet (void) | |
Constructor. | |
ClockSet (const std::string &rFilename, const std::string &rLabel="Clocks") | |
Construct from file. | |
Static Public Member Functions | |
static SymbolTable * | StaticSymbolTablep (void) |
Get pointer to static clock SymbolTable. | |
Static Private Attributes | |
static SymbolTable | msSymbolTable |
Static global SymbolTable for clock names. |
|
Constructor.
Definition at line 45 of file tp_timeconstraint.h. |
|
Construct from file. Uses the NameSet's Read() function to scan a file for a specified clockset.
Definition at line 60 of file tp_timeconstraint.h. |
|
Get pointer to static clock SymbolTable.
Definition at line 30 of file tp_timeconstraint.cpp. |
|
Static global SymbolTable for clock names.
Definition at line 74 of file tp_timeconstraint.h. |