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

Last updated on 2005/07/19 12h:35