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

Gives the bdd node of a variable.