Define declaration. More...
#include <nuxmv.h>
Collaboration diagram for nuxmv_define_decl:
Data Fields | |
| nuxmv_expr | identifier |
| nuxmv_expr | body |
Detailed Description
Define declaration.
A define declaration is a pair of identifier (expression) and body associating the expression to the body.
- Note
- Heterogeneous defines are not supported. Types of body and identifier must be equal.
Field Documentation
◆ body
| nuxmv_expr nuxmv_define_decl::body |
Body of the variable declaraion.
◆ identifier
| nuxmv_expr nuxmv_define_decl::identifier |
Identifier of the variable declaraion.
The documentation for this struct was generated from the following file:
- Code/include/nuxmv.h
