nuxmv_trace_value Struct Reference

Symbol value. More...

#include <nuxmv.h>

Collaboration diagram for nuxmv_trace_value:

Data Fields
nuxmv_expr	identifier
nuxmv_expr	value

Detailed Description

Symbol value.

A symbol value is a pair of identifier and value associating the symbol identifier to the symbol value.

See also

• NUXMV_VALID_TRACE_VALUE()
• nuxmv_trace_get_step_state()
• nuxmv_trace_get_step_input()
• nuxmv_trace_get_step_define()
• nuxmv_trace_get_function()

Field Documentation

identifier

nuxmv_expr nuxmv_trace_value::identifier

The identifier of the symbol.

value

nuxmv_expr nuxmv_trace_value::value

The value of the symbol.

---

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

• Code/include/nuxmv.h