nuxmv_assign Struct Reference

Assignment. More...

#include <nuxmv.h>

Collaboration diagram for nuxmv_assign:

Data Fields
nuxmv_expr	lhs
nuxmv_expr	rhs

Detailed Description

Assignment.

An assignment consists of a pair of expressions: the left- and the right-hand sides of the equal sign.

See also

• NUXMV_VALID_ASSIGN()
• nuxmv_module_get_init_assign()
• nuxmv_module_get_next_assign()
• nuxmv_module_get_invar_assign()
• nuxmv_model_get_init_assign()
• nuxmv_model_get_next_assign()
• nuxmv_model_get_invar_assign()

Field Documentation

lhs

nuxmv_expr nuxmv_assign::lhs

The left-hand side of the assignment.

rhs

nuxmv_expr nuxmv_assign::rhs

The right-hand side of the assignment.

---

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

• Code/include/nuxmv.h