PolyBoRi
|
#include <BoolePolynomial.h>
Public Types | |
typedef CExpIter< NaviType, ExpType > | self |
Name type of *this. More... | |
typedef pbori_base< self >::type | base |
Get base type. More... | |
Public Member Functions | |
CExpIter (NaviType navi) | |
Construct iteraor from navigator over decision diagram structure. More... | |
void | increment () |
Incrementation operation core. More... | |
self & | operator++ () |
Prefix incrementation operation. More... | |
self | operator++ (int) |
Postfix incrementation operation. More... | |
typedef pbori_base<self>::type polybori::CExpIter< NaviType, ExpType >::base |
Get base type.
typedef CExpIter<NaviType, ExpType> polybori::CExpIter< NaviType, ExpType >::self |
Name type of *this.
|
inline |
Construct iteraor from navigator over decision diagram structure.
|
inline |
Incrementation operation core.
References PBORI_ASSERT.
|
inline |
Prefix incrementation operation.
|
inline |
Postfix incrementation operation.