polybori::CCuddFirstIter Class Reference

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

#include <CCuddFirstIter.h>

Inheritance diagram for polybori::CCuddFirstIter:

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	base
	Get base type.
Public Member Functions
	CCuddFirstIter ()
	Default constructor.
	CCuddFirstIter (pointer_type ptr)
	Construct from node pointer.
	CCuddFirstIter (const self &rhs)
	Copy Constructor.
	CCuddFirstIter (const base &rhs)
	Copy Constructor.
	~CCuddFirstIter ()
	Destructor.
self &	operator++ ()
	Prefix increment operator.
self	operator++ (int)
	Postfix increment operator.
Protected Member Functions
void	terminateConstant ()
	Constant nodes are marked as the end of a path.

---

Detailed Description

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

---

Member Typedef Documentation

typedef std::forward_iterator_tag polybori::CCuddFirstIter::iterator_category

Interface type for standard iterator access.

Reimplemented from polybori::CCuddNavigator.

typedef CCuddFirstIter polybori::CCuddFirstIter::self

Get type of *this.

Reimplemented from polybori::CCuddNavigator.

typedef CCuddNavigator polybori::CCuddFirstIter::base

Get base type.

---

Constructor & Destructor Documentation

polybori::CCuddFirstIter::CCuddFirstIter

(

)

[inline]

Default constructor.

polybori::CCuddFirstIter::CCuddFirstIter

(

pointer_type

ptr

)

[inline]

Construct from node pointer.

References PBORI_TRACE_FUNC, and terminateConstant().

polybori::CCuddFirstIter::CCuddFirstIter

(

const self &

rhs

)

[inline]

Copy Constructor.

polybori::CCuddFirstIter::CCuddFirstIter

(

const base &

rhs

)

[inline]

Copy Constructor.

polybori::CCuddFirstIter::~CCuddFirstIter

(

)

[inline]

Destructor.

---

Member Function Documentation

CCuddFirstIter & polybori::CCuddFirstIter::operator++

(

)

[inline]

Prefix increment operator.

References polybori::CCuddNavigator::incrementThen(), PBORI_TRACE_FUNC, and terminateConstant().

Referenced by operator++().

CCuddFirstIter polybori::CCuddFirstIter::operator++

(

int

)

[inline]

Postfix increment operator.

References operator++(), and PBORI_TRACE_FUNC.

void polybori::CCuddFirstIter::terminateConstant

(

)

[inline, protected]

Constant nodes are marked as the end of a path.

References polybori::CCuddNavigator::isConstant(), and PBORI_TRACE_FUNC.

Referenced by CCuddFirstIter(), and operator++().

---

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

• CCuddFirstIter.h