#include <BoolePolynomial.h>
Inheritance diagram for polybori::CExpIter< NaviType, ExpType >:
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... | |
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 >
|
inline |
Construct iteraor from navigator over decision diagram structure.
Member Function Documentation
template<class NaviType , class ExpType >
|
inline |
Incrementation operation core.
References PBORI_ASSERT.
template<class NaviType , class ExpType >
|
inline |
Prefix incrementation operation.
template<class NaviType , class ExpType >
|
inline |
Postfix incrementation operation.
The documentation for this class was generated from the following files:
