next up previous index
Next: Setting Parameters Up: User's Manual Previous: Basic Data Structures

Initializing and Shutting Down a DdManager

  

To use the functions in the CUDD package, one has first to initialize the package itself by calling Cudd_Init . This function takes four parameters:

A typical call to Cudd_Init  may look like this:
  manager = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0);
To reclaim all the memory associated with a manager, an application must call Cudd_Quit . This is normally done before exiting.


next up previous index
Next: Setting Parameters Up: User's Manual Previous: Basic Data Structures

Fabio Somenzi
Tue May 12 18:47:58 MDT 1998