opt.h
External header file
optInt.h
Internal header file
optCmd.c
The option command file.

opt.h

External header file

By: Marco Roveri


optInt.h

Internal header file

By: Marco Roveri


optCmd.c

The option command file.

By: Marco Roveri

optional

init_options()
Initialize the NuSMV options.
init_options_cmd()
Initialize the NuSMV options command
CommandSetVariable()
Sets an environment variable
CommandUnsetVariable()
Unsets an environment variable

Last updated on 1021121 13h59