| |
libFAUDES
Sections
Index
|
faudes::ElemConstraint Class Reference |
mClock | Clock index | |
mCompOperator | Symbolic integer value for comperative operator | |
mTimeConstant | Time constant for comparison |
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. |
faudes::ElemConstraint::ElemConstraint | ( | void | ) |
Construct an (invalid) elementary clock constraint (clockindex 0).
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 |
std::string faudes::ElemConstraint::OperatorName | ( | Operator | op | ) | [static] |
Conversion from symbolic operator to string.
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 |
Idx faudes::ElemConstraint::Clock | ( | void | ) | const |
Get clock by index.
void faudes::ElemConstraint::CompOperator | ( | Operator | newOp | ) |
Set operator.
newOp | Symbolic value of new operator |
ElemConstraint::Operator faudes::ElemConstraint::CompOperator | ( | void | ) | const |
Get operator.
void faudes::ElemConstraint::TimeConstant | ( | tpTime::Type | newTimeConst | ) |
Set time constant.
newTimeConst | Value of new time constant |
tpTime::Type faudes::ElemConstraint::TimeConstant | ( | void | ) | const |
Get time constant.
std::string faudes::ElemConstraint::Str | ( | void | ) | const |
bool faudes::ElemConstraint::operator== | ( | const ElemConstraint & | otherElemConstraint | ) | const |
Check for equality.
otherElemConstraint | Other elementary constraint |
bool faudes::ElemConstraint::operator< | ( | const ElemConstraint & | otherElemConstraint | ) | const |
Less operator for ordering in container classes.
otherElemConstraint | Other ElemConstraint |
Idx faudes::ElemConstraint::mClockIndex [protected] |
Index of clock.
Operator faudes::ElemConstraint::mCompOperator [protected] |
Comparative operator.
tpTime::Type faudes::ElemConstraint::mTimeConstant [protected] |
Time constant to compare with clock value.
libFAUDES 2.13a c++ source docu by doxygen 1.5.6