udbm::FedArray Class Reference

#include <wrapper.h>

List of all members.

Public Member Functions
	FedArray () throw (OutOfMemory)
	FedArray (const DBMMatrix &m) throw (OutOfMemory,IncompatibleDBM)
FedArray &	operator| (const DBMMatrix &m) throw (OutOfMemory,IncompatibleDBM,std::bad_alloc)
int	size () const
const DBMMatrix &	get (int index) const
Private Types
typedef PointerAP< DBMMatrix >	matrixptr_t
Private Attributes
int	matrixSize
matrixptr_t	matrices

---

Member Typedef Documentation

typedef PointerAP<DBMMatrix> udbm::FedArray::matrixptr_t [private]

---

Constructor & Destructor Documentation

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

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

---

Member Function Documentation

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

FedArray & udbm::FedArray::operator| (  const DBMMatrix &  m  )  throw (OutOfMemory,IncompatibleDBM,std::bad_alloc)

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

---

Member Data Documentation

matrixptr_t udbm::FedArray::matrices [private]

int udbm::FedArray::matrixSize [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

---