polybori::CCuddLikeMgrStorage Class Reference

#include <CCacheManagement.h>

List of all members.

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.

---

Detailed Description

This template defines how to used the Cudd-like decision diagram managers like Cudd and CCuddInterface.

---

Member Typedef Documentation

typedef ring_type::dd_type polybori::CCuddLikeMgrStorage::dd_type

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.

typedef CCuddNavigator polybori::CCuddLikeMgrStorage::navigator

Type of navigators.

typedef DdNode* polybori::CCuddLikeMgrStorage::node_type

Set type of Cudd's nodes.

typedef BoolePolyRing polybori::CCuddLikeMgrStorage::ring_type

Type of Boolean rings.

---

Constructor & Destructor Documentation

polybori::CCuddLikeMgrStorage::CCuddLikeMgrStorage

(

const manager_type &

mgr

)

[inline]

Constructor.

---

Member Function Documentation

dd_type polybori::CCuddLikeMgrStorage::generate

(

navigator

navi

)

const [inline]

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().

---

The documentation for this class was generated from the following file:

• CCacheManagement.h