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 990908 16h51