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:

• CTermGenerator.h