|
PolyBoRi
|
#include <CGenericIter.h>
Public Types | |
| typedef pbori_base < CGenericIter >::type | base |
| typedef base::term_generator | term_generator |
Public Member Functions | |
| template<class MgrType > | |
| CGenericIter (NaviType navi, const MgrType &mgr) | |
| CGenericIter () | |
| typedef pbori_base<CGenericIter>::type polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::base |
| typedef base::term_generator polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::term_generator |
| polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::CGenericIter | ( | NaviType | navi, |
| const MgrType & | mgr | ||
| ) | [inline] |
| polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::CGenericIter | ( | ) | [inline] |
1.7.4