nuxmv_opt Struct Reference

Option object as key-value pair. More...

#include <nuxmv.h>

Data Fields
const char *	key
const char *	value

Detailed Description

Option object as key-value pair.

Field Documentation

key

const char* nuxmv_opt::key

Null-terminated string representing the option name.

value

const char* nuxmv_opt::value

Null-terminated string representing the value for the option.

---

The documentation for this struct was generated from the following file:

• Code/include/nuxmv.h