PolyBoRi
|
#include <CCacheManagement.h>
Public Types | |
typedef MgrType | manager_type |
Set manager type. | |
typedef DdManager * | internal_manager_type |
Set type of Cudd's internal manager type. | |
typedef DdNode * | node_type |
Set type of Cudd's nodes. | |
typedef CCuddNavigator | navigator |
Type of navigators. | |
typedef BoolePolyRing | ring_type |
Type of Boolean rings. | |
typedef ring_type::dd_type | dd_type |
Get high-level decision diagram type. | |
Public Member Functions | |
CCuddLikeMgrStorage (const manager_type &mgr) | |
Constructor. | |
manager_type | manager () const |
Accessing manager. | |
dd_type | generate (navigator navi) const |
Re-generate valid decision diagram from navigator. | |
dd_type | one () const |
Get constant one. | |
dd_type | zero () const |
Get constant zero. | |
ring_type | ring () const |
Protected Member Functions | |
internal_manager_type | internalManager () const |
Accessing Cudd-internal decision diagram manager. |
This template defines how to used the Cudd-like decision diagram managers like Cudd and CCuddInterface.
Get high-level decision diagram type.
typedef DdManager* polybori::CCuddLikeMgrStorage::internal_manager_type |
Set type of Cudd's internal manager type.
typedef MgrType polybori::CCuddLikeMgrStorage::manager_type |
Set manager type.
Type of navigators.
typedef DdNode* polybori::CCuddLikeMgrStorage::node_type |
Set type of Cudd's nodes.
Type of Boolean rings.
polybori::CCuddLikeMgrStorage::CCuddLikeMgrStorage | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
Re-generate valid decision diagram from navigator.
internal_manager_type polybori::CCuddLikeMgrStorage::internalManager | ( | ) | const [inline, protected] |
Accessing Cudd-internal decision diagram manager.
manager_type polybori::CCuddLikeMgrStorage::manager | ( | ) | const [inline] |
Accessing manager.
dd_type polybori::CCuddLikeMgrStorage::one | ( | ) | const [inline] |
Get constant one.
References polybori::BoolePolyRing::one().
ring_type polybori::CCuddLikeMgrStorage::ring | ( | ) | const [inline] |
dd_type polybori::CCuddLikeMgrStorage::zero | ( | ) | const [inline] |
Get constant zero.
References polybori::BoolePolyRing::zero().