-
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
-
()
- Makes append_cluster option visible to the shell interface
optCmd.c
The option command file.
By: Marco Roveri
optional
-
()
- Utility for string options values
-
()
- Utility for string options values
-
init_options()
- Initialize the NuSMV options.
-
init_options_cmd()
- Initialize the NuSMV options command
-
CommandSetVariable()
- Sets an environment variable
-
CommandUnsetVariable()
- Unsets an environment variable
-
remove_non_existant_pps()
- Finds all preprocessor names occurring in the given string
that are not actually available, and returns the set of the only
available ones
Last updated on 2009/01/30 14h:53