next up previous index
Next: Reference Counts Up: Programmer's Manual Previous: Programmer's Manual

Compiling and Linking


If you plan to use the CUDD package as a clear box  (for instance, you want to write a procedure that traverses a decision diagram) you need to add

#include "cuddInt.h"
to your source files. In addition, you should link libcudd.a to your executable. Some platforms require specific compiler and linker flags. Refer to the Makefile in the top level directory of the distribution.

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