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

Converts bdd index to a variable number.