CommandSetVariable()
Set an environment variable
CommandUnsetVariable()
Unset an environment variable
init_options_cmd()
Initialize the NuSMV options command
init_options()
Initialize the NuSMV options.
Last updated on 990908 16h51