Data Structures

Here are the data structures with brief descriptions:

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