|
nuXmv API 126f6942
API for nuXmv
|
| Cnuxmv_assign | Assignment |
| Cnuxmv_compassion | Compassion constraint |
| Cnuxmv_define_decl | Define declaration |
| Cnuxmv_env | Environment object |
| Cnuxmv_expr | Expression object |
| Cnuxmv_expr_type | Expression type object |
| Cnuxmv_fun_decl | Function declaration |
| Cnuxmv_model | Model object |
| Cnuxmv_module | Module object |
| Cnuxmv_opt | Option object as key-value pair |
| Cnuxmv_property | Property object |
| Cnuxmv_result | Result code object |
| Cnuxmv_simulation | Simulation object |
| Cnuxmv_simulation_constraint | Simulation constraint object |
| Cnuxmv_symbol | Symbol object |
| Cnuxmv_trace | Trace object |
| Cnuxmv_trace_value | Symbol value |
| Cnuxmv_var_decl | Variable declaration |
| Cnuxmv_var_type | Variable type object |