The dd package
Header file for Decisison Diagram Package.
By Marco Roveri
External functions and data strucures of the DD
package. The BDD or ADD returned as a result of an operation are
always referenced (see the CUDD User Manual for more details about
this), and need to be dereferenced when the result is no more
necessary to computation, in order to release the memory associated
to it when garbage collection occurs.
Last updated on 2012/11/18 14h:16