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