This class defines an iterator over the last minimal term of a given ZDD node. More...
#include <CCuddLastIter.h>
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. | |
| 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 last minimal term of a given ZDD node.
Member Typedef Documentation
Get base type.
| typedef std::forward_iterator_tag polybori::CCuddLastIter::iterator_category |
Interface type for standard iterator access.
Get type of *this.
Constructor & Destructor Documentation
| polybori::CCuddLastIter::CCuddLastIter | ( | ) | [inline] |
Default constructor and construct from node pointer.
| polybori::CCuddLastIter::CCuddLastIter | ( | pointer_type | ptr | ) |
References PBORI_TRACE_FUNC, and terminateConstant().
| polybori::CCuddLastIter::CCuddLastIter | ( | const self & | rhs | ) |
Copy Constructor.
References PBORI_TRACE_FUNC.
Destructor.
References PBORI_TRACE_FUNC.
Member Function Documentation
| CCuddLastIter & polybori::CCuddLastIter::operator++ | ( | ) |
Prefix increment operator.
References PBORI_TRACE_FUNC, and terminateConstant().
Referenced by operator++().
| CCuddLastIter polybori::CCuddLastIter::operator++ | ( | int | ) |
Postfix increment operator.
References operator++(), and PBORI_TRACE_FUNC.
| void polybori::CCuddLastIter::terminateConstant | ( | ) | [protected] |
Constant nodes are marked as the end of a path.
References PBORI_TRACE_FUNC.
Referenced by CCuddLastIter(), and operator++().
The documentation for this class was generated from the following files:
