CDDManager.h File Reference

#include "cacheopts.h"
#include "pbori_defs.h"
#include "pbori_traits.h"
#include "CDDInterface.h"
#include "CCuddInterface.h"
#include <map>

Go to the source code of this file.

Classes

class  CDDManagerBase< CuddLikeManType, StorageType >
 this specialization of the template class CDDManager gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&). More...
class  CDDManager< Cudd & >
class  CDDManager< Cudd >
class  CDDManager< CCuddInterface & >
class  CDDManager< CCuddInterface >

Defines

#define PBORI_CACHE_SLOTS   CUDD_CACHE_SLOTS
#define PBORI_MAX_MEMORY   0

Functions

BEGIN_NAMESPACE_PBORI ZDD fetch_diagram (const Cudd &mgr, const ZDD &rhs)
template<class MgrType , class DDType >
const DDType & fetch_diagram (const MgrType &mgr, const DDType &rhs)
Cudd & fetch_manager (const Cudd &mgr)
template<class MgrType >
const MgrType & fetch_manager (const MgrType &mgr)

Detailed Description

Author:
Alexander Dreyer
Date:
2006-03-20

This file define specializations for the CDDManager<> template class, which allow unified access to various binary decision diagram implementations.

Note:
Currently only interface to Cudd's manager is available.
Copyright:
(c) 2006 by The PolyBoRi Team

Define Documentation

#define PBORI_CACHE_SLOTS   CUDD_CACHE_SLOTS
#define PBORI_MAX_MEMORY   0

Function Documentation

template<class MgrType , class DDType >
const DDType& fetch_diagram ( const MgrType &  mgr,
const DDType &  rhs 
) [inline]
BEGIN_NAMESPACE_PBORI ZDD fetch_diagram ( const Cudd &  mgr,
const ZDD &  rhs 
) [inline]
template<class MgrType >
const MgrType& fetch_manager ( const MgrType &  mgr  )  [inline]
Cudd& fetch_manager ( const Cudd &  mgr  )  [inline]
Generated on Tue May 4 08:13:21 2010 for PolyBoRi by  doxygen 1.6.3