polybori::CExpIter< NaviType, ExpType > Class Template 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.
void	increment ()
	Incrementation operation core.
self &	operator++ ()
	Prefix incrementation operation.
self	operator++ (int)
	Postfix incrementation operation.

template<class NaviType, class ExpType>
class polybori::CExpIter< NaviType, ExpType >

---

Member Typedef Documentation

template<class NaviType, class ExpType>

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

Name type of *this.

template<class NaviType, class ExpType>

typedef pbori_base<self>::type polybori::CExpIter< NaviType, ExpType >::base

Get base type.

---

Constructor & Destructor Documentation

template<class NaviType, class ExpType>

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

(

NaviType

navi

)

[inline]

Construct iteraor from navigator over decision diagram structure.

---

Member Function Documentation

template<class NaviType, class ExpType>

void polybori::CExpIter< NaviType, ExpType >::increment

(

)

[inline]

Incrementation operation core.

References PBORI_ASSERT.

template<class NaviType, class ExpType>

self& polybori::CExpIter< NaviType, ExpType >::operator++

(

)

[inline]

Prefix incrementation operation.

template<class NaviType, class ExpType>

self polybori::CExpIter< NaviType, ExpType >::operator++

(

int

)

[inline]

Postfix incrementation operation.

---

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

• CExpIter.h