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 990908 16h51