bdd_setpairs

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

---