PolyBoRi
Public Types | Public Member Functions
polybori::CExpIter Class Reference

#include <CExpIter.h>

List of all members.

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.
selfoperator++ ()
 Prefix incrementation operation.
self operator++ (int)
 Postfix incrementation operation.

Member Typedef Documentation

typedef pbori_base<self>::type polybori::CExpIter::base

Get base type.

typedef CExpIter<NaviType, ExpType> polybori::CExpIter::self

Name type of *this.


Constructor & Destructor Documentation

polybori::CExpIter::CExpIter ( NaviType  navi) [inline]

Construct iteraor from navigator over decision diagram structure.

polybori::CExpIter::CExpIter ( ) [inline]

Default Constructor.


Member Function Documentation

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.


The documentation for this class was generated from the following file: