source: vis_dev/vis-2.1/share/help/print_bdd_statsCmd.txt @ 12

Last change on this file since 12 was 11, checked in by cecile, 13 years ago

Add vis
File size: 918 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
8   representing  the  functions of the network are themselves represented
9   by  BDDs  via  an  encoding  of the multi-valued variables into binary
10   valued  variables.  The statistics given by this command depend on the
11   underlying  BDD  package  with  which  VIS  was  linked.  To  get more
12   information  about  the  statistics, consult the documentation for the
13   given  BDD  package.  The  commands flatten_hierarchy and static_order
14   must be invoked before this command.
15
16   Command options:
17
18   -h
19          Print the command usage.
20     _________________________________________________________________
21
22   Last updated on 20050519 10h16
Note: See TracBrowser for help on using the repository browser.