BDD bdd_delref ( BDD  r  ) 

Decreases the reference count on a node.

Reference counting is done on externaly referenced nodes only and the count for a specific node r can and must be decreased using this function to make it possible to reclaim the node in the next garbage collection.

See also:
bdd_addref
Returns:
The BDD node r.


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