Keywords: cuddIntro

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.

- Compiling and Linking
- Reference Counts
- Complement Arcs
- The Cache
- The Unique Table
- Allowing Asynchronous Reordering
- Debugging
- Gathering and Interpreting Statistics
- Guidelines for Documentation