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

Converts a variable number in a bdd index.