faudes::ElemConstraint Class Reference
[Timed Automata Plugin]

#include <tp_timeconstraint.h>

List of all members.


Detailed Description

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.

Parameters:
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.


Member Enumeration Documentation

enum faudes::ElemConstraint::Operator
 

Typedef for comparison operators in elementary clock constraints.

Enumerator:
GreaterEqual 
GreaterThan 
LessThan 
LessEqual 

Definition at line 110 of file tp_timeconstraint.h.


Constructor & Destructor Documentation

faudes::ElemConstraint::ElemConstraint void   ) 
 

Construct an (invalid) elementary clock constraint (clockindex 0).

Definition at line 57 of file tp_timeconstraint.cpp.

faudes::ElemConstraint::ElemConstraint Idx  clockindex,
Operator  op,
tpTime::Type  timeconst
 

Construct an elementary clock constraint from values.

Parameters:
clockindex Clock by index.
op Symbolic value for operator
timeconst Value for time constant

Definition at line 62 of file tp_timeconstraint.cpp.


Member Function Documentation

Idx faudes::ElemConstraint::Clock void   )  const
 

Get clock by index.

Returns:
clock index

Definition at line 82 of file tp_timeconstraint.cpp.

Idx faudes::ElemConstraint::Clock Idx  newClock  ) 
 

Set clock by index.

Definition at line 76 of file tp_timeconstraint.cpp.

ElemConstraint::Operator faudes::ElemConstraint::CompOperator void   )  const
 

Get operator.

Returns:
Operator

Definition at line 93 of file tp_timeconstraint.cpp.

void faudes::ElemConstraint::CompOperator Operator  newOp  ) 
 

Set operator.

Parameters:
newOp Symbolic value of new operator

Definition at line 87 of file tp_timeconstraint.cpp.

bool faudes::ElemConstraint::operator< const ElemConstraint otherElemConstraint  )  const
 

Less operator for ordering in container classes.

Parameters:
otherElemConstraint Other ElemConstraint
Returns:
True when clock index of left constraint is less than the one of right constraint. Else false.

Definition at line 125 of file tp_timeconstraint.cpp.

bool faudes::ElemConstraint::operator== const ElemConstraint otherElemConstraint  )  const
 

Check for equality.

Parameters:
otherElemConstraint Other elementary constraint
Returns:
True if mClockIndex, mTimeConstant and mCompOperator are equal. Else false.

Definition at line 118 of file tp_timeconstraint.cpp.

std::string faudes::ElemConstraint::OperatorName Operator  op  )  [static]
 

Conversion from symbolic operator to string.

Definition at line 45 of file tp_timeconstraint.cpp.

void faudes::ElemConstraint::Set Idx  clockindex,
Operator  op,
tpTime::Type  timeconst
 

Set all values.

Parameters:
clockindex Clock by index.
op Symbolic value for operator
timeconst Value for time constant

Definition at line 69 of file tp_timeconstraint.cpp.

std::string faudes::ElemConstraint::Str void   )  const
 

Writes ElemConstraint to std::string.

Returns:
std::string

Definition at line 109 of file tp_timeconstraint.cpp.

tpTime::Type faudes::ElemConstraint::TimeConstant void   )  const
 

Get time constant.

Returns:
Time constant

Definition at line 104 of file tp_timeconstraint.cpp.

void faudes::ElemConstraint::TimeConstant tpTime::Type  newTimeConst  ) 
 

Set time constant.

Parameters:
newTimeConst Value of new time constant

Definition at line 99 of file tp_timeconstraint.cpp.


Member Data Documentation

Idx faudes::ElemConstraint::mClockIndex [protected]
 

Index of clock.

Definition at line 219 of file tp_timeconstraint.h.

Operator faudes::ElemConstraint::mCompOperator [protected]
 

Comparative operator.

Definition at line 222 of file tp_timeconstraint.h.

tpTime::Type faudes::ElemConstraint::mTimeConstant [protected]
 

Time constant to compare with clock value.

Definition at line 225 of file tp_timeconstraint.h.


The documentation for this class was generated from the following files:
Generated on Mon Nov 10 08:13:18 2008 for libFAUDES 2.11v by  doxygen 1.4.4