CTermGenerator< TermType > Class Template Reference

#include <CTermGenerator.h>

List of all members.

Public Types

typedef CTermGeneratorBase
< TermType > 
base
typedef CTypes::dd_type dd_type
typedef dd_type::core_type data_type

Public Member Functions

 CTermGenerator (const data_type &)
 CTermGenerator (const CTermGenerator &rhs)
 CTermGenerator ()

template<class TermType>
class CTermGenerator< TermType >


Member Typedef Documentation

template<class TermType>
typedef CTermGeneratorBase<TermType> CTermGenerator< TermType >::base
template<class TermType>
typedef dd_type::core_type CTermGenerator< TermType >::data_type
template<class TermType>
typedef CTypes::dd_type CTermGenerator< TermType >::dd_type

Constructor & Destructor Documentation

template<class TermType>
CTermGenerator< TermType >::CTermGenerator ( const data_type  )  [inline]
template<class TermType>
CTermGenerator< TermType >::CTermGenerator ( const CTermGenerator< TermType > &  rhs  )  [inline]
template<class TermType>
CTermGenerator< TermType >::CTermGenerator (  )  [inline]

The documentation for this class was generated from the following file:
Generated on Wed May 5 21:36:10 2010 for PolyBoRi by  doxygen 1.6.3