command_item Struct Reference

#include <cmdCmd.h>

Data Fields
const char *	command_description
const char *	command_name

---

Detailed Description

Author:

Michele Dorigatti

Todo:

: Missing synopsis

Todo:

: Missing description

---

Field Documentation

const char* command_item::command_description

const char* command_item::command_name

---

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

• NuSMV/code/nusmv/shell/cmd/cmdCmd.h