bdd_support

BDD bdd_support ( BDD  r  )  Returns the variable support of a bdd. Finds all the variables that r depends on. That is the support of r. See also: bdd_makeset Returns: A BDD variable set.

---