nuxmv_trace Struct Reference

Trace object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Trace object.

See also

• nuxmv_result_get_trace()
• nuxmv_make_trace_from_string()

Field Documentation

repr

void* nuxmv_trace::repr

Opaque pointer representing a trace.

---

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

• Code/include/nuxmv.h