CommandDescr_t Struct Reference

#include <cmdInt.h>

Data Fields
int	changes_hmgr
PFI	command_fp
char *	name
boolean	reentrant

---

Field Documentation

int CommandDescr_t::changes_hmgr

PFI CommandDescr_t::command_fp

char* CommandDescr_t::name

boolean CommandDescr_t::reentrant

---

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

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