cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Class for reference counting of CUDD managers. More...
Public Member Functions | |
Capsule (unsigned int numVars, unsigned int numVarsZ, unsigned int numSlots, unsigned int cacheSize, unsigned long maxMemory, PFC defaultHandler) | |
Data Fields | |
DdManager * | manager |
PFC | errorHandler |
PFC | timeoutHandler |
PFC | terminationHandler |
std::vector< char * > | varnames |
int | ref |
bool | verbose |