faudes::ElemConstraint Class Reference
|
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 |
Test for equality. | |
bool | operator!= (const ElemConstraint &otherElemConstraint) const |
Test 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. |
Model 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.
mClock | Clock index | |
mCompOperator | Symbolic integer value for comperative operator | |
mTimeConstant | Time constant for comparison |
Definition at line 128 of file tp_timeconstraint.h.
Typedef for comparison operators in elementary clock constraints.
Definition at line 136 of file tp_timeconstraint.h.
faudes::ElemConstraint::ElemConstraint | ( | void | ) |
Construct an (invalid) elementary clock constraint (clockindex 0).
Definition at line 104 of file tp_timeconstraint.cpp.
faudes::ElemConstraint::ElemConstraint | ( | Idx | clockindex, | |
Operator | op, | |||
tpTime::Type | timeconst | |||
) |
Construct an elementary clock constraint from values.
clockindex | Clock by index. | |
op | Symbolic value for operator | |
timeconst | Value for time constant |
Definition at line 109 of file tp_timeconstraint.cpp.
Idx faudes::ElemConstraint::Clock | ( | void | ) | const |
Set clock by index.
Definition at line 123 of file tp_timeconstraint.cpp.
ElemConstraint::Operator faudes::ElemConstraint::CompOperator | ( | void | ) | const |
void faudes::ElemConstraint::CompOperator | ( | Operator | newOp | ) |
Set operator.
newOp | Symbolic value of new operator |
Definition at line 134 of file tp_timeconstraint.cpp.
bool faudes::ElemConstraint::operator!= | ( | const ElemConstraint & | otherElemConstraint | ) | const |
Test for equality.
otherElemConstraint | Other elementary constraint |
Definition at line 172 of file tp_timeconstraint.cpp.
bool faudes::ElemConstraint::operator< | ( | const ElemConstraint & | otherElemConstraint | ) | const |
Less operator for ordering in container classes.
otherElemConstraint | Other ElemConstraint |
Definition at line 177 of file tp_timeconstraint.cpp.
bool faudes::ElemConstraint::operator== | ( | const ElemConstraint & | otherElemConstraint | ) | const |
Test for equality.
otherElemConstraint | Other elementary constraint |
Definition at line 165 of file tp_timeconstraint.cpp.
std::string faudes::ElemConstraint::OperatorName | ( | Operator | op | ) | [static] |
Conversion from symbolic operator to string.
Definition at line 92 of file tp_timeconstraint.cpp.
void faudes::ElemConstraint::Set | ( | Idx | clockindex, | |
Operator | op, | |||
tpTime::Type | timeconst | |||
) |
Set all values.
clockindex | Clock by index. | |
op | Symbolic value for operator | |
timeconst | Value for time constant |
Definition at line 116 of file tp_timeconstraint.cpp.
std::string faudes::ElemConstraint::Str | ( | void | ) | const |
Writes ElemConstraint to std::string.
Definition at line 156 of file tp_timeconstraint.cpp.
tpTime::Type faudes::ElemConstraint::TimeConstant | ( | void | ) | const |
void faudes::ElemConstraint::TimeConstant | ( | tpTime::Type | newTimeConst | ) |
Set time constant.
newTimeConst | Value of new time constant |
Definition at line 146 of file tp_timeconstraint.cpp.
Idx faudes::ElemConstraint::mClockIndex [protected] |
Index of clock.
Definition at line 255 of file tp_timeconstraint.h.
Operator faudes::ElemConstraint::mCompOperator [protected] |
Comparative operator.
Definition at line 258 of file tp_timeconstraint.h.
tpTime::Type faudes::ElemConstraint::mTimeConstant [protected] |
Time constant to compare with clock value.
Definition at line 261 of file tp_timeconstraint.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen