sbmc_node_info Struct Reference

The data structure holding information for each subformula f. More...

#include <sbmcStructs.h>

---

Detailed Description

The data structure holding information for each subformula f.

The data structure holding information for each subformula f

---

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

• NuSMV/code/nusmv/core/bmc/sbmc/sbmcStructs.h