PolyBoRi
CCuddLastIter.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
16 //*****************************************************************************
17 
18 #ifndef polybori_iterators_CCuddLastIter_h_
19 #define polybori_iterators_CCuddLastIter_h_
20 
21 // include basic definitions
22 #include "CCuddNavigator.h"
23 
25 
33  public CCuddNavigator {
34 
35 public:
37  typedef std::forward_iterator_tag iterator_category;
38 
40  typedef CCuddLastIter self;
41 
44 
46  CCuddLastIter(): base() {}
47  CCuddLastIter(pointer_type ptr);
48 
50  CCuddLastIter(const self&);
51 
53  ~CCuddLastIter();
54 
56  self& operator++();
57 
59  self operator++(int);
60 
61 protected:
63  void terminateConstant();
64 };
65 
66 
68 
69 #endif
#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