Snode Struct Reference

A node of the list. More...

#include <Slist.h>

---

Detailed Description

A node of the list.

---

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

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