Lines Matching defs:p2
961 PROTO {* int fdd_setpair(bddPair *pair, int p1, int p2) *}
963 be paired with the corresponding variable in {\tt p2}. The result
969 int fdd_setpair(bddPair *pair, int p1, int p2)
976 if (p1<0 || p1>=fdvarnum || p2<0 || p2>=fdvarnum)
979 if (domain[p1].binsize != domain[p2].binsize)
983 if ((e=bdd_setpair(pair, domain[p1].ivar[n], domain[p2].ivar[n])) < 0)
994 PROTO {* int fdd_setpairs(bddPair *pair, int *p1, int *p2, int size) *}
997 in {\tt p2}. The result
1003 int fdd_setpairs(bddPair *pair, int *p1, int *p2, int size)
1011 if (p1[n]<0 || p1[n]>=fdvarnum || p2[n]<0 || p2[n]>=fdvarnum)
1015 if ((e=fdd_setpair(pair, p1[n], p2[n])) < 0)