bdd_forall

BDD bdd_forall ( BDD  r, BDD  var   ) Universal quantification of variables. Removes all occurences in r of variables in the set var by universal quantification. See also: bdd_exist, bdd_unique, bdd_makeset Returns: The quantified BDD.

---