polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > > Class Template Reference

#include <CTermGenerator.h>

List of all members.

Public Types

typedef TermType value_type
typedef value_type result_type
typedef CTypes::manager_base manager_base
typedef CTypes::dd_type dd_type
typedef dd_type::core_type data_type

Public Member Functions

 CTermGeneratorBase (const data_type &data)
 CCuddCore * m_data; // non-save variant.
 CTermGeneratorBase ()
template<class SequenceType >
result_type operator() (const SequenceType &seq) const

Public Attributes

data_type m_data

template<class TermType>
class polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >


Member Typedef Documentation

template<class TermType >
typedef dd_type::core_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::data_type

template<class TermType >
typedef CTypes::dd_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::dd_type

template<class TermType >
typedef CTypes::manager_base polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::manager_base

template<class TermType >
typedef value_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::result_type

template<class TermType >
typedef TermType polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::value_type


Constructor & Destructor Documentation

template<class TermType >
polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::CTermGeneratorBase ( const data_type data  )  [inline]

CCuddCore * m_data; // non-save variant.

template<class TermType >
polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::CTermGeneratorBase (  )  [inline]


Member Function Documentation

template<class TermType >
template<class SequenceType >
result_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::operator() ( const SequenceType &  seq  )  const [inline]


Member Data Documentation

template<class TermType >
data_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::m_data


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

Generated on Mon Jul 13 21:15:54 2009 for PolyBoRi by  doxygen 1.5.9