#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.
|
self & | operator++ () |
| Prefix incrementation operation.
|
self | operator++ (int) |
| Postfix incrementation operation.
|
Member Typedef Documentation
template<class NaviType , class ExpType >
template<class NaviType , class ExpType >
Constructor & Destructor Documentation
template<class NaviType , class ExpType >
Construct iteraor from navigator over decision diagram structure.
template<class NaviType , class ExpType >
Member Function Documentation
template<class NaviType , class ExpType >
Incrementation operation core.
template<class NaviType , class ExpType >
Prefix incrementation operation.
template<class NaviType , class ExpType >
Postfix incrementation operation.
The documentation for this class was generated from the following file: