Siter Struct Reference

#include <Slist.h>

Data Fields
Snode_ptr	node

---

Field Documentation

Snode_ptr Siter::node

---

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

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