Public Types |
Public Member Functions |
Static Public Member Functions |
Protected Attributes |
List of all members
faudes::ElemConstraint Class Reference Model of an elementary clock constraint formula. More...
Detailed DescriptionModel of an elementary clock constraint formula. The constraint consists of an index of a clock, a comperative operator and a constant time value. Semantically, an elementary contraint is satisfied at a time t if at that time the clock value compares true with the constant time. The clock index 0 is used to indicate an invalid contraint. It is only the context of the more general TimeContraint that provides a reference to a clock SymbolTable.
Definition at line 128 of file tp_timeconstraint.h. Member Enumeration DocumentationTypedef for comparison operators in elementary clock constraints. Definition at line 136 of file tp_timeconstraint.h. Constructor & Destructor Documentation
Construct an (invalid) elementary clock constraint (clockindex 0) Definition at line 104 of file tp_timeconstraint.cpp.
Construct an elementary clock constraint from values.
Definition at line 109 of file tp_timeconstraint.cpp. Member Function DocumentationSet clock by index. Definition at line 123 of file tp_timeconstraint.cpp.
Set operator.
Definition at line 134 of file tp_timeconstraint.cpp.
Test for equality.
Definition at line 172 of file tp_timeconstraint.cpp.
Less operator for ordering in container classes.
Definition at line 177 of file tp_timeconstraint.cpp.
Test for equality.
Definition at line 165 of file tp_timeconstraint.cpp.
Conversion from symbolic operator to string. Definition at line 92 of file tp_timeconstraint.cpp.
Set all values.
Definition at line 116 of file tp_timeconstraint.cpp.
Writes ElemConstraint to std::string.
Definition at line 156 of file tp_timeconstraint.cpp.
Set time constant.
Definition at line 146 of file tp_timeconstraint.cpp.
Member Data Documentation
Index of clock. Definition at line 255 of file tp_timeconstraint.h.
Comparative operator. Definition at line 258 of file tp_timeconstraint.h.
Time constant to compare with clock value. Definition at line 261 of file tp_timeconstraint.h. The documentation for this class was generated from the following files: libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |