GroupInfo Struct Reference

GroupInfo is an opaque structure which contains the information about groups of variables. More...

#include <VarsHandler.h>

---

Detailed Description

GroupInfo is an opaque structure which contains the information about groups of variables.

When manipulating variable groups, a pointer to a GroupInfo is returned and/or accepted by class VarsHandler.

---

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

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