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: