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 |
Macros | |
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 | |||
) |
#define PB_CUDDMGR_SET | ( | count, | |
data, | |||
funcname | |||
) |
#define PB_CUDDMGR_SWITCH | ( | count, | |
data, | |||
funcname | |||
) |