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/03/04 13h:34