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 CTypes::dd_base polybori::CCuddLikeMgrStorage< MgrType >::dd_base

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

Get high-level decision diagram type.

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

Set type of Cudd's internal manager type.

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

Set manager type.

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

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

Type of navigators.

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

Set type of Cudd's nodes.

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 >
dd_type polybori::CCuddLikeMgrStorage< MgrType >::generate ( navigator  navi  )  const [inline]

Re-generate valid decision diagram from navigator.

References polybori::CCuddNavigator::getNode().

template<class MgrType >
internal_manager_type polybori::CCuddLikeMgrStorage< MgrType >::internalManager (  )  const [inline, protected]

Accessing Cudd-internal decision diagram manager.

template<class MgrType >
manager_type polybori::CCuddLikeMgrStorage< MgrType >::manager (  )  const [inline]

Accessing manager.

template<class MgrType >
dd_type polybori::CCuddLikeMgrStorage< MgrType >::one (  )  const [inline]

Get constant one.

template<class MgrType >
ring_type polybori::CCuddLikeMgrStorage< MgrType >::ring (  )  const [inline]

template<class MgrType >
dd_type polybori::CCuddLikeMgrStorage< MgrType >::zero (  )  const [inline]

Get constant zero.


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

Generated on Thu Mar 5 02:16:44 2009 for PolyBoRi by  doxygen 1.5.8