Prints the current order to a file.
Prints an indented list of the variable blocks to ofile, showing the top most blocks to the left and the lower blocks to the right. Example:
This shows 5 variable blocks. The first one added is block zero, which is on the same level as block one. These two blocks are then sub-blocks of block two and block two is on the same level as block three and four. The numbers are the identifiers returned from
bdd_addvarblock. The block levels depends on the variables included in the blocks.
- See also:
- bdd_printorder, bdd_reorder, bdd_addvarblock
