PolyBoRi
|
This class defines an iterator over the first minimal term of a given ZDD node. More...
#include <CCuddFirstIter.h>
Public Types | |
typedef std::forward_iterator_tag | iterator_category |
Interface type for standard iterator access. More... | |
typedef CCuddFirstIter | self |
Get type of *this. More... | |
typedef CCuddNavigator | navigator |
Get navigator type. More... | |
typedef navigator::const_access_type | const_access_type |
Type for constantly accessing node pointer. More... | |
typedef navigator::bool_type | bool_type |
Type for boolean values. More... | |
Public Member Functions | |
CCuddFirstIter () | |
Default constructor. More... | |
CCuddFirstIter (navigator rhs) | |
Construct from navigator over nodes. More... | |
~CCuddFirstIter () | |
Destructor. More... | |
void | increment () |
Incrementation operation. More... | |
bool_type | equal (const self &rhs) const |
Equality test. More... | |
navigator::reference | dereference () const |
Dereferencing of the iterator. More... | |
bool_type | isEnd () const |
Check, whether end of iteration is reached. More... | |
Protected Member Functions | |
void | terminateConstant () |
Constant nodes are marked as the end of a path. More... | |
Protected Attributes | |
navigator | m_navi |
Use navigator to access diagram nodes. More... | |
This class defines an iterator over the first minimal term of a given ZDD node.
Type for boolean values.
Type for constantly accessing node pointer.
typedef std::forward_iterator_tag polybori::CCuddFirstIter::iterator_category |
Interface type for standard iterator access.
Get navigator type.
Get type of *this.
|
inline |
Default constructor.
|
inline |
Construct from navigator over nodes.
|
inline |
Destructor.
|
inline |
Dereferencing of the iterator.
|
inline |
Incrementation operation.
|
inline |
Check, whether end of iteration is reached.
|
inlineprotected |
Constant nodes are marked as the end of a path.
|
protected |
Use navigator to access diagram nodes.