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

Collaboration diagram for Model Assign Getters:

Functions
int	nuxmv_model_get_init_assign_num (nuxmv_env env, nuxmv_model model)
	Get the number of initial assignments in a model.

nuxmv_assign	nuxmv_model_get_init_assign (nuxmv_env env, nuxmv_model model, int assign_idx)
	Get the i-th initial assignment of a model.

int	nuxmv_model_get_next_assign_num (nuxmv_env env, nuxmv_model model)
	Get the number of next assignments in a model.

nuxmv_assign	nuxmv_model_get_next_assign (nuxmv_env env, nuxmv_model model, int assign_idx)
	Get the i-th next assignment of a model.

int	nuxmv_model_get_invar_assign_num (nuxmv_env env, nuxmv_model model)
	Get the number of invariant assignments in a model.

nuxmv_assign	nuxmv_model_get_invar_assign (nuxmv_env env, nuxmv_model model, int assign_idx)
	Get the i-th invariant assignment of a model.

Detailed Description

Functions for getting Assigns from a Model.

Function Documentation

◆ nuxmv_model_get_init_assign()

nuxmv_assign nuxmv_model_get_init_assign	(	nuxmv_env	env,
		nuxmv_model	model,
		int	assign_idx
	)

Get the i-th initial assignment of a model.

Parameters

[in]	env	The environment to inspect.
[in]	model	The model to inspect.
[in]	assign_idx	The index of the initial assignment counting from 0.

Returns: The initial assignment of the model. In case of error, NUXMV_VALID_ASSIGN() evaluates to false.

See also

Requirements: 03.004.02

◆ nuxmv_model_get_init_assign_num()

int nuxmv_model_get_init_assign_num	(	nuxmv_env	env,
		nuxmv_model	model
	)

Get the number of initial assignments in a model.

Parameters

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

Returns: The number of initial assignments in the model or -1 in case of error.

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

◆ nuxmv_model_get_invar_assign()

nuxmv_assign nuxmv_model_get_invar_assign	(	nuxmv_env	env,
		nuxmv_model	model,
		int	assign_idx
	)

Get the i-th invariant assignment of a model.

Parameters

[in]	env	The environment to inspect.
[in]	model	The model to inspect.
[in]	assign_idx	The index of the invariant assignment counting from 0.

Returns: The invariant assignment of the model. In case of error, NUXMV_VALID_ASSIGN() evaluates to false.

See also

Requirements: 03.004.02

◆ nuxmv_model_get_invar_assign_num()

int nuxmv_model_get_invar_assign_num	(	nuxmv_env	env,
		nuxmv_model	model
	)

Get the number of invariant assignments in a model.

Parameters

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

Returns: The number of invariant assignments in the model or -1 in case of error.

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

◆ nuxmv_model_get_next_assign()

nuxmv_assign nuxmv_model_get_next_assign	(	nuxmv_env	env,
		nuxmv_model	model,
		int	assign_idx
	)

Get the i-th next assignment of a model.

Parameters

[in]	env	The environment to inspect.
[in]	model	The model to inspect.
[in]	assign_idx	The index of the next assignment counting from 0.

Returns: The next assignment of the model. In case of error, NUXMV_VALID_ASSIGN() evaluates to false.

See also

Requirements: 03.004.02

◆ nuxmv_model_get_next_assign_num()

int nuxmv_model_get_next_assign_num	(	nuxmv_env	env,
		nuxmv_model	model
	)

Get the number of next assignments in a model.

Parameters

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

Returns: The number of next assignments in the model or -1 in case of error.

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