#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] |