dbm::partition_t::const_iterator Class Reference

Iterator to read the federation of the partitions. More...

#include <partition.h>

List of all members.

Public Member Functions
	const_iterator (const entry_t *const *start)
	Constructor should be used only by partition_t.
const fed_t &	operator * ()
	Dereference returns a federation.
const fed_t *	operator-> ()
bool	isNull () const
uint32_t	id () const
const_iterator &	operator++ ()
bool	operator== (const const_iterator &arg) const
	Standard == and != operators.
bool	operator!= (const const_iterator &arg) const
bool	operator< (const const_iterator &arg) const
Private Attributes
const entry_t *const *	current

---

Detailed Description

Iterator to read the federation of the partitions.

Only const is provided since modifying federations may destroy the partition.

---

Constructor & Destructor Documentation

dbm::partition_t::const_iterator::const_iterator (  const entry_t *const *  start  )  [inline]

Constructor should be used only by partition_t.

---

Member Function Documentation

uint32_t dbm::partition_t::const_iterator::id (   )  const [inline]

bool dbm::partition_t::const_iterator::isNull (   )  const [inline]

const fed_t& dbm::partition_t::const_iterator::operator * (   )  [inline]

Dereference returns a federation.

bool dbm::partition_t::const_iterator::operator!= (  const const_iterator &  arg  )  const [inline]

const_iterator& dbm::partition_t::const_iterator::operator++ (   )  [inline]

const fed_t* dbm::partition_t::const_iterator::operator-> (   )  [inline]

bool dbm::partition_t::const_iterator::operator< (  const const_iterator &  arg  )  const [inline]

bool dbm::partition_t::const_iterator::operator== (  const const_iterator &  arg  )  const [inline]

Standard == and != operators. The implementation uses ||, this is not a typo. The hash table may be sparse internally and the ++ operator stops to increment whenever there is nothing left.

---

Member Data Documentation

const entry_t* const* dbm::partition_t::const_iterator::current [private]

---

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

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

---