bdd_exist

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

---