PolyBoRi
|
#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. |
typedef pbori_base<self>::type polybori::CExpIter::base |
Get base type.
typedef CExpIter<NaviType, ExpType> polybori::CExpIter::self |
Name type of *this.
polybori::CExpIter::CExpIter | ( | NaviType | navi | ) | [inline] |
Construct iteraor from navigator over decision diagram structure.
polybori::CExpIter::CExpIter | ( | ) | [inline] |
Default Constructor.
void polybori::CExpIter::increment | ( | ) | [inline] |
Incrementation operation core.
self& polybori::CExpIter::operator++ | ( | ) | [inline] |
Prefix incrementation operation.
self polybori::CExpIter::operator++ | ( | int | ) | [inline] |
Postfix incrementation operation.