Options

Environment options. More...

Collaboration diagram for Options:

Macros
#define	NUXMV_MAKE_OPT(k, v)   ((nuxmv_opt){.key = k, .value = v})
	Helper macro for making an option.
#define	NUXMV_VALID_OPT(opt)   ((opt).key != NULL && (opt).value != NULL)
	Valid option.

Detailed Description

Environment options.

---

Macro Definition Documentation

NUXMV_MAKE_OPT

#define NUXMV_MAKE_OPT	(		k,
			v
	)		((nuxmv_opt){.key = k, .value = v})

Helper macro for making an option.

Parameters

[in]	k	Null-terminated string representing the option key.
[in]	v	Null-terminated string representing the option value.

Returns

A new nuxmv_opt object.

See also

• NUXMV_VALID_OPT()

NUXMV_VALID_OPT

#define NUXMV_VALID_OPT

(

opt

)

((opt).key != NULL && (opt).value != NULL)

Valid option.

This macro checks whether opt is a valid nuxmv_opt.

Parameters

[in]

opt

The option to inspect.

Returns

true if the option is valid, false otherwise.

See also

• NUXMV_MAKE_OPT()