Variable declaration. More...
#include <nuxmv.h>
Collaboration diagram for nuxmv_var_decl:
Data Fields | |
| nuxmv_symbol | identifier |
| nuxmv_var_type | var_type |
Detailed Description
Variable declaration.
A variable declaration is a pair of identifier and var_type associating the identifier to the variable type.
Field Documentation
◆ identifier
| nuxmv_symbol nuxmv_var_decl::identifier |
The identifier of the variable.
◆ var_type
| nuxmv_var_type nuxmv_var_decl::var_type |
The type of the variable.
The documentation for this struct was generated from the following file:
- Code/include/nuxmv.h
