PolyBoRi
Classes | Namespaces | Functions
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.

Classes

class  polybori::CDDInterfaceBase< DDType >
 This is the common base for the specialized template class CDDInterface. More...
class  polybori::CDDInterface< CuddLikeZDD >

Namespaces

namespace  polybori

Functions

Cudd * polybori::extract_manager (const Cudd &mgr)
CCuddInterface::mgrcore_ptr polybori::extract_manager (const CCuddInterface &mgr)
template<class MgrType >
const MgrType & polybori::extract_manager (const MgrType &mgr)
Cudd & polybori::get_manager (Cudd *mgr)
template<class MgrType >
const MgrType & polybori::get_manager (const MgrType &mgr)
template<class DDType >
CDDInterface< DDType >
::ostream_type & 
polybori::operator<< (typename CDDInterface< DDType >::ostream_type &os, const CDDInterface< DDType > &dd)
 Stream output operator.

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