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

Decrements the internal reference of a bdd node.