-
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 1011105 17h14