nuxmv_expr Struct Reference

Expression object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Expression object.

See also

• nuxmv_make_identifier()
• nuxmv_make_value()
• nuxmv_make_op()
• nuxmv_make_expr_from_string()
• nuxmv_simplify_expr()

Field Documentation

repr

void* nuxmv_expr::repr

Opaque pointer representing an expression.

---

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

• Code/include/nuxmv.h