PolyBoRi
Public Types | Public Member Functions

polybori::CGenericIter< OrderType, NaviType, BooleMonomial > Class Template Reference

#include <CGenericIter.h>

List of all members.

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 ()

template<class OrderType, class NaviType>
class polybori::CGenericIter< OrderType, NaviType, BooleMonomial >


Member Typedef Documentation

template<class OrderType , class NaviType >
typedef pbori_base<CGenericIter>::type polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::base
template<class OrderType , class NaviType >
typedef base::term_generator polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::term_generator

Constructor & Destructor Documentation

template<class OrderType , class NaviType >
template<class MgrType >
polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::CGenericIter ( NaviType  navi,
const MgrType &  mgr 
) [inline]
template<class OrderType , class NaviType >
polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::CGenericIter ( ) [inline]

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