Onode Struct Reference

A node of the list. More...

#include <Olist.h>

---

Detailed Description

A node of the list.

---

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

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