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

Increments the internal reference of a bdd node.