UNSETBDDREFEXT(3) - Linux manual page online | Library functions

Increments the internal reference, and decrements the external reference of a bdd node.