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 2011/04/06 21h:16