Searched refs:e0_and_neg_e1 (Results 1 – 1 of 1) sorted by relevance
| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btorexp.c | 1535 BtorNode *neg_urem, *add1, *add2, *or1, *or2, *e0_and_e1, *e0_and_neg_e1; in btor_exp_bv_smod() local
1553 e0_and_neg_e1 = btor_exp_bv_and (btor, btor_node_invert (sign_e0), sign_e1); in btor_exp_bv_smod()
1568 cond_case3 = btor_exp_cond (btor, e0_and_neg_e1, gadd2, zero); in btor_exp_bv_smod()
1596 btor_node_release (btor, e0_and_neg_e1); in btor_exp_bv_smod()
|