Capsule Class Reference

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

Collaboration diagram for Capsule:

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

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:

• cplusplus/cuddObj.cc