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