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

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

Add vis

File size: 754 bytes
Line 
1
2  print_aig_stats - print statistics about the AND/INVERTER graph.
3     _________________________________________________________________
4
5   print_aig_stats [-h] [-n]
6
7   Print the following statistics about the AND/INVERTER graph:
8
9     Maximum  number  of  nodes:  the maximum number of nodes in the AND/
10          INVERTER graph.
11
12     Current  number  of  nodes:  the number of nodes in the AND/INVERTER
13          graph that are used.
14
15   Note that build_partition_maigs must be called before this command.
16
17   Command options:
18
19   -n
20          Print the name of the nodes.
21
22   -h
23          Print the command usage.
24     _________________________________________________________________
25
26   Last updated on 20050519 10h16
Note: See TracBrowser for help on using the repository browser.