CommandSetVariable()
Sets an environment variable
CommandUnsetVariable()
Unsets an environment variable
init_options_cmd()
Initialize the NuSMV options command
init_options()
Initialize the NuSMV options.

Last updated on 1020327 15h41