polybori::CCuddLikeMgrStorage< MgrType > Class Template 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 CTypes::dd_type	dd_type
	Get high-level decision diagram type.
typedef CTypes::dd_base	dd_base
typedef manager_type::mgrcore_ptr	mgrcore_ptr
typedef BooleRing	ring_type
	Type of Boolean rings.
Public Member Functions
	CCuddLikeMgrStorage (const manager_type &mgr)
	Constructor.
	CCuddLikeMgrStorage (const mgrcore_ptr &mgr)
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

template<class MgrType>
class polybori::CCuddLikeMgrStorage< MgrType >

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

---

Member Typedef Documentation

template<class MgrType>

typedef MgrType polybori::CCuddLikeMgrStorage< MgrType >::manager_type

Set manager type.

template<class MgrType>

typedef DdManager* polybori::CCuddLikeMgrStorage< MgrType >::internal_manager_type

Set type of Cudd's internal manager type.

template<class MgrType>

typedef DdNode* polybori::CCuddLikeMgrStorage< MgrType >::node_type

Set type of Cudd's nodes.

template<class MgrType>

typedef CCuddNavigator polybori::CCuddLikeMgrStorage< MgrType >::navigator

Type of navigators.

template<class MgrType>

typedef CTypes::dd_type polybori::CCuddLikeMgrStorage< MgrType >::dd_type

Get high-level decision diagram type.

template<class MgrType>

typedef CTypes::dd_base polybori::CCuddLikeMgrStorage< MgrType >::dd_base

template<class MgrType>

typedef manager_type::mgrcore_ptr polybori::CCuddLikeMgrStorage< MgrType >::mgrcore_ptr

template<class MgrType>

typedef BooleRing polybori::CCuddLikeMgrStorage< MgrType >::ring_type

Type of Boolean rings.

---

Constructor & Destructor Documentation

template<class MgrType>

polybori::CCuddLikeMgrStorage< MgrType >::CCuddLikeMgrStorage

(

const manager_type &

mgr

)

[inline]

Constructor.

template<class MgrType>

polybori::CCuddLikeMgrStorage< MgrType >::CCuddLikeMgrStorage

(

const mgrcore_ptr &

mgr

)

[inline]

---

Member Function Documentation

template<class MgrType>

manager_type polybori::CCuddLikeMgrStorage< MgrType >::manager

(

)

const [inline]

Accessing manager.

template<class MgrType>

dd_type polybori::CCuddLikeMgrStorage< MgrType >::generate

(

navigator

navi

)

const [inline]

Re-generate valid decision diagram from navigator.

References polybori::CCuddNavigator::getNode().

template<class MgrType>

dd_type polybori::CCuddLikeMgrStorage< MgrType >::one

(

)

const [inline]

Get constant one.

template<class MgrType>

dd_type polybori::CCuddLikeMgrStorage< MgrType >::zero

(

)

const [inline]

Get constant zero.

template<class MgrType>

ring_type polybori::CCuddLikeMgrStorage< MgrType >::ring

(

)

const [inline]

template<class MgrType>

internal_manager_type polybori::CCuddLikeMgrStorage< MgrType >::internalManager

(

)

const [inline, protected]

Accessing Cudd-internal decision diagram manager.

---

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

• CCacheManagement.h