state_vars_struct Struct Reference

Structures used within the SBMC package. More...

#include <sbmcStructs.h>

---

Detailed Description

Structures used within the SBMC package.

Author:

Timo Latvala, Tommi Junttila, Marco Roveri Structures used within the SBMC package

SBMC incremental variable information structure The structure maintaining variable information needed in the SBMC incremental procedure.

---

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

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