Man pages matching name getbddnodenum in section 3:

getbddnodenum.3.en

debian 10 / alliance