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