polybori::CExpIter< NaviType, ExpType > Class Template Reference

#include <CExpIter.h>

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.

Member Typedef Documentation

template<class NaviType , class ExpType >

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

Get base type.

template<class NaviType , class ExpType >

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

Name type of *this.

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