PolyBoRi
Public Types | Public Member Functions | List of all members
polybori::CGenericIter< OrderType, NavigatorType, MonomType > Class Template Reference

#include <BoolePolynomial.h>

Inheritance diagram for polybori::CGenericIter< OrderType, NavigatorType, MonomType >:

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)
 

Member Typedef Documentation

template<class OrderType , class NavigatorType , class MonomType >
typedef pbori_base<CGenericIter>::type polybori::CGenericIter< OrderType, NavigatorType, MonomType >::base
template<class OrderType , class NavigatorType , class MonomType >
typedef base::term_generator polybori::CGenericIter< OrderType, NavigatorType, MonomType >::term_generator

Constructor & Destructor Documentation

template<class OrderType , class NavigatorType , class MonomType >
template<class MgrType >
polybori::CGenericIter< OrderType, NavigatorType, MonomType >::CGenericIter ( NaviType  navi,
const MgrType &  mgr 
)
inline

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