CommandSetVariable()
Sets an environment variable
CommandUnsetVariable()
Unsets an environment variable
init_options_cmd()
Initialize the NuSMV options command
init_options()
Initialize the NuSMV options.
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
()
Makes append_cluster option visible to the shell interface
()
Utility for string options values
()
Utility for string options values

Last updated on 2009/03/04 13h:34