nuxmv_var_type Struct Reference

Variable type object. More...

#include <nuxmv.h>

Data Fields
void *	repr

Detailed Description

Variable type object.

See also

• nuxmv_make_simple_var_type()
• nuxmv_make_var_type_with_domain()
• nuxmv_make_var_type_with_integer_range()
• nuxmv_make_var_type_array()

Field Documentation

repr

void* nuxmv_var_type::repr

Opaque pointer representing a variable type.

---

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

• Code/include/nuxmv.h