CDDInterface.h File Reference
#include "extrafwd.h"
#include "pbori_defs.h"
#include "CCuddNavigator.h"
#include "CCuddFirstIter.h"
#include "CCuddLastIter.h"
#include "CCuddGetNode.h"
#include "PBoRiOutIter.h"
#include "PBoRiGenericError.h"
#include "cuddInt.h"
#include "pbori_algo.h"
#include "pbori_tags.h"
#include "pbori_routines_hash.h"
#include <vector>
#include <numeric>
#include "CCuddInterface.h"
#include "pbori_traits.h"
Go to the source code of this file.
Detailed Description
- Author:
- Alexander Dreyer
- Date:
- 2006-03-20
This file define specializations for the CDDInterface<> template class, which allow unified access to various binary decision diagram implementations.
- Note:
- Currently only interface to Cudd's ZDDs are available.
- Copyright:
- (c) 2006 by The PolyBoRi Team
Function Documentation
template<class MgrType >
const MgrType& extract_manager |
( |
const MgrType & |
mgr |
) |
[inline] |
BEGIN_NAMESPACE_PBORI Cudd* extract_manager |
( |
const Cudd & |
mgr |
) |
[inline] |
template<class MgrType >
const MgrType& get_manager |
( |
const MgrType & |
mgr |
) |
[inline] |
Cudd& get_manager |
( |
Cudd * |
mgr |
) |
[inline] |