PolyBoRi
Classes | Namespaces | Macros | Functions
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  polybori::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  polybori::CDDManager< Cudd & >
class  polybori::CDDManager< Cudd >
class  polybori::CDDManager< CCuddInterface & >
class  polybori::CDDManager< CCuddInterface >

Namespaces

namespace  polybori

Macros

#define PBORI_UNIQUE_SLOTS   CUDD_UNIQUE_SLOTS
#define PBORI_CACHE_SLOTS   CUDD_CACHE_SLOTS
#define PBORI_MAX_MEMORY   0

Functions

ZDD polybori::fetch_diagram (const Cudd &mgr, const ZDD &rhs)
template<class MgrType , class DDType >
const DDType & polybori::fetch_diagram (const MgrType &mgr, const DDType &rhs)
Cudd & polybori::fetch_manager (const Cudd &mgr)
template<class MgrType >
const MgrType & polybori::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

Macro Definition Documentation

#define PBORI_CACHE_SLOTS   CUDD_CACHE_SLOTS
#define PBORI_MAX_MEMORY   0
#define PBORI_UNIQUE_SLOTS   CUDD_UNIQUE_SLOTS