Add property to Model

Functions for adding Properties to a Model. More...

Collaboration diagram for Add property to Model:

Functions
nuxmv_status_code	nuxmv_model_add_property (nuxmv_env env, nuxmv_model model, nuxmv_property property)
	Add a property to the model.

Detailed Description

Functions for adding Properties to a Model.

---

Function Documentation

nuxmv_model_add_property()

nuxmv_status_code nuxmv_model_add_property	(	nuxmv_env	env,
		nuxmv_model	model,
		nuxmv_property	property
	)

Add a property to the model.

Parameters

[in]	env	The environment to modify.
[in]	model	The model to modify.
[in]	property	A property to add to the model.

Returns

NUXMV_SUCCESS if the invariant assignment was added, NUXMV_FAILURE in case of error.

Requirements: 03.004.02