source: vis_dev/vis-2.3/share/help/print_aig_statsCmd.txt @ 87

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

vis2.3
File size: 720 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/ INVERTER
10          graph.
11
12     Current number of nodes: the number of nodes in the AND/INVERTER graph
13          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 20100410 00h02
Note: See TracBrowser for help on using the repository browser.