nuxmv_symbol Struct Reference

Symbol object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Symbol object.

See also

• nuxmv_make_symbol()
• nuxmv_make_scoped_symbol()

Field Documentation

repr

void* nuxmv_symbol::repr

Opaque pointer representing a symbol.

---

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

• Code/include/nuxmv.h