DBMFederation_t Struct Reference

DBM Federation. More...

#include <dbmfederation.h>

List of all members.

Public Attributes
DBMList_t *	dbmList
cindex_t	dim

---

Detailed Description

DBM Federation.

---

Member Data Documentation

DBMList_t* DBMFederation_t::dbmList

cindex_t DBMFederation_t::dim

---

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

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

---