Capsule Class Reference

Class for reference counting of CUDD managers. More...

Collaboration diagram for Capsule:
[legend]

Public Member Functions

 Capsule (unsigned int numVars, unsigned int numVarsZ, unsigned int numSlots, unsigned int cacheSize, unsigned long maxMemory, PFC defaultHandler)

Data Fields

DdManagermanager
PFC errorHandler
PFC timeoutHandler
PFC terminationHandler
std::vector< char * > varnames
int ref
bool verbose

Detailed Description

Class for reference counting of CUDD managers.

See also:
Cudd DD ABDD ADD BDD ZDD

The documentation for this class was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1