faudes::ElemConstraint Class Reference

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 123 of file tp_timeconstraint.h.

#include <tp_timeconstraint.h>

Public Types
enum	Operator { GreaterEqual , GreaterThan , LessThan , LessEqual }

Public Member Functions
	ElemConstraint (void)
	ElemConstraint (Idx clockindex, Operator op, Time::Type timeconst)
void	Set (Idx clockindex, Operator op, Time::Type timeconst)
Idx	Clock (Idx newClock)
Idx	Clock (void) const
void	CompOperator (Operator newOp)
Operator	CompOperator (void) const
void	TimeConstant (Time::Type newTimeConst)
Time::Type	TimeConstant (void) const
std::string	Str (void) const
bool	operator== (const ElemConstraint &otherElemConstraint) const
bool	operator!= (const ElemConstraint &otherElemConstraint) const
bool	operator< (const ElemConstraint &otherElemConstraint) const

Static Public Member Functions
static std::string	OperatorName (Operator op)

Protected Attributes
Idx	mClockIndex
Operator	mCompOperator
Time::Type	mTimeConstant

Member Enumeration Documentation

Operator

enum faudes::ElemConstraint::Operator

Typedef for comparison operators in elementary clock constraints

Enumerator
GreaterEqual
GreaterThan
LessThan
LessEqual

Definition at line 131 of file tp_timeconstraint.h.

Constructor & Destructor Documentation

ElemConstraint() [1/2]

faudes::ElemConstraint::ElemConstraint

(

void

)

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

Definition at line 107 of file tp_timeconstraint.cpp.

ElemConstraint() [2/2]

faudes::ElemConstraint::ElemConstraint	(	Idx	clockindex,
		Operator	op,
		Time::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 112 of file tp_timeconstraint.cpp.

Member Function Documentation

Clock() [1/2]

Idx faudes::ElemConstraint::Clock

(

Idx

newClock

)

Set clock by index

Definition at line 125 of file tp_timeconstraint.cpp.

Clock() [2/2]

Idx faudes::ElemConstraint::Clock

(

void

)

const

Get clock by index

Returns

clock index

Definition at line 131 of file tp_timeconstraint.cpp.

CompOperator() [1/2]

void faudes::ElemConstraint::CompOperator

(

Operator

newOp

)

Set operator.

Parameters

newOp

Symbolic value of new operator

Definition at line 136 of file tp_timeconstraint.cpp.

CompOperator() [2/2]

ElemConstraint::Operator faudes::ElemConstraint::CompOperator

(

void

)

const

Get operator

Returns

Operator

Definition at line 142 of file tp_timeconstraint.cpp.

operator!=()

bool faudes::ElemConstraint::operator!=

(

const ElemConstraint &

otherElemConstraint

)

const

Test for equality.

Parameters

otherElemConstraint

Other elementary constraint

Returns

True if not equal; see operator==.

Definition at line 174 of file tp_timeconstraint.cpp.

operator<()

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 179 of file tp_timeconstraint.cpp.

operator==()

bool faudes::ElemConstraint::operator==

(

const ElemConstraint &

otherElemConstraint

)

const

Test for equality.

Parameters

otherElemConstraint

Other elementary constraint

Returns

True if mClockIndex, mTimeConstant and mCompOperator are equal. Else false.

Definition at line 167 of file tp_timeconstraint.cpp.

OperatorName()

std::string faudes::ElemConstraint::OperatorName ( Operator  op )

static

Conversion from symbolic operator to string

Definition at line 95 of file tp_timeconstraint.cpp.

Set()

void faudes::ElemConstraint::Set	(	Idx	clockindex,
		Operator	op,
		Time::Type	timeconst
	)

Set all values

Parameters

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

Definition at line 118 of file tp_timeconstraint.cpp.

Str()

std::string faudes::ElemConstraint::Str

(

void

)

const

Writes ElemConstraint to std::string

Returns

std::string

Definition at line 158 of file tp_timeconstraint.cpp.

TimeConstant() [1/2]

void faudes::ElemConstraint::TimeConstant

(

Time::Type

newTimeConst

)

Set time constant.

Parameters

newTimeConst

Value of new time constant

Definition at line 148 of file tp_timeconstraint.cpp.

TimeConstant() [2/2]

Time::Type faudes::ElemConstraint::TimeConstant

(

void

)

const

Get time constant

Returns

Time constant

Definition at line 153 of file tp_timeconstraint.cpp.

Member Data Documentation

mClockIndex

Idx faudes::ElemConstraint::mClockIndex

protected

Index of clock.

Definition at line 250 of file tp_timeconstraint.h.

mCompOperator

Operator faudes::ElemConstraint::mCompOperator

protected

Comparative operator

Definition at line 253 of file tp_timeconstraint.h.

mTimeConstant

Time::Type faudes::ElemConstraint::mTimeConstant

protected

Time constant to compare with clock value

Definition at line 256 of file tp_timeconstraint.h.

---

The documentation for this class was generated from the following files:

• tp_timeconstraint.h
• tp_timeconstraint.cpp