next up previous index
Next: Basic Manipulation Up: The C++ Interface Previous: The C++ Interface

Compiling and Linking


To build an application that uses the CUDD C++ interface, you should add

#include "cuddObj.hh"
to your source files. In addition to the normal CUDD libraries (see Section 3.1) you should link libobj.a  to your executable. Refer to the Makefile  in the top level directory of the distribution for further details.

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