BuDDy: bdd_reorder

bddsizehandler bdd_reorder_probe ( bddsizehandler handler )

Define a handler for minimization of bdds.

Reordering is typically done to minimize the global number of BDD nodes in use, but it may in some cases be usefull to minimize with respect to a specific BDD. With bdd_reorder_probe it is possible to define a callback function that calculates the size of a specific BDD (or anything else in fact). This handler will then be called by the reordering functions to get the current size information. A typical handle could look like this:

 int * sizehandler(void) 
 { 
   extern BDD mybdd; 
   return bdd_nodecount(mybdd); 
 }

No default handler is supplied. The argument handler may be NULL if no handler is needed.

Returns:: The old handler.

See also:: bdd_reorder