Lines Matching defs:tmp2
542 BDD tmp1, tmp2, tmp3;
546 tmp2 = bdd_addref( bdd_apply(tmp1, c, bddop_xor) );
548 res.bitvec[n] = tmp2;
552 tmp2 = bdd_addref( bdd_apply(c, tmp1, bddop_and) );
556 tmp3 = bdd_addref( bdd_apply(tmp1, tmp2, bddop_or) );
558 bdd_delref(tmp2);
611 BDD tmp1, tmp2, tmp3;
615 tmp2 = bdd_addref( bdd_apply(tmp1, c, bddop_xor) );
617 res.bitvec[n] = tmp2;
621 tmp2 = bdd_addref( bdd_apply(l.bitvec[n], tmp1, bddop_less) );
628 tmp1 = bdd_addref( bdd_apply(tmp3, tmp2, bddop_or) );
629 bdd_delref(tmp2);
962 bdd tmp1, tmp2, rEquN;
985 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
989 res.bitvec[m] = tmp2;
1004 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
1007 res.bitvec[m] = tmp2;
1074 bdd tmp1, tmp2, rEquN;
1097 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
1101 res.bitvec[m] = tmp2;
1116 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
1119 res.bitvec[m] = tmp2;
1161 BDD tmp2 = bdd_addref(bdd_apply(l.bitvec[n],r.bitvec[n],bddop_biimp));
1162 BDD tmp3 = bdd_addref( bdd_apply(tmp2, p, bddop_and) );
1165 bdd_delref(tmp2);
1205 BDD tmp2 = bdd_addref( bdd_apply(l.bitvec[n], r.bitvec[n], bddop_biimp) );
1206 BDD tmp3 = bdd_addref( bdd_apply(tmp2, p, bddop_and) );
1209 bdd_delref(tmp2);
1283 BDD tmp1, tmp2;
1285 tmp2 = bdd_addref( bdd_apply(tmp1, p, bddop_and) );
1288 p = tmp2;