write_order [-h] [-b] [(-o | -f) order-file]
Writes the current order of BDD variables in the file specified via the -o option. If no option is specified the environment variable output_order_file will be considered. If the variable output_order_file is unset (or set to an empty value) then standard output will be used. The option -b forces the dumped variable ordering to contain only boolean variables. All the scalar variables will be substituted by those variables bits that encode them. The variables bits will occur within the dumped variable ordering depending on the position they have within the system when the command is executed.
Command options: