Unimplemented Functions

Global nuxmv_create_module_from_property (nuxmv_env env, const char *name, nuxmv_property property, const nuxmv_opt *opts, size_t opt_num)

Global nuxmv_create_simulation (nuxmv_env env, nuxmv_model model, nuxmv_simulation_constraint constraint, const nuxmv_opt *opts, size_t opt_num)

Global nuxmv_destroy_simulation (nuxmv_env env, nuxmv_simulation simulation)

Global nuxmv_extend_simulation (nuxmv_env env, nuxmv_simulation simulation, size_t k, nuxmv_simulation_constraint constraint)

Global nuxmv_model_check_deadlock (nuxmv_env env, nuxmv_model model, const nuxmv_opt *opts, size_t opt_num)

Global nuxmv_model_check_receptiveness (nuxmv_env env, nuxmv_model model, const nuxmv_opt *opts, size_t opt_num)

Global nuxmv_property_check_satisfiability (nuxmv_env env, nuxmv_property property, const nuxmv_opt *opts, size_t opt_num)

Global nuxmv_simulation_get_result (nuxmv_env env, nuxmv_simulation simulation)

Global nuxmv_trace_check_property (nuxmv_env env, nuxmv_trace trace, nuxmv_property property, nuxmv_model model, const nuxmv_opt *opts, size_t opt_num)