PolyBoRi
|
#include "CCuddZDD.h"
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 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) |
This files defines a replacement for the decision diagram manager of CUDD's C++ interface.
#define PB_CUDDMGR_READ | ( | count, | |
data, | |||
funcname | |||
) |
data funcname() const { \ return BOOST_PP_CAT(Cudd_, funcname)(getManager()); }
#define PB_CUDDMGR_SET | ( | count, | |
data, | |||
funcname | |||
) |
void funcname(data arg) { \
BOOST_PP_CAT(Cudd_, funcname)(getManager(), arg); }
#define PB_CUDDMGR_SWITCH | ( | count, | |
data, | |||
funcname | |||
) |
void funcname() { \
BOOST_PP_CAT(Cudd_, funcname)(getManager()); }