next up previous index
Next: Compiling and Linking Up: CUDD: CU Decision Diagram Previous: Saving and Restoring BDDs

Programmer's Manual


This section provides additional detail on the working of the CUDD package and on the programming conventions followed in its writing. The additional detail should help those who want to write procedures that directly manipulate the CUDD data structures.

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