Opts_EnumRec Struct Reference

#include <OptsHandler.h>

Data Fields
int	e
char *	v

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

int Opts_EnumRec::e

char* Opts_EnumRec::v

---

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

• NuSMV/code/nusmv/core/opt/OptsHandler.h