string_ptr Struct Reference

#include <UStringMgr.h>

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

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

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