polybori::CExpIter Class Reference

#include <CExpIter.h>

List of all members.

Public Types
typedef CExpIter< NaviType, ExpType >	self
	Name type of *this.
typedef pbori_base< self >::type	base
	Get base type.
Public Member Functions
	CExpIter (NaviType navi)
	Construct iteraor from navigator over decision diagram structure.
	CExpIter ()
	Default Constructor.
void	increment ()
	Incrementation operation core.
self &	operator++ ()
	Prefix incrementation operation.
self	operator++ (int)
	Postfix incrementation operation.

---

Member Typedef Documentation

typedef pbori_base<self>::type polybori::CExpIter::base

Get base type.

typedef CExpIter<NaviType, ExpType> polybori::CExpIter::self

Name type of *this.

---

Constructor & Destructor Documentation

polybori::CExpIter::CExpIter

(

NaviType

navi

)

[inline]

Construct iteraor from navigator over decision diagram structure.

polybori::CExpIter::CExpIter

(

)

[inline]

Default Constructor.

---

Member Function Documentation

void polybori::CExpIter::increment

(

)

[inline]

Incrementation operation core.

self& polybori::CExpIter::operator++

(

)

[inline]

Prefix incrementation operation.

self polybori::CExpIter::operator++

(

int

)

[inline]

Postfix incrementation operation.

---

The documentation for this class was generated from the following file:

• CExpIter.h