bdd_delref

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.

---