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