BDD bdd_addref ( BDD  r  ) 

Increases 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 increased using this function to avoid loosing the node in the next garbage collection.

See also:
bdd_delref
Returns:
The BDD node r.


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