CCuddFirstIter Class Reference

This class defines an iterator over the first minimal term of a given ZDD node. More...

#include <CCuddFirstIter.h>

List of all members.

Public Types
typedef std::forward_iterator_tag	iterator_category
	Interface type for standard iterator access.
typedef CCuddFirstIter	self
	Get type of *this.
typedef CCuddNavigator	navigator
	Get navigator type.
typedef navigator::const_access_type	const_access_type
	Type for constantly accessing node pointer.
typedef navigator::bool_type	bool_type
	Type for boolean values.
Public Member Functions
	CCuddFirstIter ()
	Default constructor.
	CCuddFirstIter (navigator rhs)
	Construct from navigator over nodes.
	~CCuddFirstIter ()
	Destructor.
void	increment ()
	Incrementation operation.
bool_type	equal (const self &rhs) const
	Equality test.
navigator::reference	dereference () const
	Dereferencing of the iterator.
bool_type	isEnd () const
	Check, whether end of iteration is reached.
Protected Member Functions
void	terminateConstant ()
	Constant nodes are marked as the end of a path.
Protected Attributes
navigator	m_navi
	Use navigator to access diagram nodes.

---

Detailed Description

This class defines an iterator over the first minimal term of a given ZDD node.

---

Member Typedef Documentation

typedef navigator::bool_type CCuddFirstIter::bool_type

Type for boolean values.

typedef navigator::const_access_type CCuddFirstIter::const_access_type

Type for constantly accessing node pointer.

typedef std::forward_iterator_tag CCuddFirstIter::iterator_category

Interface type for standard iterator access.

typedef CCuddNavigator CCuddFirstIter::navigator

Get navigator type.

typedef CCuddFirstIter CCuddFirstIter::self

Get type of *this.

---

Constructor & Destructor Documentation

CCuddFirstIter::CCuddFirstIter

(

)

[inline]

Default constructor.

CCuddFirstIter::CCuddFirstIter

(

navigator

rhs

)

[inline]

Construct from navigator over nodes.

References terminateConstant().

CCuddFirstIter::~CCuddFirstIter

(

)

[inline]

Destructor.

---

Member Function Documentation

navigator::reference CCuddFirstIter::dereference

(

)

const [inline]

Dereferencing of the iterator.

References m_navi.

bool_type CCuddFirstIter::equal

(

const self &

rhs

)

const [inline]

Equality test.

References m_navi.

void CCuddFirstIter::increment

(

)

[inline]

Incrementation operation.

References CCuddNavigator::incrementThen(), m_navi, and terminateConstant().

bool_type CCuddFirstIter::isEnd

(

)

const [inline]

Check, whether end of iteration is reached.

References CCuddNavigator::isValid(), and m_navi.

void CCuddFirstIter::terminateConstant

(

)

[inline, protected]

Constant nodes are marked as the end of a path.

References CCuddNavigator::isConstant(), and m_navi.

Referenced by CCuddFirstIter(), and increment().

---

Member Data Documentation

navigator CCuddFirstIter::m_navi [protected]

Use navigator to access diagram nodes.

Referenced by dereference(), equal(), increment(), isEnd(), and terminateConstant().

---

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

• CCuddFirstIter.h