constraint_t Struct Reference

Basic clock constraint representation. More...

#include <constraints.h>

List of all members.

Public Member Functions
	constraint_t ()
	constraint_t (const constraint_t &c)
	constraint_t (cindex_t ci, cindex_t cj, raw_t vij)
	constraint_t (cindex_t ci, cindex_t cj, int32_t bound, bool isStrict)
bool	operator== (const constraint_t &b) const
	Equality operator for constraint_t.
Public Attributes
cindex_t	i
cindex_t	j
raw_t	value

---

Detailed Description

Basic clock constraint representation.

xi-xj <= value (with the special encoding)

---

Constructor & Destructor Documentation

constraint_t::constraint_t (   )  [inline]

constraint_t::constraint_t (  const constraint_t &  c  )  [inline]

constraint_t::constraint_t (  cindex_t  ci, cindex_t  cj, raw_t  vij )  [inline]

constraint_t::constraint_t (  cindex_t  ci, cindex_t  cj, int32_t  bound, bool  isStrict )  [inline]

---

Member Function Documentation

bool constraint_t::operator== (  const constraint_t &  b  )  const [inline]

Equality operator for constraint_t.

---

Member Data Documentation

cindex_t constraint_t::i

cindex_t constraint_t::j

raw_t constraint_t::value

---

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

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

---