int bdd_autoreorder ( int  method  ) 

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


Generated on Mon Jul 23 13:25:17 2007 for BuDDy by  doxygen 1.5.1