dd_ptr Struct Reference

Header file for Decisison Diagram Package. More...

#include <dd.h>

---

Detailed Description

Header file for Decisison Diagram Package.

Author:

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.

Todo:

Missing synopsis

Todo:

Missing description

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/dd/dd.h