dbm::DBMAllocator Class Reference

< Allocator for DBMs, only if we don't use new for them. More...

#include <DBMAllocator.h>

List of all members.

Public Member Functions
	DBMAllocator ()
	free memory of the deallocated idbm_t
void	cleanUp ()
	Wrapper function.
void *	alloc (cindex_t dim)
	Allocate memory to instantiate an idbm_t.
void	dealloc (idbm_t *dbm)
	a constant DBM 1x1 (copies will make it non-mutable).
dbm_t &	dbm1 ()
Private Attributes
base::array_t< idbm_t * >	freeList
dbm_t	dbm1x1

---

Detailed Description

< Allocator for DBMs, only if we don't use new for them.

---

Constructor & Destructor Documentation

dbm::DBMAllocator::DBMAllocator (   )  [inline]

free memory of the deallocated idbm_t

---

Member Function Documentation

void* dbm::DBMAllocator::alloc (  cindex_t  dim  )  [inline]

Allocate memory to instantiate an idbm_t. Parameters: dim,:  dimension of the DBM

void dbm::DBMAllocator::cleanUp (   )

Wrapper function.

dbm_t& dbm::DBMAllocator::dbm1 (   )  [inline]

void dbm::DBMAllocator::dealloc (  idbm_t *  dbm  )  [inline]

a constant DBM 1x1 (copies will make it non-mutable).

---

Member Data Documentation

dbm_t dbm::DBMAllocator::dbm1x1 [private]

base::array_t<idbm_t*> dbm::DBMAllocator::freeList [private]

---

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

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

---