nuxmv_result Struct Reference

Result code object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Result code object.

See also

• nuxmv_property_check_satisfiability()
• nuxmv_simulation_get_result()
• nuxmv_trace_check_property()
• nuxmv_model_check_deadlock()
• nuxmv_model_check_receptiveness()

Field Documentation

repr

void* nuxmv_result::repr

Opaque pointer representing a result.

---

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

• Code/include/nuxmv.h