CCuddLastIter Class Reference

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

#include <CCuddLastIter.h>

Inheritance diagram for CCuddLastIter:
CCuddNavigator

List of all members.

Public Types

typedef std::forward_iterator_tag iterator_category
 Interface type for standard iterator access.
typedef CCuddLastIter self
 Get type of *this.
typedef CCuddNavigator base
 Get base type.

Public Member Functions

 CCuddLastIter ()
 Default constructor and construct from node pointer.
 CCuddLastIter (pointer_type ptr)
 CCuddLastIter (const self &)
 Copy Constructor.
 ~CCuddLastIter ()
 Destructor.
selfoperator++ ()
 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 last minimal term of a given ZDD node.


Member Typedef Documentation

Get base type.

typedef std::forward_iterator_tag CCuddLastIter::iterator_category

Interface type for standard iterator access.

Reimplemented from CCuddNavigator.

Get type of *this.

Reimplemented from CCuddNavigator.


Constructor & Destructor Documentation

CCuddLastIter::CCuddLastIter (  )  [inline]

Default constructor and construct from node pointer.

BEGIN_NAMESPACE_PBORI CCuddLastIter::CCuddLastIter ( pointer_type  ptr  ) 
CCuddLastIter::CCuddLastIter ( const self rhs  ) 

Copy Constructor.

References PBORI_TRACE_FUNC.

CCuddLastIter::~CCuddLastIter (  ) 

Destructor.

References PBORI_TRACE_FUNC.


Member Function Documentation

CCuddLastIter CCuddLastIter::operator++ ( int   ) 

Postfix increment operator.

References operator++(), and PBORI_TRACE_FUNC.

CCuddLastIter & CCuddLastIter::operator++ (  ) 
void CCuddLastIter::terminateConstant (  )  [protected]

Constant nodes are marked as the end of a path.

References CCuddNavigator::isConstant(), and PBORI_TRACE_FUNC.

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


The documentation for this class was generated from the following files:
Generated on Thu Aug 5 13:34:44 2010 for PolyBoRi by  doxygen 1.6.3