#include <tp_timeconstraint.h>
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.
mClock | Clock index | |
mCompOperator | Symbolic integer value for comperative operator | |
mTimeConstant | Time constant for comparison |
Definition at line 102 of file tp_timeconstraint.h.
Public Types | |
enum | Operator { GreaterEqual, GreaterThan, LessThan, LessEqual } |
Typedef for comparison operators in elementary clock constraints. More... | |
Public Member Functions | |
ElemConstraint (void) | |
Construct an (invalid) elementary clock constraint (clockindex 0). | |
ElemConstraint (Idx clockindex, Operator op, tpTime::Type timeconst) | |
Construct an elementary clock constraint from values. | |
void | Set (Idx clockindex, Operator op, tpTime::Type timeconst) |
Set all values. | |
Idx | Clock (Idx newClock) |
Set clock by index. | |
Idx | Clock (void) const |
Get clock by index. | |
void | CompOperator (Operator newOp) |
Set operator. | |
Operator | CompOperator (void) const |
Get operator. | |
void | TimeConstant (tpTime::Type newTimeConst) |
Set time constant. | |
tpTime::Type | TimeConstant (void) const |
Get time constant. | |
std::string | Str (void) const |
Writes ElemConstraint to std::string. | |
bool | operator== (const ElemConstraint &otherElemConstraint) const |
Check for equality. | |
bool | operator< (const ElemConstraint &otherElemConstraint) const |
Less operator for ordering in container classes. | |
Static Public Member Functions | |
static std::string | OperatorName (Operator op) |
Conversion from symbolic operator to string. | |
Protected Attributes | |
Idx | mClockIndex |
Index of clock. | |
Operator | mCompOperator |
Comparative operator. | |
tpTime::Type | mTimeConstant |
Time constant to compare with clock value. |
|
Typedef for comparison operators in elementary clock constraints.
Definition at line 110 of file tp_timeconstraint.h. |
|
Construct an (invalid) elementary clock constraint (clockindex 0).
Definition at line 57 of file tp_timeconstraint.cpp. |
|
Construct an elementary clock constraint from values.
Definition at line 62 of file tp_timeconstraint.cpp. |
|
Get clock by index.
Definition at line 82 of file tp_timeconstraint.cpp. |
|
Set clock by index.
Definition at line 76 of file tp_timeconstraint.cpp. |
|
Get operator.
Definition at line 93 of file tp_timeconstraint.cpp. |
|
Set operator.
Definition at line 87 of file tp_timeconstraint.cpp. |
|
Less operator for ordering in container classes.
Definition at line 125 of file tp_timeconstraint.cpp. |
|
Check for equality.
Definition at line 118 of file tp_timeconstraint.cpp. |
|
Conversion from symbolic operator to string.
Definition at line 45 of file tp_timeconstraint.cpp. |
|
Set all values.
Definition at line 69 of file tp_timeconstraint.cpp. |
|
Writes ElemConstraint to std::string.
Definition at line 109 of file tp_timeconstraint.cpp. |
|
Get time constant.
Definition at line 104 of file tp_timeconstraint.cpp. |
|
Set time constant.
Definition at line 99 of file tp_timeconstraint.cpp. |
|
Index of clock.
Definition at line 219 of file tp_timeconstraint.h. |
|
Comparative operator.
Definition at line 222 of file tp_timeconstraint.h. |
|
Time constant to compare with clock value.
Definition at line 225 of file tp_timeconstraint.h. |