CmdAliasDescr_t Struct Reference

#include <cmdInt.h>

Data Fields
int	argc
char **	argv
char *	name

---

Field Documentation

int CmdAliasDescr_t::argc

char** CmdAliasDescr_t::argv

char* CmdAliasDescr_t::name

---

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

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