Link Struct Reference

Use when iterating on NodeLists. More...

#include <NodeList.h>

---

Detailed Description

Use when iterating on NodeLists.

---

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

• NuSMV/code/nusmv/core/utils/NodeList.h