dbm::ifed_t Class Reference

#include <inline_fed.h>

Inheritance diagram for dbm::ifed_t:

List of all members.

Public Member Functions
void	update (const raw_t *adbm, cindex_t adim)
	Update the 1st DBM,.
void	update (const dbm_t &adbm)
bool	isOK () const
	Check invariants.
cindex_t	getDimension () const
void	setDimension (cindex_t d)
	Change the dimension.
bool	isEmpty () const
uint32_t	hash (uint32_t seed=0) const
	Compute a hash value that does not depend on the order of the DBMs.
void	decRef ()
	Decrement reference count, maybe deallocate.
void	decRefImmutable ()
	Decrement reference count with.
void	incRef ()
	Increment reference count.
bool	isMutable () const
void	removeMutable ()
	Remove this ifed_t with.
ifed_t *	copy (ifed_t *other) const
ifed_t *	copy (fdbm_t *end=NULL, size_t endSize=0) const
void	insert (const dbm_t &adbm)
	Insert a dbm,.
void	insert (const raw_t *adbm, cindex_t adim)
void	setEmpty ()
	Deallocate the list + update state.
void	setDBM (fdbm_t *fdbm)
	Deallocate the list and set the new list.
Static Public Member Functions
static ifed_t *	create (const raw_t *adbm, cindex_t dim, size_t nxtSize=0, fdbm_t *nxt=NULL)
	Creation and initialization of ifed_t.
static ifed_t *	create (const dbm_t &adbm, size_t nxtSize=0, fdbm_t *nxt=NULL)
static ifed_t *	create (cindex_t dim)
static ifed_t *	create (cindex_t dim, dbmlist_t dbmlist)
Private Member Functions
void	remove ()
	Deallocate this ifed and its list of DBMs.
Static Private Member Functions
static ifed_t *	create (cindex_t dim, size_t size, fdbm_t *head)
	Allocation of an ifed_t (and a fdbm_t) with an allocator.
Private Attributes
uint32_t	refCounter
cindex_t	dim

---

Member Function Documentation

ifed_t* dbm::ifed_t::copy (  fdbm_t *  end = NULL, size_t  endSize = 0 )  const [inline]

ifed_t* dbm::ifed_t::copy (  ifed_t *  other  )  const [inline]

Returns: copy of this ifed_t with appended list. Precondition: other is mutable.

ifed_t * dbm::ifed_t::create (  cindex_t  dim, size_t  size, fdbm_t *  head )  [static, private]

Allocation of an ifed_t (and a fdbm_t) with an allocator.

static ifed_t* dbm::ifed_t::create (  cindex_t  dim, dbmlist_t  dbmlist )  [inline, static]

static ifed_t* dbm::ifed_t::create (  cindex_t  dim  )  [inline, static]

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

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

Creation and initialization of ifed_t. Precondition: the dbm is not empty.

void dbm::ifed_t::decRef (   )  [inline]

Decrement reference count, maybe deallocate.

void dbm::ifed_t::decRefImmutable (   )  [inline]

Decrement reference count with. Precondition: !isMutable()

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

Returns: dimension of this federation.

uint32_t dbm::ifed_t::hash (  uint32_t  seed = 0  )  const

Compute a hash value that does not depend on the order of the DBMs.

void dbm::ifed_t::incRef (   )  [inline]

Increment reference count.

void dbm::ifed_t::insert (  const raw_t *  adbm, cindex_t  adim )  [inline]

void dbm::ifed_t::insert (  const dbm_t &  adbm  )  [inline]

Insert a dbm,. Precondition: same dimension & not empty.

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

Returns: true if this federation is empty.

bool dbm::ifed_t::isMutable (   )  const [inline]

Returns: if this ifed_t can be modified.

bool dbm::ifed_t::isOK (   )  const [inline]

Check invariants.

void dbm::ifed_t::remove (   )  [private]

Deallocate this ifed and its list of DBMs.

void dbm::ifed_t::removeMutable (   )  [inline]

Remove this ifed_t with. Precondition: isMutable()

void dbm::ifed_t::setDBM (  fdbm_t *  fdbm  )  [inline]

Deallocate the list and set the new list.

void dbm::ifed_t::setDimension (  cindex_t  d  )  [inline]

Change the dimension. Precondition: isEmpty()

void dbm::ifed_t::setEmpty (   )  [inline]

Deallocate the list + update state.

void dbm::ifed_t::update (  const dbm_t &  adbm  )  [inline]

void dbm::ifed_t::update (  const raw_t *  adbm, cindex_t  adim )  [inline]

Update the 1st DBM,. Precondition: size() > 0 and same dimension.

---

Member Data Documentation

cindex_t dbm::ifed_t::dim [private]

uint32_t dbm::ifed_t::refCounter [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

---