Lines Matching defs:newvar
179 PROTO {* int bdd_setpair(bddPair *pair, int oldvar, int newvar)
180 int bdd_setbddpair(bddPair *pair, BDD oldvar, BDD newvar) *}
181 DESCR {* Adds the pair {\tt (oldvar,newvar)} to the table of pairs
183 with {\tt newvar} in a call to {\tt bdd\_replace}. In the first
184 version {\tt newvar} is an integer representing the variable
188 BDD {\tt newvar}.
189 The possibility to substitute with any BDD as {\tt newvar} is
195 int bdd_setpair(bddPair *pair, int oldvar, int newvar)
202 if (newvar < 0 || newvar > bddvarnum-1)
206 pair->result[bddvar2level[oldvar]] = bdd_ithvar(newvar);
216 int bdd_setbddpair(bddPair *pair, int oldvar, BDD newvar)
223 CHECK(newvar);
229 pair->result[oldlevel] = bdd_addref(newvar);
244 PROTO {* int bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size)
245 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) *}
246 DESCR {* As for {\tt bdd\_setpair} but with {\tt oldvar} and {\tt newvar}
251 int bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size)
258 if ((e=bdd_setpair(pair, oldvar[n], newvar[n])) < 0)
265 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size)
272 if ((e=bdd_setbddpair(pair, oldvar[n], newvar[n])) < 0)