PolyBoRi
Public Types | Public Member Functions | List of all members
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.
 CExpIter ()
 Default Constructor.
void increment ()
 Incrementation operation core.
selfoperator++ ()
 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.

template<class NaviType , class ExpType >
polybori::CExpIter< NaviType, ExpType >::CExpIter ( )
inline

Default Constructor.

Member Function Documentation

template<class NaviType , class ExpType >
void polybori::CExpIter< NaviType, ExpType >::increment ( )
inline

Incrementation operation core.

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: