PolyBoRi
Public Types | Public Member Functions | Protected Member Functions
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

Get high-level decision diagram type.

Set type of Cudd's internal manager type.

Set manager type.

Type of navigators.

Set type of Cudd's nodes.

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: