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
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