PolyBoRi
|
#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. |
This files defines a replacement for the decision diagram manager of CUDD's C++ interface.
#define CCuddInterface_h_ |
#define PB_CUDDMGR_READ | ( | count, | |
data, | |||
funcname | |||
) |
data funcname() const { \ return BOOST_PP_CAT(Cudd_, funcname)(*this); }
#define PB_CUDDMGR_SET | ( | count, | |
data, | |||
funcname | |||
) |
void funcname(data arg) { \ BOOST_PP_CAT(Cudd_, funcname)(*this, arg); }
#define PB_CUDDMGR_SWITCH | ( | count, | |
data, | |||
funcname | |||
) |
void funcname() { \
BOOST_PP_CAT(Cudd_, funcname)(*this); }
const char* error_text | ( | DdManager * | mgr | ) | [inline] |
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.