nuxmv_expr_type Struct Reference

Expression type object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Expression type object.

See also

• nuxmv_make_boolean_type()
• nuxmv_make_integer_type()
• nuxmv_make_real_type()
• nuxmv_make_enum_type()
• nuxmv_make_set_type()
• nuxmv_make_signed_word_type()
• nuxmv_make_unsigned_word_type()
• nuxmv_make_array_type()
• nuxmv_make_function_type()

Field Documentation

repr

void* nuxmv_expr_type::repr

Opaque pointer representing an expression type.

---

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

• Code/include/nuxmv.h