int
CommandSetVariable(
int argc,
char ** argv
)
- Sets an environment variable
- See Also
unset
- Defined in
optCmd.c
int
CommandUnsetVariable(
int argc,
char ** argv
)
- Unsets an environment variable
- See Also
set
- Defined in
optCmd.c
void
init_options_cmd(
)
- This function declares the interactive shell
commands necessary to manipulate NuSMV options.
- Defined in
optCmd.c
options_ptr
init_options(
)
- The NuSMV options are initialized. A pointer to
a structure containing the NuSMV options is allocated, its fields
are initialized and the pointer is returned.
- Defined in
optCmd.c
static char*
remove_non_existant_pps(
const char* pp_list
)
- Returned string must be freed
- Defined in
optCmd.c