udbm::DBM Class Reference

#include <wrapper.h>

List of all members.

Public Member Functions
	DBM (int d) throw (InvalidDimension,DimensionTooLarge)
	DBM (const DBM &arg)
	DBM (const DBMMatrix &arg) throw (InvalidDBMMatrix,InvalidDimension,DimensionTooLarge)
DBM &	operator= (const DBM &arg)
	~DBM ()
char *	to_s () throw (std::bad_alloc)
Constraint	read (int i, int j) const throw (IndexOutOfRange,EmptyDBM)
int	dim () const
bool	isEmpty () const
DBM	copy () const
bool	isUnbounded () const
void	setEmpty ()
void	intern ()
void	setZero ()
void	setInit ()
relation_t	relation (const DBM &arg) const throw (IncompatibleDBM)
relation_t	relation (const Fed &arg) const throw (IncompatibleFed)
relation_t	exactRelation (const DBM &arg) const throw (IncompatibleDBM)
relation_t	exactRelation (const Fed &arg) const throw (IncompatibleFed)
DBM	operator+ (const DBM &arg) const throw (IncompatibleDBM)
DBM	operator+ (const Fed &arg) const throw (IncompatibleFed)
DBM &	convexHull (const DBM &arg) throw (IncompatibleDBM)
DBM &	convexHull (const Fed &arg) throw (IncompatibleFed)
bool	constrainClock (int clk, int value)
bool	constrain (int i, int j, Constraint &c)
bool	constrain (int i, int j, int bound, bool strict)
DBM	operator & (const DBM &arg) throw (IncompatibleDBM)
Fed	operator & (const Fed &arg) throw (IncompatibleFed)
bool	intersects (const DBM &arg) const throw (IncompatibleDBM)
bool	intersects (const Fed &arg) const throw (IncompatibleFed)
DBM &	intersectionWith (const DBM &arg) throw (IncompatibleDBM)
DBM &	applyUp ()
DBM &	applyDown ()
DBM &	applyFreeClock (int clk)
DBM &	applyFreeUp (int clk)
DBM &	applyFreeDown (int clk)
DBM &	applyFreeAllUp ()
DBM &	applyFreeAllDown ()
DBM &	updateValue (int x, int v)
DBM &	updateClock (int x, int y)
DBM &	updateIncrement (int x, int v)
DBM &	updateGeneral (int x, int y, int v)
bool	satisfies (int i, int j, int bound, bool strict) const
bool	satisfies (int i, int j, const Constraint &c) const
DBM &	relaxUp ()
DBM &	relaxDown ()
DBM &	relaxUp (int k)
DBM &	relaxDown (int k)
DBM &	relaxAll ()
bool	isSubtractionEmpty (const DBM &arg) const throw (IncompatibleDBM)
bool	isSubtractionEmpty (const Fed &arg) const throw (IncompatibleFed)
bool	operator< (const DBM &arg) const throw (IncompatibleDBM)
bool	operator> (const DBM &arg) const throw (IncompatibleDBM)
bool	operator<= (const DBM &arg) const throw (IncompatibleDBM)
bool	operator>= (const DBM &arg) const throw (IncompatibleDBM)
bool	operator== (const DBM &arg) const throw (IncompatibleDBM)
bool	operator< (const Fed &arg) const throw (IncompatibleFed)
bool	operator> (const Fed &arg) const throw (IncompatibleFed)
bool	operator<= (const Fed &arg) const throw (IncompatibleFed)
bool	operator>= (const Fed &arg) const throw (IncompatibleFed)
bool	operator== (const Fed &arg) const throw (IncompatibleFed)
bool	isIncludedIn (const DBM &arg) const throw (IncompatibleDBM)
bool	isIncludedIn (const Fed &arg) const throw (IncompatibleFed)
bool	isStrictlyIncludedIn (const DBM &arg) const throw (IncompatibleDBM)
bool	isStrictlyIncludedIn (const Fed &arg) const throw (IncompatibleFed)
bool	contains (const DBMVector &v) const throw (IncompatibleDBMVector)
bool	contains (const DBMPoint &v) const throw (IncompatibleDBMPoint)
DBM &	extrapolateMaxBounds (const DBMVector &v) throw (IncompatibleDBMVector)
DBM &	diagonalExtrapolateMaxBounds (const DBMVector &v) throw (IncompatibleDBMVector)
DBM &	extrapolateLUBounds (const DBMVector &l, const DBMVector &u) throw (IncompatibleDBMVector)
DBM &	diagonalExtrapolateLUBounds (const DBMVector &l, const DBMVector &u) throw (IncompatibleDBMVector)
DBMPoint	getPoint () const throw (std::out_of_range,OutOfMemory,IllegalFirstValue,InvalidDimension)
Static Public Member Functions
static DBM	init (int dim) throw (InvalidDimension,DimensionTooLarge)
static DBM	zero (int dim) throw (InvalidDimension,DimensionTooLarge)
Private Member Functions
	DBM (const dbm::dbm_t &arg)
Static Private Member Functions
static int	allocSize (int dim)
static int	write (char *s, int size, const raw_t *m, int dim)
static void	setDBM (dbm::dbm_t &wdbm, const DBMMatrix &arg) throw (InvalidDBMMatrix,InvalidDimension,DimensionTooLarge)
Private Attributes
char *	str
dbm::dbm_t	wdbm
Friends
class	Fed

---

Constructor & Destructor Documentation

udbm::DBM::DBM (  int  d  )  throw (InvalidDimension,DimensionTooLarge) [inline]

udbm::DBM::DBM (  const DBM &  arg  )  [inline]

udbm::DBM::DBM (  const DBMMatrix &  arg  )  throw (InvalidDBMMatrix,InvalidDimension,DimensionTooLarge) [inline]

udbm::DBM::~DBM (   )  [inline]

udbm::DBM::DBM (  const dbm::dbm_t &  arg  )  [inline, private]

---

Member Function Documentation

static int udbm::DBM::allocSize (  int  dim  )  [inline, static, private]

DBM& udbm::DBM::applyDown (   )  [inline]

DBM& udbm::DBM::applyFreeAllDown (   )  [inline]

DBM& udbm::DBM::applyFreeAllUp (   )  [inline]

DBM& udbm::DBM::applyFreeClock (  int  clk  )  [inline]

DBM& udbm::DBM::applyFreeDown (  int  clk  )  [inline]

DBM& udbm::DBM::applyFreeUp (  int  clk  )  [inline]

DBM& udbm::DBM::applyUp (   )  [inline]

bool udbm::DBM::constrain (  int  i, int  j, int  bound, bool  strict )  [inline]

bool udbm::DBM::constrain (  int  i, int  j, Constraint &  c )  [inline]

bool udbm::DBM::constrainClock (  int  clk, int  value )  [inline]

bool udbm::DBM::contains (  const DBMPoint &  v  )  const throw (IncompatibleDBMPoint) [inline]

bool udbm::DBM::contains (  const DBMVector &  v  )  const throw (IncompatibleDBMVector) [inline]

DBM & udbm::DBM::convexHull (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

DBM& udbm::DBM::convexHull (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

DBM udbm::DBM::copy (   )  const [inline]

DBM& udbm::DBM::diagonalExtrapolateLUBounds (  const DBMVector &  l, const DBMVector &  u )  throw (IncompatibleDBMVector) [inline]

DBM& udbm::DBM::diagonalExtrapolateMaxBounds (  const DBMVector &  v  )  throw (IncompatibleDBMVector) [inline]

int udbm::DBM::dim (   )  const [inline]

relation_t udbm::DBM::exactRelation (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

relation_t udbm::DBM::exactRelation (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

DBM& udbm::DBM::extrapolateLUBounds (  const DBMVector &  l, const DBMVector &  u )  throw (IncompatibleDBMVector) [inline]

DBM& udbm::DBM::extrapolateMaxBounds (  const DBMVector &  v  )  throw (IncompatibleDBMVector) [inline]

DBMPoint udbm::DBM::getPoint (   )  const throw (std::out_of_range,OutOfMemory,IllegalFirstValue,InvalidDimension) [inline]

static DBM udbm::DBM::init (  int  dim  )  throw (InvalidDimension,DimensionTooLarge) [inline, static]

void udbm::DBM::intern (   )  [inline]

DBM& udbm::DBM::intersectionWith (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

bool udbm::DBM::intersects (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::intersects (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::isEmpty (   )  const [inline]

bool udbm::DBM::isIncludedIn (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::isIncludedIn (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::isStrictlyIncludedIn (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::isStrictlyIncludedIn (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::isSubtractionEmpty (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::isSubtractionEmpty (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::isUnbounded (   )  const [inline]

Fed udbm::DBM::operator & (  const Fed &  arg  )  throw (IncompatibleFed) [inline]

DBM udbm::DBM::operator & (  const DBM &  arg  )  throw (IncompatibleDBM) [inline]

DBM udbm::DBM::operator+ (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

DBM udbm::DBM::operator+ (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::operator< (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::operator< (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::operator<= (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::operator<= (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

DBM& udbm::DBM::operator= (  const DBM &  arg  )  [inline]

bool udbm::DBM::operator== (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::operator== (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::operator> (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::operator> (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

bool udbm::DBM::operator>= (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

bool udbm::DBM::operator>= (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

Constraint udbm::DBM::read (  int  i, int  j )  const throw (IndexOutOfRange,EmptyDBM) [inline]

relation_t udbm::DBM::relation (  const Fed &  arg  )  const throw (IncompatibleFed) [inline]

relation_t udbm::DBM::relation (  const DBM &  arg  )  const throw (IncompatibleDBM) [inline]

DBM& udbm::DBM::relaxAll (   )  [inline]

DBM& udbm::DBM::relaxDown (  int  k  )  [inline]

DBM& udbm::DBM::relaxDown (   )  [inline]

DBM& udbm::DBM::relaxUp (  int  k  )  [inline]

DBM& udbm::DBM::relaxUp (   )  [inline]

bool udbm::DBM::satisfies (  int  i, int  j, const Constraint &  c )  const [inline]

bool udbm::DBM::satisfies (  int  i, int  j, int  bound, bool  strict )  const [inline]

void udbm::DBM::setDBM (  dbm::dbm_t &  wdbm, const DBMMatrix &  arg )  throw (InvalidDBMMatrix,InvalidDimension,DimensionTooLarge) [static, private]

void udbm::DBM::setEmpty (   )  [inline]

void udbm::DBM::setInit (   )  [inline]

void udbm::DBM::setZero (   )  [inline]

char* udbm::DBM::to_s (   )  throw (std::bad_alloc) [inline]

DBM& udbm::DBM::updateClock (  int  x, int  y )  [inline]

DBM& udbm::DBM::updateGeneral (  int  x, int  y, int  v )  [inline]

DBM& udbm::DBM::updateIncrement (  int  x, int  v )  [inline]

DBM& udbm::DBM::updateValue (  int  x, int  v )  [inline]

int udbm::DBM::write (  char *  s, int  size, const raw_t *  m, int  dim )  [static, private]

static DBM udbm::DBM::zero (  int  dim  )  throw (InvalidDimension,DimensionTooLarge) [inline, static]

---

Friends And Related Function Documentation

friend class Fed [friend]

---

Member Data Documentation

char* udbm::DBM::str [private]

dbm::dbm_t udbm::DBM::wdbm [private]

---

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

• /home/adavid/UPPAAL/trunk/server/modules/dbm/swig/wrapper.h
• /home/adavid/UPPAAL/trunk/server/modules/dbm/swig/wrapper.cpp

---