
  print_partition_aig_dot - print a dot description of the AND/INVERTER graph
  that was built for the flattened network
     _________________________________________________________________

   print_partition_aig_dot [-h] <file_name>

   Write  a  file  in  the  format  taken  by  the tool dot depicting the
   topology  of  the  AND/INVERTER  graph.  Dot  is  a  tool that given a
   description  of  a  graph in a certain format it produces a postscript
   print   of   the  graph.  For  more  information  about  dot  look  in
   [1]http://www.research.att.com/orgs/ssr/book/reuse. Once a dot file is
   produced  with  this  command,  the  shell  command dot -Tps >.ps will
   produce the postscript file depicting the network.

   If  no  argument  is specified on the command line, the description is
   written to the standard output.

   Command options:

   -h
          Print the command usage.
     _________________________________________________________________

   Last updated on 20050519 10h16

References

   1. http://www.research.att.com/orgs/ssr/book/reuse
