PolyBoRi
|
#include <BoolePolynomial.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) | |
typedef pbori_base<CGenericIter>::type polybori::CGenericIter< OrderType, NavigatorType, MonomType >::base |
typedef base::term_generator polybori::CGenericIter< OrderType, NavigatorType, MonomType >::term_generator |
|
inline |