| int bdd_reorder_gain | ( | void | ) |
Calculate the gain in size after a reordering.
Returns the gain in percent of the previous number of used nodes. The value returned is
![\[ (100 * (A - B)) / A \]](form_22.png)
Where 
is previous number of used nodes and 
is current number of used nodes.
