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. Values for method can be found under bdd_reorder.
- Returns:
- Returns the old value of method.
- See also:
- bdd_reorder
