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