#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 |
Defines | |
#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) |
#define PBORI_CACHE_SLOTS CUDD_CACHE_SLOTS |
#define PBORI_MAX_MEMORY 0 |
#define PBORI_UNIQUE_SLOTS CUDD_UNIQUE_SLOTS |