faudes::ClockSet Class Reference
|
Public Member Functions | |
ClockSet (void) | |
Constructor. | |
ClockSet (const ClockSet &rOtherSet) | |
Copy-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. | |
Protected Member Functions | |
virtual void | DoAssign (const ClockSet &rSourceSet) |
Assign from other clock set. | |
virtual bool | DoEqual (const ClockSet &rOtherSet) const |
Test equality with other clock set. | |
Static Protected Attributes | |
static SymbolTable | msSymbolTable |
Static global SymbolTable for clock names. |
Container class to model a set of clocks.
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.
faudes::ClockSet::ClockSet | ( | void | ) |
Constructor.
Definition at line 36 of file tp_timeconstraint.cpp.
faudes::ClockSet::ClockSet | ( | const ClockSet & | rOtherSet | ) |
Copy-constructor.
rOtherSet | Set to copy |
Definition at line 44 of file tp_timeconstraint.cpp.
faudes::ClockSet::ClockSet | ( | const std::string & | rFilename, | |
const std::string & | rLabel = "Clocks" | |||
) |
Construct from file.
Uses the NameSet's Read() function to scan a file for a specified clockset.
rFilename | File to read | |
rLabel | Section label for the clocks in the file; default value "Clocks" |
Definition at line 49 of file tp_timeconstraint.cpp.
void faudes::ClockSet::DoAssign | ( | const ClockSet & | rSourceSet | ) | [protected, virtual] |
Assign from other clock set.
rSourceSet | Destination to copy from |
Definition at line 64 of file tp_timeconstraint.cpp.
bool faudes::ClockSet::DoEqual | ( | const ClockSet & | rOtherSet | ) | const [protected, virtual] |
Test equality with other clock set.
rOtherSet | Set to compare with |
Definition at line 70 of file tp_timeconstraint.cpp.
SymbolTable * faudes::ClockSet::StaticSymbolTablep | ( | void | ) | [static] |
Get pointer to static clock SymbolTable.
Definition at line 76 of file tp_timeconstraint.cpp.
SymbolTable faudes::ClockSet::msSymbolTable [static, protected] |
Static global SymbolTable for clock names.
Definition at line 80 of file tp_timeconstraint.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen