source: vis_dev/vis-2.3/share/help/print_bdd_statsCmd.txt @ 80

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

vis2.3
File size: 858 bytes
Line 
1
2  print_bdd_stats - print the BDD statistics for the flattened network
3     _________________________________________________________________
4
5   print_bdd_stats [-h]
6
7   Print the BDD statistics for the flattened network. The MDDs representing
8   the functions of the network are themselves represented by BDDs via an
9   encoding of the multi-valued variables into binary valued variables. The
10   statistics given by this command depend on the underlying BDD package with
11   which VIS was linked. To get more information about the statistics, consult
12   the documentation for the given BDD package. The commands flatten_hierarchy
13   and static_order must be invoked before this command.
14
15   Command options:
16
17   -h
18          Print the command usage.
19     _________________________________________________________________
20
21   Last updated on 20100410 00h02
Note: See TracBrowser for help on using the repository browser.