dbmlist_s Struct Reference

DBM Federation type: such federations have one dimension and several DBMs of the same dimension. More...

#include <dbmfederation.h>

List of all members.

Public Attributes
dbmlist_s *	next
	next DBM in the federation
raw_t	dbm []
	DBM of size dim*dim.

---

Detailed Description

DBM Federation type: such federations have one dimension and several DBMs of the same dimension.

This is the list of DBMs for the federation.

---

Member Data Documentation

raw_t dbmlist_s::dbm[]

DBM of size dim*dim.

struct dbmlist_s* dbmlist_s::next

next DBM in the federation

---

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

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

---