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.