bdd_addref

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.

---