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

#include <CTermGenerator.h>

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

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:

• CTermGenerator.h