reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1194 if (!bset) 1196 isl_assert(bset->ctx, pos < isl_basic_set_dim(bset, type), 1196 isl_assert(bset->ctx, pos < isl_basic_set_dim(bset, type), 1198 isl_assert(bset->ctx, type == isl_dim_param || type == isl_dim_set, 1203 abs_pos += isl_basic_set_dim(bset, isl_dim_param); 1205 for (i = 0; i < bset->n_eq; ++i) { 1206 if (isl_int_is_zero(bset->eq[i][1 + abs_pos])) 1209 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), 1210 &bset->eq[i]); 1212 context = isl_basic_set_remove_dims(isl_basic_set_copy(bset), 1221 for (i = 0; i < bset->n_ineq; ++i) { 1222 if (isl_int_is_pos(bset->ineq[i][1 + abs_pos])) 1224 else if (isl_int_is_neg(bset->ineq[i][1 + abs_pos])) 1228 context = isl_basic_set_copy(bset); 1240 return foreach_upper_bound(bset, type, abs_pos, context, n_upper, 1243 return foreach_lower_bound(bset, type, abs_pos, context, n_lower, 1245 return foreach_bound_pair(bset, type, abs_pos, context, n_lower, n_upper,