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 BoolePolyRing	data_type
typedef data_type::dd_type	dd_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 TermType polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::value_type

template<class TermType>

typedef value_type polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::result_type

template<class TermType>

typedef BoolePolyRing polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::data_type

template<class TermType>

typedef data_type::dd_type polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::dd_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]

PBORI_ASSERT(m_data != data_type()); // todo???

typedef typename ring_type::manager_type manager_type;

References PBORI_ASSERT.

---

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