string_rec Struct Reference

#include <UStringMgr.h>

Data Fields
struct string_ *	link
const char *	text

---

Field Documentation

struct string_* string_rec::link [read]

const char* string_rec::text

---

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

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