
  set_bdd_parameters - Creates a table with the value of all the flags
  currently active in NuSMV and change accordingly the configurable parameters
  of the DD package.
     _________________________________________________________________
   
   set_bdd_parameters [-h][-s]
   
   Given the set of pairs (variable,value) of the NuSMV environment, the
   function sets specific BDD parameters to the given values. This
   command works in conjunction with print_bdd_stats and set.
   
   print_bdd_stats first prints a report of the parameters and statistics
   of the current bdd_manager. By using the command set, the user may
   modify the value of any of the parameters of the underlying BDD
   package. The way to do it is by setting a value in the variable
   BDD.parameter name where parameter name is the name of the parameter
   exactly as printed by the print_bdd_stats command.
   
   Command options:
   
   -s
          Prints the BDD parameter and statistics after the modification.
     _________________________________________________________________
   
   Last updated on 990119 20h08
