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  CDDInterfaceBase< DDType >
 This is the common base for the specialized template class CDDInterface. More...
class  CDDInterface< CuddLikeZDD >

Functions

BEGIN_NAMESPACE_PBORI Cudd * extract_manager (const Cudd &mgr)
CCuddInterface::mgrcore_ptr extract_manager (const CCuddInterface &mgr)
template<class MgrType >
const MgrType & extract_manager (const MgrType &mgr)
Cudd & get_manager (Cudd *mgr)
template<class MgrType >
const MgrType & get_manager (const MgrType &mgr)
template<class DDType >
CDDInterface< DDType >
::ostream_type & 
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

Function Documentation

template<class MgrType >
const MgrType& extract_manager ( const MgrType &  mgr  )  [inline]
CCuddInterface::mgrcore_ptr extract_manager ( const CCuddInterface 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]
template<class DDType >
CDDInterface<DDType>::ostream_type& operator<< ( typename CDDInterface< DDType >::ostream_type &  os,
const CDDInterface< DDType > &  dd 
) [inline]

Stream output operator.

Generated on Thu Aug 5 13:34:42 2010 for PolyBoRi by  doxygen 1.6.3