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.
	CExpIter ()
	Default Constructor.
void	increment ()
	Incrementation operation core.
self &	operator++ ()
	Prefix incrementation operation.
self	operator++ (int)
	Postfix incrementation operation.

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

---

Member Typedef Documentation

template<class NaviType , class ExpType >

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

Get base type.

template<class NaviType , class ExpType >

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

Name type of *this.

---

Constructor & Destructor Documentation

template<class NaviType , class ExpType >

CExpIter< NaviType, ExpType >::CExpIter

(

NaviType

navi

)

[inline]

Construct iteraor from navigator over decision diagram structure.

template<class NaviType , class ExpType >

CExpIter< NaviType, ExpType >::CExpIter

(

)

[inline]

Default Constructor.

---

Member Function Documentation

template<class NaviType , class ExpType >

void CExpIter< NaviType, ExpType >::increment

(

)

[inline]

Incrementation operation core.

Referenced by CExpIter< NaviType, ExpType >::operator++().

template<class NaviType , class ExpType >

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

(

int

)

[inline]

Postfix incrementation operation.

References CExpIter< NaviType, ExpType >::increment().

template<class NaviType , class ExpType >

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

(

)

[inline]

Prefix incrementation operation.

References CExpIter< NaviType, ExpType >::increment().

---

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

• CExpIter.h