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

Clears the internal references for all bdd nodes.