dbm::fdbm_t Class Reference

#include <inline_fed.h>

List of all members.

Public Member Functions
fdbm_t *	copy () const
	Wrapper methods.
bool	isEmpty () const
cindex_t	getDimension () const
void	remove ()
	Remove this fdbm_t and its DBM.
void	removeEmpty ()
	Remove this fdbm_t with.
size_t	size () const
	Compute list size.
const dbm_t &	const_dbmt () const
dbm_t &	dbmt ()
raw_t *	getMatrix ()
	Unchecked access.
fdbm_t **	getNextMutable ()
const fdbm_t *	getNext () const
fdbm_t *	getNext ()
bool	hasNext (fdbm_t **nxt) const
	Test its next pointer.
void	setNext (fdbm_t *nxt)
	Change next for iterations.
fdbm_t *	removeAndNext ()
	Remove this and return next;.
fdbm_t *	removeEmptyAndNext ()
	Remove this and return next;.
Static Public Member Functions
static fdbm_t *	create (const raw_t *adbm, cindex_t dim, fdbm_t *nxt=NULL)
	Copy a DBM into a newly created fdbm_t.
static fdbm_t *	create (const dbm_t &adbm, fdbm_t *nxt=NULL)
static fdbm_t *	copy (const fdbm_t *start, fdbm_t *end=NULL)
	Copy start and append end to the copy.
static void	removeAll (fdbm_t *fhead)
	Remove the list starting at fhead.
static fdbm_t *	append (fdbm_t *start, fdbm_t *end)
Private Member Functions
	~fdbm_t ()
	Must never be called.
Static Private Member Functions
static fdbm_t *	create (fdbm_t *nxt=NULL)
	Creation of fdbm_t using an allocator.
Private Attributes
fdbm_t *	next
dbm_t	idbm

---

Constructor & Destructor Documentation

dbm::fdbm_t::~fdbm_t (   )  [inline, private]

Must never be called.

---

Member Function Documentation

fdbm_t * dbm::fdbm_t::append (  fdbm_t *  start, fdbm_t *  end )  [static]

Returns: start appended with end.

const dbm_t& dbm::fdbm_t::const_dbmt (   )  const [inline]

Returns: the internal DBM.

fdbm_t* dbm::fdbm_t::copy (   )  const [inline]

Wrapper methods.

fdbm_t * dbm::fdbm_t::copy (  const fdbm_t *  start, fdbm_t *  end = NULL )  [static]

Copy start and append end to the copy.

fdbm_t * dbm::fdbm_t::create (  fdbm_t *  nxt = NULL  )  [static, private]

Creation of fdbm_t using an allocator.

static fdbm_t* dbm::fdbm_t::create (  const dbm_t &  adbm, fdbm_t *  nxt = NULL )  [inline, static]

static fdbm_t* dbm::fdbm_t::create (  const raw_t *  adbm, cindex_t  dim, fdbm_t *  nxt = NULL )  [inline, static]

Copy a DBM into a newly created fdbm_t. Parameters: adbm,:  the DBM to copy. nxt,:  list of DBMs to append.

dbm_t& dbm::fdbm_t::dbmt (   )  [inline]

cindex_t dbm::fdbm_t::getDimension (   )  const [inline]

raw_t* dbm::fdbm_t::getMatrix (   )  [inline]

Unchecked access.

fdbm_t* dbm::fdbm_t::getNext (   )  [inline]

const fdbm_t* dbm::fdbm_t::getNext (   )  const [inline]

fdbm_t** dbm::fdbm_t::getNextMutable (   )  [inline]

Returns: next for iterations.

bool dbm::fdbm_t::hasNext (  fdbm_t **  nxt  )  const [inline]

Test its next pointer.

bool dbm::fdbm_t::isEmpty (   )  const [inline]

void dbm::fdbm_t::remove (   )  [inline]

Remove this fdbm_t and its DBM.

void dbm::fdbm_t::removeAll (  fdbm_t *  fhead  )  [static]

Remove the list starting at fhead.

fdbm_t* dbm::fdbm_t::removeAndNext (   )  [inline]

Remove this and return next;.

void dbm::fdbm_t::removeEmpty (   )  [inline]

Remove this fdbm_t with. Precondition: isEmpty()

fdbm_t* dbm::fdbm_t::removeEmptyAndNext (   )  [inline]

Remove this and return next;.

void dbm::fdbm_t::setNext (  fdbm_t *  nxt  )  [inline]

Change next for iterations.

size_t dbm::fdbm_t::size (   )  const [inline]

Compute list size.

---

Member Data Documentation

dbm_t dbm::fdbm_t::idbm [private]

fdbm_t* dbm::fdbm_t::next [private]

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/dbm/inline_fed.h
• /home/adavid/UPPAAL/trunk/server/modules/dbm/fed.cpp

---