reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3006 hull = isl_set_simple_hull(isl_set_copy(set)); 3007 if (!hull) 3010 nparam = isl_basic_set_dim(hull, isl_dim_param); 3011 for (i = 0; i < isl_basic_set_dim(hull, isl_dim_set); ++i) { 3015 left = isl_basic_set_total_dim(hull) - nparam - i - 1; 3016 for (j = 0; j < hull->n_eq; ++j) { 3017 if (isl_int_is_zero(hull->eq[j][1 + nparam + i])) 3019 if (isl_seq_first_non_zero(hull->eq[j]+1+nparam+i+1, 3023 if (j < hull->n_eq) 3026 for (j = 0; j < hull->n_ineq; ++j) { 3027 if (isl_int_is_zero(hull->ineq[j][1 + nparam + i])) 3029 if (isl_seq_first_non_zero(hull->ineq[j]+1+nparam+i+1, 3031 isl_seq_first_non_zero(hull->ineq[j]+1+nparam, 3034 if (isl_int_is_pos(hull->ineq[j][1 + nparam + i])) 3052 hull = isl_basic_set_intersect(hull, bounds); 3052 hull = isl_basic_set_intersect(hull, bounds); 3053 if (!hull) 3058 return hull; 3061 isl_basic_set_free(hull);