nuxmv_property Struct Reference

Property object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Property object.

See also

• nuxmv_make_property()
• nuxmv_make_property_from_string()

Field Documentation

repr

void* nuxmv_property::repr

Opaque pointer representing a property.

---

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

• Code/include/nuxmv.h