Variable reordering
bdd_addvarblock
bdd_autoreorder
bdd_autoreorder_times
bdd_blockfile_hook
bdd_clrvarblocks
bdd_default_reohandler
bdd_disable_reorder
bdd_enable_reorder
bdd_fprintorder
bdd_getreorder_method
bdd_getreorder_times
bdd_intaddvarblock
bdd_level2var
bdd_printorder
bdd_reorder
bdd_reorder_gain
bdd_reorder_hook
bdd_reorder_probe
bdd_reorder_verbose
bdd_setvarorder
bdd_swapvar
bdd_var2level
bdd_varblockall
void bdd_enable_reorder ( void   ) 

Enables automatic reordering.

Re-enables reordering after a call to bdd_disable_reorder.

See also:
bdd_disable_reorder

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