PolyBoRi
|
This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers. More...
#include <CCuddCore.h>
Public Types | |
typedef CCuddCore | self |
Fix type of *this. | |
typedef CVariableNames | variable_names_type |
Define type for storing names of variables. | |
typedef variable_names_type::const_reference | const_varname_reference |
Define type for getting names of variables. | |
typedef COrderingBase | order_type |
Type for handling mterm orderings. | |
typedef boost::shared_ptr < order_type > | order_ptr |
Smart pointer for handling mterm orderings. | |
typedef order_type & | order_reference |
Reference for handling mterm orderings. | |
typedef CTypes::ordercode_type | ordercode_type |
Enum for ordering codes. | |
Public Member Functions | |
CCuddCore (size_type numVarsZ, const order_ptr &order) | |
Initialize raw decision diagram management. | |
CCuddCore (const self &rhs) | |
~CCuddCore () | |
Destructor. | |
void | addRef () |
Increment reference count. | |
refcount_type | release () |
Release this by decrementing reference counting. | |
void | change_ordering (const order_ptr &newOrder) |
Public Attributes | |
CCuddInterface | m_mgr |
Current decision diagram management. | |
refcount_type | ref |
Count instances pointing here. | |
variable_names_type | m_names |
Stores names of variables. | |
order_ptr | pOrder |
*Ordering of *this |
This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers.
The purpose of this wrapper is mainly to provide the necessary functionality for application of intrisive pointers (refernce counting). In addition, some global settings are stored within.
Define type for getting names of variables.
typedef boost::shared_ptr<order_type> polybori::CCuddCore::order_ptr |
Smart pointer for handling mterm orderings.
Reference for handling mterm orderings.
Type for handling mterm orderings.
Enum for ordering codes.
Reimplemented from polybori::CAuxTypes.
typedef CCuddCore polybori::CCuddCore::self |
Fix type of *this.
Define type for storing names of variables.
Initialize raw decision diagram management.
polybori::CCuddCore::CCuddCore | ( | const self & | rhs | ) | [inline] |
Copy Constructor (nearly deep copy, but shallow copy of manager, names and ordering)
polybori::CCuddCore::~CCuddCore | ( | ) | [inline] |
Destructor.
void polybori::CCuddCore::addRef | ( | ) | [inline] |
Increment reference count.
Referenced by polybori::intrusive_ptr_add_ref().
void polybori::CCuddCore::change_ordering | ( | const order_ptr & | newOrder | ) | [inline] |
refcount_type polybori::CCuddCore::release | ( | ) | [inline] |
Release this by decrementing reference counting.
Referenced by polybori::intrusive_ptr_release().
Current decision diagram management.
Stores names of variables.
*Ordering of *this
Count instances pointing here.