bdd_unique

BDD bdd_unique ( BDD  , BDD    ) Unique quantification of variables. Removes all occurences in r of variables in the set var by unique quantification. This type of quantification uses a XOR operator instead of an OR operator as in the existential quantification, and an AND operator as in the universal quantification. See also: bdd_exist, bdd_forall, bdd_makeset Returns: The quantified BDD.

---