udbm::DBMMatrix Class Reference

#include <wrapper.h>

List of all members.

Public Member Functions
	DBMMatrix () throw (OutOfMemory)
DBMMatrix &	operator< (int bound) throw (OutOfMemory,std::bad_alloc)
DBMMatrix &	operator<= (int bound) throw (OutOfMemory,std::bad_alloc)
DBMMatrix &	add (int bound, bool strict) throw (OutOfMemory,std::bad_alloc)
FedArray	operator| (const DBMMatrix &m) throw (OutOfMemory,IncompatibleDBM)
int	size () const
int	get (int index) const
const int *	getMatrix () const
Private Types
typedef PointerAS< int >	matrix_t
Private Attributes
matrix_t	matrix

---

Member Typedef Documentation

typedef PointerAS<int> udbm::DBMMatrix::matrix_t [private]

---

Constructor & Destructor Documentation

udbm::DBMMatrix::DBMMatrix (   )  throw (OutOfMemory) [inline]

---

Member Function Documentation

DBMMatrix& udbm::DBMMatrix::add (  int  bound, bool  strict )  throw (OutOfMemory,std::bad_alloc) [inline]

int udbm::DBMMatrix::get (  int  index  )  const [inline]

const int* udbm::DBMMatrix::getMatrix (   )  const [inline]

DBMMatrix& udbm::DBMMatrix::operator< (  int  bound  )  throw (OutOfMemory,std::bad_alloc) [inline]

DBMMatrix& udbm::DBMMatrix::operator<= (  int  bound  )  throw (OutOfMemory,std::bad_alloc) [inline]

FedArray udbm::DBMMatrix::operator| (  const DBMMatrix &  m  )  throw (OutOfMemory,IncompatibleDBM) [inline]

int udbm::DBMMatrix::size (   )  const [inline]

---

Member Data Documentation

matrix_t udbm::DBMMatrix::matrix [private]

---

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

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

---