polybori::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::polybori::CGenericIter< OrderType, NaviType, BooleMonomial >


Member Typedef Documentation

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

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


Member Function Documentation

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

template<class OrderType, class NaviType>
polybori::polybori::CGenericIter< OrderType, NaviType, BooleMonomial >::CGenericIter (  )  [inline]


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

Generated on Tue May 6 05:20:00 2008 for PolyBoRi by  doxygen 1.5.5