dbm::pfed_t::pfed_s Struct Reference

#include <pfed.h>

List of all members.

Public Attributes
std::slist< PDBM >	zones
uint32_t	count
cindex_t	dim

---

Member Data Documentation

uint32_t dbm::pfed_t::pfed_s::count

cindex_t dbm::pfed_t::pfed_s::dim

std::slist<PDBM> dbm::pfed_t::pfed_s::zones

---

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

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

---