-
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