fdd_setpairs

int fdd_setpairs ( bddPair *  , int *  , int *  , int    ) Defines n pairs for finite domain blocks. Defines each variable in all the finite domain blocks listed in the array p1 to be paired with the corresponding variable in p2. The result is stored in pair which must be allocated using bdd_makeset. Returns: Zero on success or a negative error code on error. See also: bdd_setpair

---