void bdd_clrvarblocks ( void   ) 

Clears all variable blocks.

Clears all the variable blocks that has been defined by calls to bdd_addvarblock.

See also:
bdd_addvarblock


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