CCuddInterface.h File Reference

#include "pbori_defs.h"
#include "cudd.h"
#include "cuddInt.h"
#include "pbori_func.h"
#include "CCallbackWrapper.h"
#include <vector>
#include <boost/intrusive_ptr.hpp>
#include <boost/scoped_array.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/facilities/expand.hpp>
#include <boost/preprocessor/stringize.hpp>
#include "PBoRiError.h"
#include <stdexcept>
#include <algorithm>

Go to the source code of this file.

Classes
class	polybori::CCuddInterface
	This class defines a C++ interface to CUDD's decicion diagram manager. More...
Namespaces
namespace	polybori
Defines
#define	CCuddInterface_h_
Define templates for generating member functions from CUDD procedures
#define	PB_CUDDMGR_READ(count, data, funcname)
#define	PB_CUDDMGR_SWITCH(count, data, funcname)
#define	PB_CUDDMGR_SET(count, data, funcname)
Functions
const char *	error_text (DdManager *mgr)
void	intrusive_ptr_add_ref (DdManager *ptr)
	Increment reference count.
void	intrusive_ptr_release (DdManager *ptr)
	Release current pointer by decrementing reference counting.

---

Detailed Description

Author:

Alexander Dreyer

Date:

2007-07-05

This files defines a replacement for the decision diagram manager of CUDD's C++ interface.

Copyright:

(c) 2007-2010 by The PolyBoRi Team

---

Define Documentation

#define CCuddInterface_h_

#define PB_CUDDMGR_READ	(		count,
			data,
			funcname
	)

Value:

data funcname() const { \
  return BOOST_PP_CAT(Cudd_, funcname)(*this); }

#define PB_CUDDMGR_SET	(		count,
			data,
			funcname
	)

Value:

void funcname(data arg) { \
    BOOST_PP_CAT(Cudd_, funcname)(*this, arg); }

#define PB_CUDDMGR_SWITCH	(		count,
			data,
			funcname
	)

Value:

void funcname() { \
    BOOST_PP_CAT(Cudd_, funcname)(*this); }

---

Function Documentation

const char* error_text

(

DdManager *

mgr

)

[inline]

Referenced by polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::checkAssumption(), and polybori::CCuddInterface::checkedResult().

void intrusive_ptr_add_ref

(

DdManager *

ptr

)

[inline]

Increment reference count.

void intrusive_ptr_release

(

DdManager *

ptr

)

[inline]

Release current pointer by decrementing reference counting.