bdd_relprod

#define bdd_relprod ( a, b, var   )     bdd_appex((a),(b),bddop_and,(var)) Relational product. Calculates the relational product of a and b as a AND b with the variables in var quantified out afterwards. Returns: The relational product or bddfalse on errors. See also: bdd_appex Definition at line 164 of file bdd.h.

---