Rev | Line | |
---|
[14] | 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.