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()
Set an environment variable
CommandUnsetVariable()
Unset an environment variable

Last updated on 990908 16h51