#include <CExpIter.h>
|
| 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 >
template<class NaviType , class ExpType >
template<class NaviType , class ExpType >
Construct iteraor from navigator over decision diagram structure.
template<class NaviType , class ExpType >
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: