source: vis_dev/vis-2.3/share/help/set_bdd_parametersCmd.txt @ 64

Last change on this file since 64 was 14, checked in by cecile, 13 years ago

vis2.3

File size: 1.3 KB
Line 
1
2  set_bdd_parameters - Creates a table with the value of all the flags
3  currently active in VIS and calls the function bdd_set_parameters with the
4  manager of the current place in the hierarchy and the table.
5     _________________________________________________________________
6
7   set_bdd_parameters [-h][-s]
8
9   The command obtains the bdd manager of the current point in the hierarchy.
10   Given  this  manager  and the set of pairs (variable,value) of the VIS
11   environment, the function sets specific BDD parameters to the given values.
12   This command works in conjunction with print_bdd_stats.
13
14   Print_bdd_stats first prints a report of the parameters and statistics of
15   the current bdd_manager. By using the command "set", the user may modify the
16   value of any of the parameters of the underlying bdd package. The way to do
17   it is by setting a value in the variable BDD.parameter name where parameter
18   name is the name of the parameter exactly as printed by the print_bdd_stats
19   command. In order to "re-program" the underlying bdd package this command
20   must be invoked.
21
22   Command options:
23
24   -h
25          Print the command usage.
26
27   -s
28          Print the bdd parameter and statistics after the modification.
29     _________________________________________________________________
30
31   Last updated on 20100410 00h02
Note: See TracBrowser for help on using the repository browser.