Man pages matching name getbddvarindex in section 3:

getbddvarindex.3.en

debian 10 / alliance