reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1107 for (i = 0; i < bset->n_ineq; ++i) { 1108 if (!isl_int_is_pos(bset->ineq[i][1 + abs_pos])) 1111 context_i = set_largest_lower_bound(context, bset, 1118 for (j = 0; j < bset->n_ineq; ++j) { 1119 if (!isl_int_is_neg(bset->ineq[j][1 + abs_pos])) 1122 context_j = set_smallest_upper_bound(context_i, bset, 1127 bset->ineq[i], bset->ineq[j], abs_pos, 0); 1127 bset->ineq[i], bset->ineq[j], abs_pos, 0); 1134 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), 1135 &bset->ineq[i]); 1136 upper = isl_basic_set_constraint(isl_basic_set_copy(bset), 1137 &bset->ineq[j]); 1146 if (j < bset->n_ineq) 1152 if (i < bset->n_ineq)