dbm::ClockOperation< TYPE > Class Template Reference

Wrapper class for clock operations,. More...

#include <fed.h>

List of all members.

Public Member Functions
ClockOperation &	operator+ (int32_t val)
	Clock increment and decrement.
ClockOperation &	operator- (int32_t val)
ClockOperation &	operator+= (int32_t val)
ClockOperation &	operator-= (int32_t val)
ClockOperation &	operator= (const ClockOperation &op)
	Execute(update) clock (+value ignored) = clock + value.
ClockOperation &	operator= (int32_t val)
	Execute(updateValue) clock = value.
bool	operator< (const ClockOperation &x) const
	Check if clock constraints are satisfied.
bool	operator<= (const ClockOperation &x) const
bool	operator> (const ClockOperation &x) const
bool	operator>= (const ClockOperation &x) const
bool	operator== (const ClockOperation &x) const
bool	operator< (int32_t v) const
bool	operator<= (int32_t v) const
bool	operator> (int32_t v) const
bool	operator>= (int32_t v) const
bool	operator== (int32_t v) const
	ClockOperation (TYPE *d, cindex_t c)
	The constructor should be used only by dbm_t or fed_t since ClockOperation is a convenience class.
TYPE *	getPtr () const
	Access to the arguments of the operation.
cindex_t	getClock () const
int32_t	getVal () const
Private Attributes
TYPE *	ptr
cindex_t	clock
	related dbm_t or fed_t, no reference count
int32_t	incVal
	clock to read/write

---

Detailed Description

template<class TYPE>
class dbm::ClockOperation< TYPE >

Wrapper class for clock operations,.

See also:

dbm_t

---

Constructor & Destructor Documentation

template<class TYPE> dbm::ClockOperation< TYPE >::ClockOperation (  TYPE *  d, cindex_t  c )

The constructor should be used only by dbm_t or fed_t since ClockOperation is a convenience class. Parameters: d,:  dbm that generated this clock operation. c,:  index of the clock to manipulate. Precondition: c < d->getDimension()

---

Member Function Documentation

template<class TYPE> cindex_t dbm::ClockOperation< TYPE >::getClock (   )  const [inline]

template<class TYPE> TYPE* dbm::ClockOperation< TYPE >::getPtr (   )  const [inline]

Access to the arguments of the operation.

template<class TYPE> int32_t dbm::ClockOperation< TYPE >::getVal (   )  const [inline]

template<class TYPE> ClockOperation& dbm::ClockOperation< TYPE >::operator+ (  int32_t  val  )

Clock increment and decrement.

template<class TYPE> ClockOperation& dbm::ClockOperation< TYPE >::operator+= (  int32_t  val  )

template<class TYPE> ClockOperation& dbm::ClockOperation< TYPE >::operator- (  int32_t  val  )

template<class TYPE> ClockOperation& dbm::ClockOperation< TYPE >::operator-= (  int32_t  val  )

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator< (  int32_t  v  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator< (  const ClockOperation< TYPE > &  x  )  const

Check if clock constraints are satisfied. Semantics: does there exist a point such that it satisfies the constraint. Precondition: we are using the same dbm_t (or fed_t)

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator<= (  int32_t  v  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator<= (  const ClockOperation< TYPE > &  x  )  const

template<class TYPE> ClockOperation& dbm::ClockOperation< TYPE >::operator= (  int32_t  val  )

Execute(updateValue) clock = value.

template<class TYPE> ClockOperation& dbm::ClockOperation< TYPE >::operator= (  const ClockOperation< TYPE > &  op  )

Execute(update) clock (+value ignored) = clock + value. Precondition: this->dbm == op.dbm

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator== (  int32_t  v  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator== (  const ClockOperation< TYPE > &  x  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator> (  int32_t  v  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator> (  const ClockOperation< TYPE > &  x  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator>= (  int32_t  v  )  const

template<class TYPE> bool dbm::ClockOperation< TYPE >::operator>= (  const ClockOperation< TYPE > &  x  )  const

---

Member Data Documentation

template<class TYPE> cindex_t dbm::ClockOperation< TYPE >::clock [private]

related dbm_t or fed_t, no reference count

template<class TYPE> int32_t dbm::ClockOperation< TYPE >::incVal [private]

clock to read/write

template<class TYPE> TYPE* dbm::ClockOperation< TYPE >::ptr [private]

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/dbm/fed.h

---