cmp_struct_ptr Struct Reference

Data structure used to store the current status of compilation. More...

#include <compile.h>

---

Detailed Description

Data structure used to store the current status of compilation.

---

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

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