Rev | Line | |
---|
[11] | 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 |
---|
| 10 | hierarchy. Given this manager and the set of pairs (variable,value) of |
---|
| 11 | the VIS environment, the function sets specific BDD parameters to the |
---|
| 12 | given values. This command works in conjunction with print_bdd_stats. |
---|
| 13 | |
---|
| 14 | Print_bdd_stats first prints a report of the parameters and statistics |
---|
| 15 | of the current bdd_manager. By using the command "set", the user may |
---|
| 16 | modify the value of any of the parameters of the underlying bdd |
---|
| 17 | package. The way to do it is by setting a value in the variable |
---|
| 18 | BDD.parameter name where parameter name is the name of the parameter |
---|
| 19 | exactly as printed by the print_bdd_stats command. In order to |
---|
| 20 | "re-program" the underlying bdd package this command 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 20050519 10h16 |
---|
Note: See
TracBrowser
for help on using the repository browser.