Oiter Struct Reference

#include <Olist.h>

Data Fields
Onode_ptr *	node

---

Field Documentation

Onode_ptr* Oiter::node

---

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

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