ls_dummy Struct Reference

#include <list.h>

Data Fields
int	dummy

---

Field Documentation

int ls_dummy::dummy

---

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

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