polybori::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 polybori::CCuddLastIter:
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
| typedef std::forward_iterator_tag polybori::CCuddLastIter::iterator_category |
Get base type.
Constructor & Destructor Documentation
| polybori::CCuddLastIter::CCuddLastIter | ( | ) | [inline] |
Default constructor and construct from node pointer.
| polybori::CCuddLastIter::CCuddLastIter | ( | pointer_type | ptr | ) |
| polybori::CCuddLastIter::CCuddLastIter | ( | const self & | rhs | ) |
| polybori::CCuddLastIter::~CCuddLastIter | ( | ) |
Member Function Documentation
| CCuddLastIter & polybori::CCuddLastIter::operator++ | ( | ) |
Prefix increment operator.
References polybori::CCuddNavigator::incrementElse(), polybori::CCuddNavigator::incrementThen(), polybori::CCuddNavigator::isConstant(), polybori::CCuddNavigator::isValid(), PBORI_ASSERT, PBORI_TRACE_FUNC, polybori::CCuddNavigator::terminalValue(), and terminateConstant().
Referenced by operator++().
| CCuddLastIter polybori::CCuddLastIter::operator++ | ( | int | ) |
| void polybori::CCuddLastIter::terminateConstant | ( | ) | [protected] |
Constant nodes are marked as the end of a path.
References polybori::CCuddNavigator::isConstant(), and PBORI_TRACE_FUNC.
Referenced by CCuddLastIter(), and operator++().
The documentation for this class was generated from the following files:
