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

Type for boolean values.

Type for constantly accessing node pointer.

typedef std::forward_iterator_tag CCuddFirstIter::iterator_category

Interface type for standard iterator access.

Get navigator type.

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

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:
Generated on Tue May 4 08:13:26 2010 for PolyBoRi by  doxygen 1.6.3