bdd_setbddpairs

int bdd_setbddpairs ( bddPair *  pair, int *  olvar, BDD *  newvar, int  size   ) Defines a whole set of pairs. Like bdd_setpairs but with newvar being an array of BDDs of size size. Returns: Zero on success, otherwise a negative error code. See also: bdd_newpair, bdd_setpair, bdd_replace, bdd_compose

---