SETBDDREFEXT(3) - manual page | Library functions

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