PolyBoRi
|
#include <CTermGenerator.h>
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. More... | |
CTermGeneratorBase__ () | |
template<class SequenceType > | |
result_type | operator() (const SequenceType &seq) const |
Public Attributes | |
data_type | m_data |
typedef BoolePolyRing polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::data_type |
typedef data_type::dd_type polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::dd_type |
typedef value_type polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::result_type |
typedef TermType polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::value_type |
|
inline |
CCuddCore * m_data; // non-save variant.
|
inline |
|
inline |
PBORI_ASSERT(m_data != data_type()); // todo???
typedef typename ring_type::manager_type manager_type;
References PBORI_ASSERT.
data_type polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >::m_data |