CCuddLastIter.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_iterators_CCuddLastIter_h_
#define polybori_iterators_CCuddLastIter_h_
// include basic definitions
#include "CCuddNavigator.h"
BEGIN_NAMESPACE_PBORI
class CCuddLastIter :
public CCuddNavigator {
public:
typedef std::forward_iterator_tag iterator_category;
typedef CCuddLastIter self;
typedef CCuddNavigator base;
CCuddLastIter(): base() {}
CCuddLastIter(pointer_type ptr);
CCuddLastIter(const self&);
~CCuddLastIter();
self& operator++();
self operator++(int);
protected:
void terminateConstant();
};
END_NAMESPACE_PBORI
#endif
END_NAMESPACE_PBORI
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
BEGIN_NAMESPACE_PBORI
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
polybori::CCuddLastIter::base
CCuddNavigator base
Get base type.
Definition: CCuddLastIter.h:43
polybori::CCuddLastIter::iterator_category
std::forward_iterator_tag iterator_category
Interface type for standard iterator access.
Definition: CCuddLastIter.h:37
polybori::CCuddLastIter
This class defines an iterator over the last minimal term of a given ZDD node.
Definition: CCuddLastIter.h:32
CCuddNavigator.h
polybori::CCuddNavigator
This class defines an iterator for navigating through then and else branches of ZDDs.
Definition: CCuddNavigator.h:36
polybori::CCuddLastIter::CCuddLastIter
CCuddLastIter()
Default constructor and construct from node pointer.
Definition: CCuddLastIter.h:46