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 125 of file tp_timeconstraint.h. Member Enumeration DocumentationTypedef for comparison operators in elementary clock constraints. Definition at line 133 of file tp_timeconstraint.h. Constructor & Destructor Documentation
Construct an (invalid) elementary clock constraint (clockindex 0) Definition at line 107 of file tp_timeconstraint.cpp.
Construct an elementary clock constraint from values.
Definition at line 112 of file tp_timeconstraint.cpp. Member Function DocumentationSet clock by index. Definition at line 125 of file tp_timeconstraint.cpp.
Set operator.
Definition at line 136 of file tp_timeconstraint.cpp.
Test for equality.
Definition at line 174 of file tp_timeconstraint.cpp.
Less operator for ordering in container classes.
Definition at line 179 of file tp_timeconstraint.cpp.
Test for equality.
Definition at line 167 of file tp_timeconstraint.cpp.
Conversion from symbolic operator to string. Definition at line 95 of file tp_timeconstraint.cpp.
Set all values.
Definition at line 118 of file tp_timeconstraint.cpp.
Writes ElemConstraint to std::string.
Definition at line 158 of file tp_timeconstraint.cpp.
Set time constant.
Definition at line 148 of file tp_timeconstraint.cpp.
Member Data Documentation
Index of clock. Definition at line 252 of file tp_timeconstraint.h.
Comparative operator. Definition at line 255 of file tp_timeconstraint.h.
Time constant to compare with clock value. Definition at line 258 of file tp_timeconstraint.h. The documentation for this class was generated from the following files: libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |