reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
667 isl_int_init(b); 678 isl_int_mul(b, lower[1], bset->eq[j][0]); 679 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) 681 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) 686 isl_int_mul(b, upper[1], bset->eq[j][0]); 687 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) 689 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) 700 isl_int_mul(b, lower[1], bset->ineq[j][0]); 701 if (isl_int_lt(a, b)) 706 isl_int_mul(b, upper[1], bset->ineq[j][0]); 707 if (isl_int_gt(a, b)) 717 isl_int_clear(b);