#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) |
#define PB_CUDDMGR_READ | ( | count, | |||
data, | |||||
funcname | ) |
Value:
data funcname() const { \ return BOOST_PP_CAT(Cudd_, funcname)(getManager()); }
#define PB_CUDDMGR_SET | ( | count, | |||
data, | |||||
funcname | ) |
Value:
void funcname(data arg) { \
BOOST_PP_CAT(Cudd_, funcname)(getManager(), arg); }
#define PB_CUDDMGR_SWITCH | ( | count, | |||
data, | |||||
funcname | ) |
Value:
void funcname() { \
BOOST_PP_CAT(Cudd_, funcname)(getManager()); }