#include "CCuddZDD.h"
Go to the source code of this file.
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 by The PolyBoRi Team
Define Documentation
#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()); }