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

Tests if a variable appears in a bdd.