Enables automatic reordering.
Enables automatic reordering using method as the reordering method. If method is BDD_REORDER_NONE then automatic reordering is disabled. Automatic reordering is done every time the number of active nodes in the node table has been doubled and works by interrupting the current BDD operation, doing the reordering and the retrying the operation. In this form the argument num specifies the allowed number of reorderings. So if for example a "one shot" reordering is needed, then the num argument would be set to one. Values for method can be found under bdd_reorder.
- Returns:
- Returns the old value of method.
- See also:
- bdd_reorder
