Ssiter Struct Reference

#include <Sset.h>

Data Fields
Ssnode_ptr	node

---

Field Documentation

Ssnode_ptr Ssiter::node

---

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

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