udbm::DBMVector Class Reference

#include <wrapper.h>

List of all members.

Public Member Functions
	DBMVector () throw (OutOfMemory,std::bad_alloc)
	DBMVector (const DBMVector &arg) throw (OutOfMemory,IllegalFirstValue)
	DBMVector (int n) throw (OutOfMemory,InvalidDimension,std::bad_alloc)
DBMVector &	operator= (const DBMVector &arg) throw (OutOfMemory,IllegalFirstValue)
	~DBMVector ()
int	size () const
int	get (int i) const throw (IndexOutOfRange)
const int *	begin () const
const int *	end () const
DBMVector &	set (int i, int v) throw (IndexOutOfRange,InvalidBoundValue,std::bad_alloc)
DBMVector &	operator<< (int v) throw (OutOfMemory,InvalidBoundValue,std::bad_alloc)
DBMVector &	operator<< (const DBMVector &a) throw (OutOfMemory,InvalidBoundValue,std::bad_alloc)
char *	to_s () throw (std::bad_alloc)
Private Types
typedef PointerAS< int >	ivec_t
Private Attributes
char *	str
ivec_t	vec

---

Member Typedef Documentation

typedef PointerAS<int> udbm::DBMVector::ivec_t [private]

---

Constructor & Destructor Documentation

udbm::DBMVector::DBMVector (   )  throw (OutOfMemory,std::bad_alloc) [inline]

udbm::DBMVector::DBMVector (  const DBMVector &  arg  )  throw (OutOfMemory,IllegalFirstValue) [inline]

udbm::DBMVector::DBMVector (  int  n  )  throw (OutOfMemory,InvalidDimension,std::bad_alloc) [inline]

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

---

Member Function Documentation

const int* udbm::DBMVector::begin (   )  const [inline]

const int* udbm::DBMVector::end (   )  const [inline]

int udbm::DBMVector::get (  int  i  )  const throw (IndexOutOfRange) [inline]

DBMVector& udbm::DBMVector::operator<< (  const DBMVector &  a  )  throw (OutOfMemory,InvalidBoundValue,std::bad_alloc) [inline]

DBMVector& udbm::DBMVector::operator<< (  int  v  )  throw (OutOfMemory,InvalidBoundValue,std::bad_alloc) [inline]

DBMVector& udbm::DBMVector::operator= (  const DBMVector &  arg  )  throw (OutOfMemory,IllegalFirstValue) [inline]

DBMVector& udbm::DBMVector::set (  int  i, int  v )  throw (IndexOutOfRange,InvalidBoundValue,std::bad_alloc) [inline]

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

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

---

Member Data Documentation

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

ivec_t udbm::DBMVector::vec [private]

---

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

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

---