
  write_order - Writes variable order to file.
     _________________________________________________________________
   
   write_order [-h] [-f order-file]
   
   Writes the current order of BDD variables in the file specified in the
   environment variable output_order_file.
   
   Command options:
   
   -f order-file
          Sets the environment variable output_order_file to order-file
          and then writes the ordering into it.
     _________________________________________________________________
   
   Last updated on 990119 20h08
