Variable reordering


Functions

bddinthandler bdd_reorder_hook (bddinthandler handler)
 Sets a handler for automatic reorderings.
int bdd_swapvar (int v1, int v2)
 Swap two bdd variables.
void bdd_default_reohandler (int prestate)
 Default reorder handler.
void bdd_reorder (int method)
 Start dynamic reordering.
int bdd_reorder_gain (void)
 Calculate the gain in size after a reordering.
bddsizehandler bdd_reorder_probe (bddsizehandler handler)
 Define a handler for minimization of bdds.
void bdd_clrvarblocks (void)
 Clears all variable blocks.
int bdd_addvarblock (BDD b, int fixed)
 Adds a new variable block for reordering.
int bdd_intaddvarblock (int first, int last, int fixed)
 Adds a new variable block for reordering.
void bdd_varblockall (void)
 Add a variable block for all variables.
bddfilehandler bdd_blockfile_hook (bddfilehandler handler)
 Specifies a printing callback handler.
int bdd_autoreorder (int method)
 Enables automatic reordering.
int bdd_autoreorder_times (int method, int num)
 Enables automatic reordering.
int bdd_var2level (int var)
 Fetch the level of a specific bdd variable.
int bdd_level2var (int level)
 Fetch the variable number of a specific level.
int bdd_getreorder_times (void)
 Fetch the current number of allowed reorderings.
int bdd_getreorder_method (void)
 Fetch the current reorder method.
void bdd_enable_reorder (void)
 Enables automatic reordering.
void bdd_disable_reorder (void)
 Disable automatic reordering.
int bdd_reorder_verbose (int value)
 Enables verbose information about reorderings.
void bdd_setvarorder (int *neworder)
 Set a specific variable order.
void bdd_printorder (void)
 Prints the current order to stdout.
void bdd_fprintorder (FILE *ofile)
 Prints the current order to a file.

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