Functions for getting Properties from a Model. More...

Collaboration diagram for Model Property Getters:

Functions
int	nuxmv_model_get_property_num (nuxmv_env env, nuxmv_model model)
	Get the number of properties in a model.

nuxmv_property	nuxmv_model_get_property (nuxmv_env env, nuxmv_model model, int prop_idx)
	Get the i-th property of a model.

nuxmv_property	nuxmv_model_get_property_by_name (nuxmv_env env, nuxmv_model model, const char *name)
	Get the property of a model by name.

Detailed Description

Functions for getting Properties from a Model.

Function Documentation

nuxmv_property nuxmv_model_get_property	(	nuxmv_env	env,
		nuxmv_model	model,
		int	prop_idx
	)

Get the i-th property of a model.

Parameters

[in]	env	The environment to inspect.
[in]	model	The model to inspect.
[in]	prop_idx	The index of the property counting from 0.

Returns: The property of the model. In case of error, NUXMV_VALID_PROPERTY() evaluates to false.

See also

Requirements: 03.004.02

nuxmv_property nuxmv_model_get_property_by_name	(	nuxmv_env	env,
		nuxmv_model	model,
		const char *	name
	)

Get the property of a model by name.

Parameters

Returns: The property of the model. In case of error, NUXMV_VALID_PROPERTY() evaluates to false.

See also

Requirements: 03.004.02

int nuxmv_model_get_property_num	(	nuxmv_env	env,
		nuxmv_model	model
	)

Get the number of properties in a model.

Parameters

[in]	env	The environment to inspect.
[in]	model	The model to extract the property number from.

Note: Should the environment or the model be modified, the returned number is no longer valid and shall be discarded.

See also

Requirements: 03.004.02