SETBDDREFEXT - Online Linux Manual PageSection : 3
Updated : October 1, 1997
Source : ASIM/LIP6
Note : BDD FUNCTIONS

NAMEsetbddrefext − increments the external reference, and decrements the internal reference of a bdd node.
ERROR : rof_so : 42 : Success : 0 :
ERROR : https://linux0001.com/man : please email : johanes_gumabo@yahoo.co.id
ERROR : rof_so : 42 : Success : 0 :