PolyBoRi
|
#include <CRingCore.h>
Public Types | |
typedef DdManager * | mgr_type |
Type of Cudd's decision diagram manager. | |
typedef boost::intrusive_ptr < mgr_type > | mgr_ptr |
Smartpointer to manager. | |
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. |
Define type for getting names of variables.
typedef boost::intrusive_ptr<mgr_type> polybori::CRingCore::mgr_ptr |
Smartpointer to manager.
typedef DdManager* polybori::CRingCore::mgr_type |
Type of Cudd's decision diagram manager.
typedef boost::shared_ptr<order_type> polybori::CRingCore::order_ptr |
Smart pointer for handling mterm orderings.
Type for handling mterm orderings.
Define type for storing names of variables.