18 #ifndef polybori_iterators_CCuddLastIter_h_
19 #define polybori_iterators_CCuddLastIter_h_
47 CCuddLastIter(pointer_type ptr);
50 CCuddLastIter(
const self&);
63 void terminateConstant();
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
CCuddNavigator base
Get base type.
Definition: CCuddLastIter.h:43
std::forward_iterator_tag iterator_category
Interface type for standard iterator access.
Definition: CCuddLastIter.h:37
This class defines an iterator over the last minimal term of a given ZDD node.
Definition: CCuddLastIter.h:32
This class defines an iterator for navigating through then and else branches of ZDDs.
Definition: CCuddNavigator.h:36
CCuddLastIter()
Default constructor and construct from node pointer.
Definition: CCuddLastIter.h:46