DBMAllocator_t Struct Reference

DBM factory: wrapper around an allocator. More...

#include <dbmfederation.h>

List of all members.

Public Attributes
DBMList_t *	freeDBM
	list of deallocated DBMs
size_t	sizeOfAlloc
	sizeof(DBMList_t)+maxDim*maxDim*sizeof(raw_t) in the preconditions, we refer to factory->dim for simplicity
cindex_t	maxDim
	maximal dimension handled by this factory

---

Detailed Description

DBM factory: wrapper around an allocator.

The allocated DBM is of dimension = max possible dimension.

---

Member Data Documentation

DBMList_t* DBMAllocator_t::freeDBM

list of deallocated DBMs

cindex_t DBMAllocator_t::maxDim

maximal dimension handled by this factory

size_t DBMAllocator_t::sizeOfAlloc

sizeof(DBMList_t)+maxDim*maxDim*sizeof(raw_t) in the preconditions, we refer to factory->dim for simplicity

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/dbm/dbmfederation.h

---