#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 |
typedef dd_type::core_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::data_type |
typedef CTypes::dd_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::dd_type |
typedef CTypes::manager_base polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::manager_base |
typedef value_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::result_type |
typedef TermType polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::value_type |
polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::CTermGeneratorBase | ( | const data_type & | data | ) | [inline] |
CCuddCore * m_data; // non-save variant.
polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::CTermGeneratorBase | ( | ) | [inline] |
result_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::operator() | ( | const SequenceType & | seq | ) | const [inline] |
data_type polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >::m_data |