File indexing completed on 2026-05-10 08:48:12
0001 #ifndef ISL_AFF_H
0002 #define ISL_AFF_H
0003
0004 #include <isl/stdint.h>
0005 #include <isl/local_space.h>
0006 #include <isl/printer.h>
0007 #include <isl/id_type.h>
0008 #include <isl/set_type.h>
0009 #include <isl/aff_type.h>
0010 #include <isl/list.h>
0011 #include <isl/multi.h>
0012 #include <isl/union_set_type.h>
0013 #include <isl/val_type.h>
0014 #include <isl/point.h>
0015
0016 #if defined(__cplusplus)
0017 extern "C" {
0018 #endif
0019
0020 __isl_overload
0021 __isl_give isl_aff *isl_aff_zero_on_domain_space(__isl_take isl_space *space);
0022 __isl_export
0023 __isl_give isl_aff *isl_space_zero_aff_on_domain(__isl_take isl_space *space);
0024 __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls);
0025 __isl_give isl_aff *isl_aff_val_on_domain_space(__isl_take isl_space *space,
0026 __isl_take isl_val *val);
0027 __isl_give isl_aff *isl_aff_val_on_domain(__isl_take isl_local_space *ls,
0028 __isl_take isl_val *val);
0029 __isl_give isl_aff *isl_aff_var_on_domain(__isl_take isl_local_space *ls,
0030 enum isl_dim_type type, unsigned pos);
0031 __isl_give isl_aff *isl_aff_nan_on_domain_space(__isl_take isl_space *space);
0032 __isl_give isl_aff *isl_aff_nan_on_domain(__isl_take isl_local_space *ls);
0033 __isl_give isl_aff *isl_aff_param_on_domain_space_id(
0034 __isl_take isl_space *space, __isl_take isl_id *id);
0035 __isl_overload
0036 __isl_give isl_aff *isl_space_param_aff_on_domain_id(
0037 __isl_take isl_space *space, __isl_take isl_id *id);
0038
0039 __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
0040 __isl_null isl_aff *isl_aff_free(__isl_take isl_aff *aff);
0041
0042 isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff);
0043 uint32_t isl_aff_get_hash(__isl_keep isl_aff *aff);
0044
0045 isl_bool isl_aff_involves_locals(__isl_keep isl_aff *aff);
0046
0047 isl_size isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
0048 isl_bool isl_aff_involves_dims(__isl_keep isl_aff *aff,
0049 enum isl_dim_type type, unsigned first, unsigned n);
0050
0051 __isl_give isl_space *isl_aff_get_domain_space(__isl_keep isl_aff *aff);
0052 __isl_give isl_space *isl_aff_get_space(__isl_keep isl_aff *aff);
0053 __isl_give isl_local_space *isl_aff_get_domain_local_space(
0054 __isl_keep isl_aff *aff);
0055 __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff);
0056
0057 const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
0058 enum isl_dim_type type, unsigned pos);
0059 __isl_export
0060 __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff);
0061 __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
0062 enum isl_dim_type type, int pos);
0063 int isl_aff_coefficient_sgn(__isl_keep isl_aff *aff,
0064 enum isl_dim_type type, int pos);
0065 __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff);
0066 __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v);
0067 __isl_give isl_aff *isl_aff_set_constant_val(__isl_take isl_aff *aff,
0068 __isl_take isl_val *v);
0069 __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
0070 enum isl_dim_type type, int pos, int v);
0071 __isl_give isl_aff *isl_aff_set_coefficient_val(__isl_take isl_aff *aff,
0072 enum isl_dim_type type, int pos, __isl_take isl_val *v);
0073 __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v);
0074 __isl_overload
0075 __isl_give isl_aff *isl_aff_add_constant_val(__isl_take isl_aff *aff,
0076 __isl_take isl_val *v);
0077 __isl_give isl_aff *isl_aff_add_constant_num_si(__isl_take isl_aff *aff, int v);
0078 __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
0079 enum isl_dim_type type, int pos, int v);
0080 __isl_give isl_aff *isl_aff_add_coefficient_val(__isl_take isl_aff *aff,
0081 enum isl_dim_type type, int pos, __isl_take isl_val *v);
0082
0083 __isl_export
0084 isl_bool isl_aff_is_cst(__isl_keep isl_aff *aff);
0085
0086 __isl_give isl_aff *isl_aff_set_tuple_id(__isl_take isl_aff *aff,
0087 enum isl_dim_type type, __isl_take isl_id *id);
0088 __isl_give isl_aff *isl_aff_set_dim_name(__isl_take isl_aff *aff,
0089 enum isl_dim_type type, unsigned pos, const char *s);
0090 __isl_give isl_aff *isl_aff_set_dim_id(__isl_take isl_aff *aff,
0091 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
0092
0093 int isl_aff_find_dim_by_name(__isl_keep isl_aff *aff, enum isl_dim_type type,
0094 const char *name);
0095
0096 isl_bool isl_aff_plain_is_equal(__isl_keep isl_aff *aff1,
0097 __isl_keep isl_aff *aff2);
0098 isl_bool isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
0099 isl_bool isl_aff_is_nan(__isl_keep isl_aff *aff);
0100
0101 __isl_give isl_aff *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
0102
0103 __isl_give isl_aff *isl_aff_from_range(__isl_take isl_aff *aff);
0104
0105 __isl_export
0106 __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
0107 __isl_export
0108 __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
0109 __isl_export
0110 __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
0111 __isl_overload
0112 __isl_give isl_aff *isl_aff_mod_val(__isl_take isl_aff *aff,
0113 __isl_take isl_val *mod);
0114
0115 __isl_export
0116 __isl_give isl_aff *isl_aff_mul(__isl_take isl_aff *aff1,
0117 __isl_take isl_aff *aff2);
0118 __isl_export
0119 __isl_give isl_aff *isl_aff_div(__isl_take isl_aff *aff1,
0120 __isl_take isl_aff *aff2);
0121 __isl_export
0122 __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
0123 __isl_take isl_aff *aff2);
0124 __isl_export
0125 __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
0126 __isl_take isl_aff *aff2);
0127
0128 __isl_overload
0129 __isl_give isl_aff *isl_aff_scale_val(__isl_take isl_aff *aff,
0130 __isl_take isl_val *v);
0131 __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
0132 __isl_overload
0133 __isl_give isl_aff *isl_aff_scale_down_val(__isl_take isl_aff *aff,
0134 __isl_take isl_val *v);
0135
0136 __isl_give isl_aff *isl_aff_insert_dims(__isl_take isl_aff *aff,
0137 enum isl_dim_type type, unsigned first, unsigned n);
0138 __isl_give isl_aff *isl_aff_add_dims(__isl_take isl_aff *aff,
0139 enum isl_dim_type type, unsigned n);
0140 __isl_give isl_aff *isl_aff_move_dims(__isl_take isl_aff *aff,
0141 enum isl_dim_type dst_type, unsigned dst_pos,
0142 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0143 __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
0144 enum isl_dim_type type, unsigned first, unsigned n);
0145 __isl_give isl_aff *isl_aff_project_domain_on_params(__isl_take isl_aff *aff);
0146 __isl_export
0147 __isl_give isl_aff *isl_aff_unbind_params_insert_domain(
0148 __isl_take isl_aff *aff, __isl_take isl_multi_id *domain);
0149
0150 __isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
0151 __isl_take isl_space *model);
0152
0153 __isl_export
0154 __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff,
0155 __isl_take isl_set *context);
0156 __isl_export
0157 __isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff,
0158 __isl_take isl_set *context);
0159
0160 __isl_export
0161 __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff,
0162 __isl_take isl_point *pnt);
0163
0164 __isl_give isl_aff *isl_aff_pullback_aff(__isl_take isl_aff *aff1,
0165 __isl_take isl_aff *aff2);
0166 __isl_overload
0167 __isl_give isl_aff *isl_aff_pullback_multi_aff(__isl_take isl_aff *aff,
0168 __isl_take isl_multi_aff *ma);
0169
0170 __isl_give isl_basic_set *isl_aff_zero_basic_set(__isl_take isl_aff *aff);
0171 __isl_give isl_basic_set *isl_aff_neg_basic_set(__isl_take isl_aff *aff);
0172
0173 __isl_give isl_basic_set *isl_aff_eq_basic_set(__isl_take isl_aff *aff1,
0174 __isl_take isl_aff *aff2);
0175 __isl_export
0176 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
0177 __isl_take isl_aff *aff2);
0178 __isl_export
0179 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
0180 __isl_take isl_aff *aff2);
0181 __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
0182 __isl_take isl_aff *aff2);
0183 __isl_export
0184 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
0185 __isl_take isl_aff *aff2);
0186 __isl_give isl_basic_set *isl_aff_lt_basic_set(__isl_take isl_aff *aff1,
0187 __isl_take isl_aff *aff2);
0188 __isl_export
0189 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
0190 __isl_take isl_aff *aff2);
0191 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
0192 __isl_take isl_aff *aff2);
0193 __isl_export
0194 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
0195 __isl_take isl_aff *aff2);
0196 __isl_give isl_basic_set *isl_aff_gt_basic_set(__isl_take isl_aff *aff1,
0197 __isl_take isl_aff *aff2);
0198 __isl_export
0199 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
0200 __isl_take isl_aff *aff2);
0201
0202 __isl_overload
0203 __isl_give isl_basic_set *isl_aff_bind_id(__isl_take isl_aff *aff,
0204 __isl_take isl_id *id);
0205
0206 __isl_constructor
0207 __isl_give isl_aff *isl_aff_read_from_str(isl_ctx *ctx, const char *str);
0208 __isl_give char *isl_aff_to_str(__isl_keep isl_aff *aff);
0209 __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p,
0210 __isl_keep isl_aff *aff);
0211 void isl_aff_dump(__isl_keep isl_aff *aff);
0212
0213 isl_ctx *isl_pw_aff_get_ctx(__isl_keep isl_pw_aff *pwaff);
0214 uint32_t isl_pw_aff_get_hash(__isl_keep isl_pw_aff *pa);
0215 __isl_give isl_space *isl_pw_aff_get_domain_space(__isl_keep isl_pw_aff *pwaff);
0216 __isl_export
0217 __isl_give isl_space *isl_pw_aff_get_space(__isl_keep isl_pw_aff *pwaff);
0218
0219 __isl_constructor
0220 __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff);
0221 __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *space);
0222 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
0223 __isl_take isl_aff *aff);
0224 __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
0225 __isl_take isl_local_space *ls);
0226 __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls,
0227 enum isl_dim_type type, unsigned pos);
0228 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain_space(
0229 __isl_take isl_space *space);
0230 __isl_give isl_pw_aff *isl_pw_aff_nan_on_domain(__isl_take isl_local_space *ls);
0231 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
0232 __isl_take isl_val *v);
0233 __isl_overload
0234 __isl_give isl_pw_aff *isl_set_pw_aff_on_domain_val(__isl_take isl_set *domain,
0235 __isl_take isl_val *v);
0236 __isl_overload
0237 __isl_give isl_pw_aff *isl_pw_aff_param_on_domain_id(
0238 __isl_take isl_set *domain, __isl_take isl_id *id);
0239 __isl_overload
0240 __isl_give isl_pw_aff *isl_set_param_pw_aff_on_domain_id(
0241 __isl_take isl_set *domain, __isl_take isl_id *id);
0242
0243 __isl_export
0244 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
0245
0246 const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa,
0247 enum isl_dim_type type, unsigned pos);
0248 isl_bool isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
0249 enum isl_dim_type type, unsigned pos);
0250 __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa,
0251 enum isl_dim_type type, unsigned pos);
0252 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,
0253 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
0254
0255 int isl_pw_aff_find_dim_by_name(__isl_keep isl_pw_aff *pa,
0256 enum isl_dim_type type, const char *name);
0257
0258 isl_bool isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
0259 isl_bool isl_pw_aff_involves_nan(__isl_keep isl_pw_aff *pa);
0260 int isl_pw_aff_plain_cmp(__isl_keep isl_pw_aff *pa1,
0261 __isl_keep isl_pw_aff *pa2);
0262 isl_bool isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
0263 __isl_keep isl_pw_aff *pwaff2);
0264 isl_bool isl_pw_aff_is_equal(__isl_keep isl_pw_aff *pa1,
0265 __isl_keep isl_pw_aff *pa2);
0266
0267 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
0268 __isl_take isl_pw_aff *pwaff2);
0269 __isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
0270 __isl_take isl_pw_aff *pwaff2);
0271 __isl_export
0272 __isl_give isl_pw_aff *isl_pw_aff_union_add(__isl_take isl_pw_aff *pwaff1,
0273 __isl_take isl_pw_aff *pwaff2);
0274
0275 __isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff);
0276 __isl_null isl_pw_aff *isl_pw_aff_free(__isl_take isl_pw_aff *pwaff);
0277
0278 isl_size isl_pw_aff_dim(__isl_keep isl_pw_aff *pwaff, enum isl_dim_type type);
0279 isl_bool isl_pw_aff_involves_param_id(__isl_keep isl_pw_aff *pa,
0280 __isl_keep isl_id *id);
0281 isl_bool isl_pw_aff_involves_dims(__isl_keep isl_pw_aff *pwaff,
0282 enum isl_dim_type type, unsigned first, unsigned n);
0283
0284 isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff);
0285
0286 __isl_export
0287 __isl_give isl_pw_aff *isl_pw_aff_insert_domain(__isl_take isl_pw_aff *pa,
0288 __isl_take isl_space *domain);
0289 __isl_give isl_pw_aff *isl_pw_aff_project_domain_on_params(
0290 __isl_take isl_pw_aff *pa);
0291
0292 __isl_give isl_pw_aff *isl_pw_aff_align_params(__isl_take isl_pw_aff *pwaff,
0293 __isl_take isl_space *model);
0294 __isl_give isl_pw_aff *isl_pw_aff_drop_unused_params(
0295 __isl_take isl_pw_aff *pa);
0296
0297 isl_bool isl_pw_aff_has_tuple_id(__isl_keep isl_pw_aff *pa,
0298 enum isl_dim_type type);
0299 __isl_give isl_id *isl_pw_aff_get_tuple_id(__isl_keep isl_pw_aff *pa,
0300 enum isl_dim_type type);
0301 __isl_give isl_pw_aff *isl_pw_aff_set_tuple_id(__isl_take isl_pw_aff *pwaff,
0302 enum isl_dim_type type, __isl_take isl_id *id);
0303 __isl_give isl_pw_aff *isl_pw_aff_reset_tuple_id(__isl_take isl_pw_aff *pa,
0304 enum isl_dim_type type);
0305 __isl_give isl_pw_aff *isl_pw_aff_reset_user(__isl_take isl_pw_aff *pa);
0306
0307 __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa);
0308 __isl_export
0309 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
0310 __isl_give isl_pw_aff *isl_pw_aff_from_range(__isl_take isl_pw_aff *pwa);
0311
0312 __isl_export
0313 __isl_give isl_pw_aff *isl_pw_aff_min(__isl_take isl_pw_aff *pwaff1,
0314 __isl_take isl_pw_aff *pwaff2);
0315 __isl_export
0316 __isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
0317 __isl_take isl_pw_aff *pwaff2);
0318 __isl_export
0319 __isl_give isl_pw_aff *isl_pw_aff_mul(__isl_take isl_pw_aff *pwaff1,
0320 __isl_take isl_pw_aff *pwaff2);
0321 __isl_export
0322 __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1,
0323 __isl_take isl_pw_aff *pa2);
0324 __isl_export
0325 __isl_give isl_pw_aff *isl_pw_aff_add(__isl_take isl_pw_aff *pwaff1,
0326 __isl_take isl_pw_aff *pwaff2);
0327 __isl_export
0328 __isl_give isl_pw_aff *isl_pw_aff_sub(__isl_take isl_pw_aff *pwaff1,
0329 __isl_take isl_pw_aff *pwaff2);
0330 __isl_export
0331 __isl_give isl_pw_aff *isl_pw_aff_neg(__isl_take isl_pw_aff *pwaff);
0332 __isl_export
0333 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff);
0334 __isl_export
0335 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff);
0336 __isl_overload
0337 __isl_give isl_pw_aff *isl_pw_aff_mod_val(__isl_take isl_pw_aff *pa,
0338 __isl_take isl_val *mod);
0339 __isl_export
0340 __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,
0341 __isl_take isl_pw_aff *pa2);
0342 __isl_export
0343 __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,
0344 __isl_take isl_pw_aff *pa2);
0345
0346 __isl_export
0347 __isl_give isl_pw_aff *isl_pw_aff_intersect_params(__isl_take isl_pw_aff *pa,
0348 __isl_take isl_set *set);
0349 __isl_export
0350 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain(__isl_take isl_pw_aff *pa,
0351 __isl_take isl_set *set);
0352 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_domain(
0353 __isl_take isl_pw_aff *pa, __isl_take isl_set *set);
0354 __isl_give isl_pw_aff *isl_pw_aff_intersect_domain_wrapped_range(
0355 __isl_take isl_pw_aff *pa, __isl_take isl_set *set);
0356 __isl_export
0357 __isl_give isl_pw_aff *isl_pw_aff_subtract_domain(__isl_take isl_pw_aff *pa,
0358 __isl_take isl_set *set);
0359
0360 __isl_export
0361 __isl_give isl_pw_aff *isl_pw_aff_cond(__isl_take isl_pw_aff *cond,
0362 __isl_take isl_pw_aff *pwaff_true, __isl_take isl_pw_aff *pwaff_false);
0363
0364 __isl_overload
0365 __isl_give isl_pw_aff *isl_pw_aff_add_constant_val(__isl_take isl_pw_aff *pa,
0366 __isl_take isl_val *v);
0367 __isl_overload
0368 __isl_give isl_pw_aff *isl_pw_aff_scale_val(__isl_take isl_pw_aff *pa,
0369 __isl_take isl_val *v);
0370 __isl_overload
0371 __isl_give isl_pw_aff *isl_pw_aff_scale_down_val(__isl_take isl_pw_aff *pa,
0372 __isl_take isl_val *f);
0373
0374 __isl_give isl_pw_aff *isl_pw_aff_insert_dims(__isl_take isl_pw_aff *pwaff,
0375 enum isl_dim_type type, unsigned first, unsigned n);
0376 __isl_give isl_pw_aff *isl_pw_aff_add_dims(__isl_take isl_pw_aff *pwaff,
0377 enum isl_dim_type type, unsigned n);
0378 __isl_give isl_pw_aff *isl_pw_aff_move_dims(__isl_take isl_pw_aff *pa,
0379 enum isl_dim_type dst_type, unsigned dst_pos,
0380 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0381 __isl_give isl_pw_aff *isl_pw_aff_drop_dims(__isl_take isl_pw_aff *pwaff,
0382 enum isl_dim_type type, unsigned first, unsigned n);
0383
0384 __isl_export
0385 __isl_give isl_pw_aff *isl_pw_aff_coalesce(__isl_take isl_pw_aff *pa);
0386 __isl_export
0387 __isl_give isl_pw_aff *isl_pw_aff_gist(__isl_take isl_pw_aff *pwaff,
0388 __isl_take isl_set *context);
0389 __isl_export
0390 __isl_give isl_pw_aff *isl_pw_aff_gist_params(__isl_take isl_pw_aff *pwaff,
0391 __isl_take isl_set *context);
0392
0393 __isl_export
0394 __isl_give isl_val *isl_pw_aff_eval(__isl_take isl_pw_aff *pa,
0395 __isl_take isl_point *pnt);
0396
0397 __isl_overload
0398 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_aff(
0399 __isl_take isl_pw_aff *pa, __isl_take isl_multi_aff *ma);
0400 __isl_overload
0401 __isl_give isl_pw_aff *isl_pw_aff_pullback_pw_multi_aff(
0402 __isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma);
0403 __isl_overload
0404 __isl_give isl_pw_aff *isl_pw_aff_pullback_multi_pw_aff(
0405 __isl_take isl_pw_aff *pa, __isl_take isl_multi_pw_aff *mpa);
0406
0407 isl_size isl_pw_aff_n_piece(__isl_keep isl_pw_aff *pwaff);
0408 isl_stat isl_pw_aff_foreach_piece(__isl_keep isl_pw_aff *pwaff,
0409 isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
0410 void *user), void *user);
0411 isl_bool isl_pw_aff_every_piece(__isl_keep isl_pw_aff *pa,
0412 isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_aff *aff,
0413 void *user), void *user);
0414 __isl_export
0415 isl_bool isl_pw_aff_isa_aff(__isl_keep isl_pw_aff *pa);
0416 __isl_export
0417 __isl_give isl_aff *isl_pw_aff_as_aff(__isl_take isl_pw_aff *pa);
0418
0419 __isl_export
0420 __isl_give isl_map *isl_pw_aff_as_map(__isl_take isl_pw_aff *pa);
0421 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
0422 __isl_give isl_map *isl_map_from_pw_aff(__isl_take isl_pw_aff *pwaff);
0423
0424 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
0425 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
0426 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
0427 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
0428
0429 __isl_export
0430 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
0431 __isl_take isl_pw_aff *pwaff2);
0432 __isl_export
0433 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
0434 __isl_take isl_pw_aff *pwaff2);
0435 __isl_export
0436 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
0437 __isl_take isl_pw_aff *pwaff2);
0438 __isl_export
0439 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
0440 __isl_take isl_pw_aff *pwaff2);
0441 __isl_export
0442 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
0443 __isl_take isl_pw_aff *pwaff2);
0444 __isl_export
0445 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
0446 __isl_take isl_pw_aff *pwaff2);
0447
0448 __isl_give isl_map *isl_pw_aff_eq_map(__isl_take isl_pw_aff *pa1,
0449 __isl_take isl_pw_aff *pa2);
0450 __isl_give isl_map *isl_pw_aff_le_map(__isl_take isl_pw_aff *pa1,
0451 __isl_take isl_pw_aff *pa2);
0452 __isl_give isl_map *isl_pw_aff_lt_map(__isl_take isl_pw_aff *pa1,
0453 __isl_take isl_pw_aff *pa2);
0454 __isl_give isl_map *isl_pw_aff_ge_map(__isl_take isl_pw_aff *pa1,
0455 __isl_take isl_pw_aff *pa2);
0456 __isl_give isl_map *isl_pw_aff_gt_map(__isl_take isl_pw_aff *pa1,
0457 __isl_take isl_pw_aff *pa2);
0458
0459 __isl_export
0460 __isl_give isl_pw_aff *isl_pw_aff_bind_domain(__isl_take isl_pw_aff *pa,
0461 __isl_take isl_multi_id *tuple);
0462 __isl_export
0463 __isl_give isl_pw_aff *isl_pw_aff_bind_domain_wrapped_domain(
0464 __isl_take isl_pw_aff *pa, __isl_take isl_multi_id *tuple);
0465 __isl_overload
0466 __isl_give isl_set *isl_pw_aff_bind_id(__isl_take isl_pw_aff *pa,
0467 __isl_take isl_id *id);
0468
0469 __isl_constructor
0470 __isl_give isl_pw_aff *isl_pw_aff_read_from_str(isl_ctx *ctx, const char *str);
0471 __isl_give char *isl_pw_aff_to_str(__isl_keep isl_pw_aff *pa);
0472 __isl_give isl_printer *isl_printer_print_pw_aff(__isl_take isl_printer *p,
0473 __isl_keep isl_pw_aff *pwaff);
0474 void isl_pw_aff_dump(__isl_keep isl_pw_aff *pwaff);
0475
0476 __isl_give isl_pw_aff *isl_pw_aff_list_min(__isl_take isl_pw_aff_list *list);
0477 __isl_give isl_pw_aff *isl_pw_aff_list_max(__isl_take isl_pw_aff_list *list);
0478
0479 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
0480 __isl_take isl_pw_aff_list *list2);
0481 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
0482 __isl_take isl_pw_aff_list *list2);
0483 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
0484 __isl_take isl_pw_aff_list *list2);
0485 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
0486 __isl_take isl_pw_aff_list *list2);
0487 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
0488 __isl_take isl_pw_aff_list *list2);
0489 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
0490 __isl_take isl_pw_aff_list *list2);
0491
0492 ISL_DECLARE_MULTI(aff)
0493 ISL_DECLARE_MULTI_IDENTITY(aff)
0494 ISL_DECLARE_MULTI_CMP(aff)
0495 ISL_DECLARE_MULTI_ARITH(aff)
0496 ISL_DECLARE_MULTI_ADD_CONSTANT(aff)
0497 ISL_DECLARE_MULTI_ZERO(aff)
0498 ISL_DECLARE_MULTI_NAN(aff)
0499 ISL_DECLARE_MULTI_DIMS(aff)
0500 ISL_DECLARE_MULTI_INSERT_DOMAIN(aff)
0501 ISL_DECLARE_MULTI_LOCALS(aff)
0502 ISL_DECLARE_MULTI_DIM_ID(aff)
0503 ISL_DECLARE_MULTI_TUPLE_ID(aff)
0504 ISL_DECLARE_MULTI_WITH_DOMAIN(aff)
0505 ISL_DECLARE_MULTI_BIND_DOMAIN(aff)
0506 ISL_DECLARE_MULTI_UNBIND_PARAMS(aff)
0507
0508 __isl_constructor
0509 __isl_give isl_multi_aff *isl_multi_aff_from_aff(__isl_take isl_aff *aff);
0510 __isl_export
0511 __isl_give isl_multi_aff *isl_multi_aff_domain_map(__isl_take isl_space *space);
0512 __isl_export
0513 __isl_give isl_multi_aff *isl_space_domain_map_multi_aff(
0514 __isl_take isl_space *space);
0515 __isl_export
0516 __isl_give isl_multi_aff *isl_multi_aff_range_map(__isl_take isl_space *space);
0517 __isl_export
0518 __isl_give isl_multi_aff *isl_space_range_map_multi_aff(
0519 __isl_take isl_space *space);
0520 __isl_give isl_multi_aff *isl_multi_aff_project_out_map(
0521 __isl_take isl_space *space, enum isl_dim_type type,
0522 unsigned first, unsigned n);
0523
0524 __isl_overload
0525 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_domain_space(
0526 __isl_take isl_space *space, __isl_take isl_multi_val *mv);
0527 __isl_overload
0528 __isl_give isl_multi_aff *isl_space_multi_aff_on_domain_multi_val(
0529 __isl_take isl_space *space, __isl_take isl_multi_val *mv);
0530 __isl_give isl_multi_aff *isl_multi_aff_multi_val_on_space(
0531 __isl_take isl_space *space, __isl_take isl_multi_val *mv);
0532
0533 __isl_export
0534 __isl_give isl_multi_val *isl_multi_aff_get_constant_multi_val(
0535 __isl_keep isl_multi_aff *ma);
0536
0537 __isl_export
0538 __isl_give isl_multi_aff *isl_multi_aff_floor(__isl_take isl_multi_aff *ma);
0539
0540 __isl_export
0541 __isl_give isl_multi_aff *isl_multi_aff_gist_params(
0542 __isl_take isl_multi_aff *maff, __isl_take isl_set *context);
0543 __isl_export
0544 __isl_give isl_multi_aff *isl_multi_aff_gist(__isl_take isl_multi_aff *maff,
0545 __isl_take isl_set *context);
0546
0547 __isl_give isl_multi_aff *isl_multi_aff_lift(__isl_take isl_multi_aff *maff,
0548 __isl_give isl_local_space **ls);
0549
0550 __isl_overload
0551 __isl_give isl_multi_aff *isl_multi_aff_pullback_multi_aff(
0552 __isl_take isl_multi_aff *ma1, __isl_take isl_multi_aff *ma2);
0553
0554 __isl_give isl_multi_aff *isl_multi_aff_move_dims(__isl_take isl_multi_aff *ma,
0555 enum isl_dim_type dst_type, unsigned dst_pos,
0556 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0557
0558 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
0559 __isl_take isl_multi_aff *ma2);
0560 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
0561 __isl_take isl_multi_aff *ma2);
0562 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
0563 __isl_take isl_multi_aff *ma2);
0564 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
0565 __isl_take isl_multi_aff *ma2);
0566
0567 __isl_export
0568 __isl_give isl_basic_set *isl_multi_aff_bind(__isl_take isl_multi_aff *ma,
0569 __isl_take isl_multi_id *tuple);
0570
0571 __isl_give char *isl_multi_aff_to_str(__isl_keep isl_multi_aff *ma);
0572 __isl_give isl_printer *isl_printer_print_multi_aff(__isl_take isl_printer *p,
0573 __isl_keep isl_multi_aff *maff);
0574
0575 __isl_constructor
0576 __isl_give isl_multi_aff *isl_multi_aff_read_from_str(isl_ctx *ctx,
0577 const char *str);
0578 void isl_multi_aff_dump(__isl_keep isl_multi_aff *maff);
0579
0580 ISL_DECLARE_MULTI(pw_aff)
0581 ISL_DECLARE_MULTI_IDENTITY(pw_aff)
0582 ISL_DECLARE_MULTI_ARITH(pw_aff)
0583 ISL_DECLARE_MULTI_MIN_MAX(pw_aff)
0584 ISL_DECLARE_MULTI_ADD_CONSTANT(pw_aff)
0585 ISL_DECLARE_MULTI_ZERO(pw_aff)
0586 ISL_DECLARE_MULTI_NAN(pw_aff)
0587 ISL_DECLARE_MULTI_DIMS(pw_aff)
0588 ISL_DECLARE_MULTI_DIM_ID(pw_aff)
0589 ISL_DECLARE_MULTI_INSERT_DOMAIN(pw_aff)
0590 ISL_DECLARE_MULTI_TUPLE_ID(pw_aff)
0591 ISL_DECLARE_MULTI_WITH_DOMAIN(pw_aff)
0592 ISL_DECLARE_MULTI_BIND_DOMAIN(pw_aff)
0593 ISL_DECLARE_MULTI_PARAM(pw_aff)
0594 ISL_DECLARE_MULTI_UNBIND_PARAMS(pw_aff)
0595
0596 __isl_export
0597 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_zero(__isl_take isl_space *space);
0598 __isl_overload
0599 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity_on_domain_space(
0600 __isl_take isl_space *space);
0601 __isl_export
0602 __isl_give isl_pw_multi_aff *isl_space_identity_pw_multi_aff_on_domain(
0603 __isl_take isl_space *space);
0604 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_identity(
0605 __isl_take isl_space *space);
0606 __isl_export
0607 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_domain_map(
0608 __isl_take isl_space *space);
0609 __isl_export
0610 __isl_give isl_pw_multi_aff *isl_space_domain_map_pw_multi_aff(
0611 __isl_take isl_space *space);
0612 __isl_export
0613 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_map(
0614 __isl_take isl_space *space);
0615 __isl_export
0616 __isl_give isl_pw_multi_aff *isl_space_range_map_pw_multi_aff(
0617 __isl_take isl_space *space);
0618 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out_map(
0619 __isl_take isl_space *space, enum isl_dim_type type,
0620 unsigned first, unsigned n);
0621 __isl_export
0622 __isl_give isl_pw_multi_aff *isl_multi_aff_to_pw_multi_aff(
0623 __isl_take isl_multi_aff *ma);
0624 __isl_constructor
0625 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_aff(
0626 __isl_take isl_multi_aff *ma);
0627 __isl_constructor
0628 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_pw_aff(
0629 __isl_take isl_pw_aff *pa);
0630 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
0631 __isl_take isl_multi_aff *maff);
0632 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_copy(
0633 __isl_keep isl_pw_multi_aff *pma);
0634 __isl_null isl_pw_multi_aff *isl_pw_multi_aff_free(
0635 __isl_take isl_pw_multi_aff *pma);
0636
0637 isl_size isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma,
0638 enum isl_dim_type type);
0639 __isl_export
0640 isl_bool isl_pw_multi_aff_involves_locals(__isl_keep isl_pw_multi_aff *pma);
0641 isl_bool isl_pw_multi_aff_involves_param_id(__isl_keep isl_pw_multi_aff *pma,
0642 __isl_keep isl_id *id);
0643 isl_bool isl_pw_multi_aff_involves_dims(__isl_keep isl_pw_multi_aff *pma,
0644 enum isl_dim_type type, unsigned first, unsigned n);
0645 __isl_export
0646 __isl_give isl_pw_aff *isl_pw_multi_aff_get_at(
0647 __isl_keep isl_pw_multi_aff *pma, int pos);
0648 __isl_give isl_pw_aff *isl_pw_multi_aff_get_pw_aff(
0649 __isl_keep isl_pw_multi_aff *pma, int pos);
0650 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_pw_aff(
0651 __isl_take isl_pw_multi_aff *pma, unsigned pos,
0652 __isl_take isl_pw_aff *pa);
0653
0654 isl_ctx *isl_pw_multi_aff_get_ctx(__isl_keep isl_pw_multi_aff *pma);
0655 __isl_give isl_space *isl_pw_multi_aff_get_domain_space(
0656 __isl_keep isl_pw_multi_aff *pma);
0657 __isl_export
0658 __isl_give isl_space *isl_pw_multi_aff_get_space(
0659 __isl_keep isl_pw_multi_aff *pma);
0660 isl_bool isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma,
0661 enum isl_dim_type type);
0662 const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma,
0663 enum isl_dim_type type);
0664 __isl_export
0665 __isl_give isl_id *isl_pw_multi_aff_get_range_tuple_id(
0666 __isl_keep isl_pw_multi_aff *pma);
0667 __isl_give isl_id *isl_pw_multi_aff_get_tuple_id(
0668 __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type);
0669 __isl_export
0670 isl_bool isl_pw_multi_aff_has_range_tuple_id(__isl_keep isl_pw_multi_aff *pma);
0671 isl_bool isl_pw_multi_aff_has_tuple_id(__isl_keep isl_pw_multi_aff *pma,
0672 enum isl_dim_type type);
0673 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_tuple_id(
0674 __isl_take isl_pw_multi_aff *pma,
0675 enum isl_dim_type type, __isl_take isl_id *id);
0676 __isl_overload
0677 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_range_tuple_id(
0678 __isl_take isl_pw_multi_aff *pma, __isl_take isl_id *id);
0679 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_tuple_id(
0680 __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type);
0681 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_user(
0682 __isl_take isl_pw_multi_aff *pma);
0683
0684 int isl_pw_multi_aff_find_dim_by_name(__isl_keep isl_pw_multi_aff *pma,
0685 enum isl_dim_type type, const char *name);
0686
0687 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_dims(
0688 __isl_take isl_pw_multi_aff *pma,
0689 enum isl_dim_type type, unsigned first, unsigned n);
0690
0691 __isl_export
0692 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
0693
0694 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_empty(__isl_take isl_space *space);
0695 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_domain(
0696 __isl_take isl_set *set);
0697
0698 __isl_export
0699 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_multi_val_on_domain(
0700 __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
0701 __isl_overload
0702 __isl_give isl_pw_multi_aff *isl_set_pw_multi_aff_on_domain_multi_val(
0703 __isl_take isl_set *domain, __isl_take isl_multi_val *mv);
0704
0705 const char *isl_pw_multi_aff_get_dim_name(__isl_keep isl_pw_multi_aff *pma,
0706 enum isl_dim_type type, unsigned pos);
0707 __isl_give isl_id *isl_pw_multi_aff_get_dim_id(
0708 __isl_keep isl_pw_multi_aff *pma, enum isl_dim_type type,
0709 unsigned pos);
0710 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_set_dim_id(
0711 __isl_take isl_pw_multi_aff *pma,
0712 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
0713
0714 isl_bool isl_pw_multi_aff_involves_nan(__isl_keep isl_pw_multi_aff *pma);
0715 isl_bool isl_pw_multi_aff_plain_is_equal(__isl_keep isl_pw_multi_aff *pma1,
0716 __isl_keep isl_pw_multi_aff *pma2);
0717 isl_bool isl_pw_multi_aff_is_equal(__isl_keep isl_pw_multi_aff *pma1,
0718 __isl_keep isl_pw_multi_aff *pma2);
0719
0720 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_fix_si(
0721 __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type,
0722 unsigned pos, int value);
0723
0724 __isl_export
0725 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_add(
0726 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0727
0728 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_neg(
0729 __isl_take isl_pw_multi_aff *pma);
0730
0731 __isl_export
0732 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add(
0733 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0734 __isl_export
0735 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_sub(
0736 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0737
0738 __isl_overload
0739 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_val(
0740 __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
0741 __isl_overload
0742 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_constant_multi_val(
0743 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
0744 __isl_overload
0745 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_val(
0746 __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
0747 __isl_overload
0748 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_val(
0749 __isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
0750 __isl_overload
0751 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_multi_val(
0752 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
0753 __isl_overload
0754 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_scale_down_multi_val(
0755 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv);
0756
0757 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmin(
0758 __isl_take isl_pw_multi_aff *pma1,
0759 __isl_take isl_pw_multi_aff *pma2);
0760 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_union_lexmax(
0761 __isl_take isl_pw_multi_aff *pma1,
0762 __isl_take isl_pw_multi_aff *pma2);
0763
0764 __isl_give isl_multi_aff *isl_multi_aff_flatten_domain(
0765 __isl_take isl_multi_aff *ma);
0766
0767 __isl_export
0768 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_product(
0769 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0770 __isl_export
0771 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_flat_range_product(
0772 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0773 __isl_export
0774 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_product(
0775 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0776 __isl_export
0777 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_domain(
0778 __isl_take isl_pw_multi_aff *pma);
0779 __isl_export
0780 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_range_factor_range(
0781 __isl_take isl_pw_multi_aff *pma);
0782
0783 __isl_export
0784 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_params(
0785 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0786 __isl_export
0787 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain(
0788 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0789 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_domain(
0790 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0791 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_intersect_domain_wrapped_range(
0792 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0793 __isl_export
0794 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_subtract_domain(
0795 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0796
0797 __isl_export
0798 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_insert_domain(
0799 __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *domain);
0800 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_domain_on_params(
0801 __isl_take isl_pw_multi_aff *pma);
0802
0803 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_align_params(
0804 __isl_take isl_pw_multi_aff *pma, __isl_take isl_space *model);
0805 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_drop_unused_params(
0806 __isl_take isl_pw_multi_aff *pma);
0807
0808 __isl_export
0809 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_coalesce(
0810 __isl_take isl_pw_multi_aff *pma);
0811 __isl_export
0812 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist_params(
0813 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0814 __isl_export
0815 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_gist(
0816 __isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
0817
0818 __isl_overload
0819 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_multi_aff(
0820 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_aff *ma);
0821 __isl_overload
0822 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_pullback_pw_multi_aff(
0823 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0824 __isl_overload
0825 __isl_give isl_pw_multi_aff *
0826 isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(
0827 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
0828
0829 __isl_export
0830 isl_size isl_pw_multi_aff_n_piece(__isl_keep isl_pw_multi_aff *pma);
0831 __isl_export
0832 isl_stat isl_pw_multi_aff_foreach_piece(__isl_keep isl_pw_multi_aff *pma,
0833 isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
0834 void *user), void *user);
0835 isl_bool isl_pw_multi_aff_every_piece(__isl_keep isl_pw_multi_aff *pma,
0836 isl_bool (*test)(__isl_keep isl_set *set, __isl_keep isl_multi_aff *ma,
0837 void *user), void *user);
0838 __isl_export
0839 isl_bool isl_pw_multi_aff_isa_multi_aff(__isl_keep isl_pw_multi_aff *pma);
0840 __isl_export
0841 __isl_give isl_multi_aff *isl_pw_multi_aff_as_multi_aff(
0842 __isl_take isl_pw_multi_aff *pma);
0843
0844 __isl_export
0845 __isl_give isl_map *isl_pw_multi_aff_as_map(__isl_take isl_pw_multi_aff *pma);
0846 __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
0847 __isl_export
0848 __isl_give isl_set *isl_pw_multi_aff_as_set(__isl_take isl_pw_multi_aff *pma);
0849 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
0850
0851 __isl_give char *isl_pw_multi_aff_to_str(__isl_keep isl_pw_multi_aff *pma);
0852 __isl_give isl_printer *isl_printer_print_pw_multi_aff(__isl_take isl_printer *p,
0853 __isl_keep isl_pw_multi_aff *pma);
0854
0855 __isl_export
0856 __isl_give isl_pw_multi_aff *isl_set_as_pw_multi_aff(__isl_take isl_set *set);
0857 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
0858 __isl_export
0859 __isl_give isl_pw_multi_aff *isl_map_as_pw_multi_aff(__isl_take isl_map *map);
0860 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_map(__isl_take isl_map *map);
0861
0862 __isl_export
0863 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain(
0864 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple);
0865 __isl_export
0866 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_bind_domain_wrapped_domain(
0867 __isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_id *tuple);
0868
0869 __isl_constructor
0870 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_read_from_str(isl_ctx *ctx,
0871 const char *str);
0872 void isl_pw_multi_aff_dump(__isl_keep isl_pw_multi_aff *pma);
0873
0874
0875 __isl_overload
0876 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_ctx(
0877 isl_ctx *ctx);
0878 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty_space(
0879 __isl_take isl_space *space);
0880 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_empty(
0881 __isl_take isl_space *space);
0882 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_aff(
0883 __isl_take isl_aff *aff);
0884 __isl_constructor
0885 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_multi_aff(
0886 __isl_take isl_multi_aff *ma);
0887 __isl_export
0888 __isl_give isl_union_pw_multi_aff *isl_pw_multi_aff_to_union_pw_multi_aff(
0889 __isl_take isl_pw_multi_aff *pma);
0890 __isl_constructor
0891 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_pw_multi_aff(
0892 __isl_take isl_pw_multi_aff *pma);
0893 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_domain(
0894 __isl_take isl_union_set *uset);
0895 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_multi_val_on_domain(
0896 __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
0897 __isl_give isl_union_pw_aff *isl_union_pw_aff_param_on_domain_id(
0898 __isl_take isl_union_set *domain, __isl_take isl_id *id);
0899 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_copy(
0900 __isl_keep isl_union_pw_multi_aff *upma);
0901 __isl_null isl_union_pw_multi_aff *isl_union_pw_multi_aff_free(
0902 __isl_take isl_union_pw_multi_aff *upma);
0903
0904 __isl_give isl_union_pw_multi_aff *isl_union_set_identity_union_pw_multi_aff(
0905 __isl_take isl_union_set *uset);
0906
0907 __isl_give isl_union_pw_aff *isl_union_pw_multi_aff_get_union_pw_aff(
0908 __isl_keep isl_union_pw_multi_aff *upma, int pos);
0909
0910 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add_pw_multi_aff(
0911 __isl_take isl_union_pw_multi_aff *upma,
0912 __isl_take isl_pw_multi_aff *pma);
0913
0914 isl_ctx *isl_union_pw_multi_aff_get_ctx(
0915 __isl_keep isl_union_pw_multi_aff *upma);
0916 __isl_export
0917 __isl_give isl_space *isl_union_pw_multi_aff_get_space(
0918 __isl_keep isl_union_pw_multi_aff *upma);
0919 __isl_export
0920 __isl_give isl_pw_multi_aff_list *isl_union_pw_multi_aff_get_pw_multi_aff_list(
0921 __isl_keep isl_union_pw_multi_aff *upma);
0922
0923 isl_size isl_union_pw_multi_aff_dim(__isl_keep isl_union_pw_multi_aff *upma,
0924 enum isl_dim_type type);
0925 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_set_dim_name(
0926 __isl_take isl_union_pw_multi_aff *upma,
0927 enum isl_dim_type type, unsigned pos, const char *s);
0928
0929 int isl_union_pw_multi_aff_find_dim_by_name(
0930 __isl_keep isl_union_pw_multi_aff *upma, enum isl_dim_type type,
0931 const char *name);
0932
0933 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_drop_dims(
0934 __isl_take isl_union_pw_multi_aff *upma,
0935 enum isl_dim_type type, unsigned first, unsigned n);
0936 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_reset_user(
0937 __isl_take isl_union_pw_multi_aff *upma);
0938
0939 __isl_export
0940 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_coalesce(
0941 __isl_take isl_union_pw_multi_aff *upma);
0942 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist_params(
0943 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context);
0944 __isl_export
0945 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_gist(
0946 __isl_take isl_union_pw_multi_aff *upma,
0947 __isl_take isl_union_set *context);
0948
0949 __isl_overload
0950 __isl_give isl_union_pw_multi_aff *
0951 isl_union_pw_multi_aff_pullback_union_pw_multi_aff(
0952 __isl_take isl_union_pw_multi_aff *upma1,
0953 __isl_take isl_union_pw_multi_aff *upma2);
0954 __isl_overload
0955 __isl_give isl_union_pw_multi_aff *
0956 isl_union_pw_multi_aff_apply_union_pw_multi_aff(
0957 __isl_take isl_union_pw_multi_aff *upma1,
0958 __isl_take isl_union_pw_multi_aff *upma2);
0959 __isl_overload
0960 __isl_give isl_union_pw_multi_aff *
0961 isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff(
0962 __isl_take isl_union_pw_multi_aff *upma1,
0963 __isl_take isl_union_pw_multi_aff *upma2);
0964
0965 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_align_params(
0966 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *model);
0967
0968 isl_size isl_union_pw_multi_aff_n_pw_multi_aff(
0969 __isl_keep isl_union_pw_multi_aff *upma);
0970
0971 isl_stat isl_union_pw_multi_aff_foreach_pw_multi_aff(
0972 __isl_keep isl_union_pw_multi_aff *upma,
0973 isl_stat (*fn)(__isl_take isl_pw_multi_aff *pma, void *user),
0974 void *user);
0975 isl_bool isl_union_pw_multi_aff_every_pw_multi_aff(
0976 __isl_keep isl_union_pw_multi_aff *upma,
0977 isl_bool (*test)(__isl_keep isl_pw_multi_aff *pma, void *user),
0978 void *user);
0979 __isl_export
0980 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_extract_pw_multi_aff(
0981 __isl_keep isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
0982 __isl_export
0983 isl_bool isl_union_pw_multi_aff_isa_pw_multi_aff(
0984 __isl_keep isl_union_pw_multi_aff *upma);
0985 __isl_export
0986 __isl_give isl_pw_multi_aff *isl_union_pw_multi_aff_as_pw_multi_aff(
0987 __isl_take isl_union_pw_multi_aff *upma);
0988
0989 __isl_export
0990 isl_bool isl_union_pw_multi_aff_plain_is_empty(
0991 __isl_keep isl_union_pw_multi_aff *upma);
0992 __isl_export
0993 isl_bool isl_union_pw_multi_aff_involves_locals(
0994 __isl_keep isl_union_pw_multi_aff *upma);
0995 isl_bool isl_union_pw_multi_aff_involves_nan(
0996 __isl_keep isl_union_pw_multi_aff *upma);
0997 isl_bool isl_union_pw_multi_aff_plain_is_equal(
0998 __isl_keep isl_union_pw_multi_aff *upma1,
0999 __isl_keep isl_union_pw_multi_aff *upma2);
1000
1001 __isl_export
1002 __isl_give isl_union_set *isl_union_pw_multi_aff_domain(
1003 __isl_take isl_union_pw_multi_aff *upma);
1004
1005 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_neg(
1006 __isl_take isl_union_pw_multi_aff *upma);
1007
1008 __isl_export
1009 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_add(
1010 __isl_take isl_union_pw_multi_aff *upma1,
1011 __isl_take isl_union_pw_multi_aff *upma2);
1012 __isl_export
1013 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_union_add(
1014 __isl_take isl_union_pw_multi_aff *upma1,
1015 __isl_take isl_union_pw_multi_aff *upma2);
1016 __isl_export
1017 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_sub(
1018 __isl_take isl_union_pw_multi_aff *upma1,
1019 __isl_take isl_union_pw_multi_aff *upma2);
1020
1021 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_val(
1022 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
1023 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_down_val(
1024 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
1025 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_scale_multi_val(
1026 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_multi_val *mv);
1027
1028 __isl_export
1029 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_product(
1030 __isl_take isl_union_pw_multi_aff *upma1,
1031 __isl_take isl_union_pw_multi_aff *upma2);
1032 __isl_export
1033 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_flat_range_product(
1034 __isl_take isl_union_pw_multi_aff *upma1,
1035 __isl_take isl_union_pw_multi_aff *upma2);
1036 __isl_export
1037 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_domain(
1038 __isl_take isl_union_pw_multi_aff *upma);
1039 __isl_export
1040 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_range_factor_range(
1041 __isl_take isl_union_pw_multi_aff *upma);
1042
1043 __isl_export
1044 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_params(
1045 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set);
1046 __isl_overload
1047 __isl_give isl_union_pw_multi_aff *
1048 isl_union_pw_multi_aff_intersect_domain_union_set(
1049 __isl_take isl_union_pw_multi_aff *upma,
1050 __isl_take isl_union_set *uset);
1051 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_intersect_domain(
1052 __isl_take isl_union_pw_multi_aff *upma,
1053 __isl_take isl_union_set *uset);
1054 __isl_overload
1055 __isl_give isl_union_pw_multi_aff *
1056 isl_union_pw_multi_aff_intersect_domain_space(
1057 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
1058 __isl_export
1059 __isl_give isl_union_pw_multi_aff *
1060 isl_union_pw_multi_aff_intersect_domain_wrapped_domain(
1061 __isl_take isl_union_pw_multi_aff *upma,
1062 __isl_take isl_union_set *uset);
1063 __isl_export
1064 __isl_give isl_union_pw_multi_aff *
1065 isl_union_pw_multi_aff_intersect_domain_wrapped_range(
1066 __isl_take isl_union_pw_multi_aff *upma,
1067 __isl_take isl_union_set *uset);
1068 __isl_overload
1069 __isl_give isl_union_pw_multi_aff *
1070 isl_union_pw_multi_aff_subtract_domain_union_set(
1071 __isl_take isl_union_pw_multi_aff *upma,
1072 __isl_take isl_union_set *uset);
1073 __isl_overload
1074 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain_space(
1075 __isl_take isl_union_pw_multi_aff *upma, __isl_take isl_space *space);
1076 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_subtract_domain(
1077 __isl_take isl_union_pw_multi_aff *upma,
1078 __isl_take isl_union_set *uset);
1079
1080 __isl_export
1081 __isl_give isl_union_map *isl_union_pw_multi_aff_as_union_map(
1082 __isl_take isl_union_pw_multi_aff *upma);
1083 __isl_overload
1084 __isl_give isl_union_map *isl_union_map_from_union_pw_multi_aff(
1085 __isl_take isl_union_pw_multi_aff *upma);
1086
1087 __isl_give isl_printer *isl_printer_print_union_pw_multi_aff(
1088 __isl_take isl_printer *p, __isl_keep isl_union_pw_multi_aff *upma);
1089
1090 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_set(
1091 __isl_take isl_union_set *uset);
1092 __isl_export
1093 __isl_give isl_union_pw_multi_aff *isl_union_map_as_union_pw_multi_aff(
1094 __isl_take isl_union_map *umap);
1095 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_map(
1096 __isl_take isl_union_map *umap);
1097
1098 __isl_constructor
1099 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_read_from_str(
1100 isl_ctx *ctx, const char *str);
1101 void isl_union_pw_multi_aff_dump(__isl_keep isl_union_pw_multi_aff *upma);
1102 __isl_give char *isl_union_pw_multi_aff_to_str(
1103 __isl_keep isl_union_pw_multi_aff *upma);
1104
1105 uint32_t isl_multi_pw_aff_get_hash(__isl_keep isl_multi_pw_aff *mpa);
1106
1107 __isl_constructor
1108 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_aff(__isl_take isl_aff *aff);
1109 __isl_export
1110 __isl_give isl_multi_pw_aff *isl_multi_aff_to_multi_pw_aff(
1111 __isl_take isl_multi_aff *ma);
1112 __isl_constructor
1113 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_multi_aff(
1114 __isl_take isl_multi_aff *ma);
1115 __isl_constructor
1116 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_aff(
1117 __isl_take isl_pw_aff *pa);
1118 __isl_export
1119 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
1120 __isl_export
1121 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_params(
1122 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1123 __isl_export
1124 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_intersect_domain(
1125 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
1126
1127 __isl_export
1128 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_coalesce(
1129 __isl_take isl_multi_pw_aff *mpa);
1130 __isl_export
1131 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist(
1132 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1133 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_gist_params(
1134 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1135
1136 isl_bool isl_multi_pw_aff_is_cst(__isl_keep isl_multi_pw_aff *mpa);
1137 isl_bool isl_multi_pw_aff_is_equal(__isl_keep isl_multi_pw_aff *mpa1,
1138 __isl_keep isl_multi_pw_aff *mpa2);
1139
1140 __isl_overload
1141 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_aff(
1142 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma);
1143 __isl_overload
1144 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_pw_multi_aff(
1145 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_multi_aff *pma);
1146 __isl_overload
1147 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_pw_aff(
1148 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1149
1150 __isl_export
1151 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_union_add(
1152 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1153
1154 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_move_dims(
1155 __isl_take isl_multi_pw_aff *pma,
1156 enum isl_dim_type dst_type, unsigned dst_pos,
1157 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
1158
1159 __isl_export
1160 isl_bool isl_multi_pw_aff_isa_multi_aff(__isl_keep isl_multi_pw_aff *mpa);
1161 __isl_export
1162 __isl_give isl_multi_aff *isl_multi_pw_aff_as_multi_aff(
1163 __isl_take isl_multi_pw_aff *mpa);
1164
1165 __isl_export
1166 __isl_give isl_set *isl_multi_pw_aff_as_set(__isl_take isl_multi_pw_aff *mpa);
1167 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
1168 __isl_export
1169 __isl_give isl_map *isl_multi_pw_aff_as_map(__isl_take isl_multi_pw_aff *mpa);
1170 __isl_give isl_map *isl_map_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
1171 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_multi_pw_aff(
1172 __isl_take isl_multi_pw_aff *mpa);
1173 __isl_export
1174 __isl_give isl_multi_pw_aff *isl_pw_multi_aff_to_multi_pw_aff(
1175 __isl_take isl_pw_multi_aff *pma);
1176 __isl_constructor
1177 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_from_pw_multi_aff(
1178 __isl_take isl_pw_multi_aff *pma);
1179
1180 __isl_give isl_map *isl_multi_pw_aff_eq_map(__isl_take isl_multi_pw_aff *mpa1,
1181 __isl_take isl_multi_pw_aff *mpa2);
1182 __isl_give isl_map *isl_multi_pw_aff_lex_le_map(
1183 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1184 __isl_give isl_map *isl_multi_pw_aff_lex_lt_map(
1185 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1186 __isl_give isl_map *isl_multi_pw_aff_lex_ge_map(
1187 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1188 __isl_give isl_map *isl_multi_pw_aff_lex_gt_map(
1189 __isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2);
1190
1191 __isl_export
1192 __isl_give isl_set *isl_multi_pw_aff_bind(__isl_take isl_multi_pw_aff *mpa,
1193 __isl_take isl_multi_id *tuple);
1194
1195 __isl_constructor
1196 __isl_give isl_multi_pw_aff *isl_multi_pw_aff_read_from_str(isl_ctx *ctx,
1197 const char *str);
1198 __isl_give char *isl_multi_pw_aff_to_str(__isl_keep isl_multi_pw_aff *mpa);
1199 __isl_give isl_printer *isl_printer_print_multi_pw_aff(
1200 __isl_take isl_printer *p, __isl_keep isl_multi_pw_aff *mpa);
1201 void isl_multi_pw_aff_dump(__isl_keep isl_multi_pw_aff *mpa);
1202
1203 __isl_give isl_union_pw_aff *isl_union_pw_aff_copy(
1204 __isl_keep isl_union_pw_aff *upa);
1205 __isl_null isl_union_pw_aff *isl_union_pw_aff_free(
1206 __isl_take isl_union_pw_aff *upa);
1207
1208 isl_ctx *isl_union_pw_aff_get_ctx(__isl_keep isl_union_pw_aff *upa);
1209 __isl_export
1210 __isl_give isl_space *isl_union_pw_aff_get_space(
1211 __isl_keep isl_union_pw_aff *upa);
1212 __isl_give isl_pw_aff_list *isl_union_pw_aff_get_pw_aff_list(
1213 __isl_keep isl_union_pw_aff *upa);
1214
1215 isl_size isl_union_pw_aff_dim(__isl_keep isl_union_pw_aff *upa,
1216 enum isl_dim_type type);
1217 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
1218 __isl_take isl_union_pw_aff *upa, enum isl_dim_type type,
1219 unsigned pos, const char *s);
1220
1221 int isl_union_pw_aff_find_dim_by_name(__isl_keep isl_union_pw_aff *upa,
1222 enum isl_dim_type type, const char *name);
1223
1224 __isl_give isl_union_pw_aff *isl_union_pw_aff_drop_dims(
1225 __isl_take isl_union_pw_aff *upa,
1226 enum isl_dim_type type, unsigned first, unsigned n);
1227 __isl_give isl_union_pw_aff *isl_union_pw_aff_reset_user(
1228 __isl_take isl_union_pw_aff *upa);
1229
1230 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_ctx(isl_ctx *ctx);
1231 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty_space(
1232 __isl_take isl_space *space);
1233 __isl_give isl_union_pw_aff *isl_union_pw_aff_empty(
1234 __isl_take isl_space *space);
1235 __isl_constructor
1236 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_aff(__isl_take isl_aff *aff);
1237 __isl_export
1238 __isl_give isl_union_pw_aff *isl_pw_aff_to_union_pw_aff(
1239 __isl_take isl_pw_aff *pa);
1240 __isl_constructor
1241 __isl_give isl_union_pw_aff *isl_union_pw_aff_from_pw_aff(
1242 __isl_take isl_pw_aff *pa);
1243 __isl_give isl_union_pw_aff *isl_union_pw_aff_val_on_domain(
1244 __isl_take isl_union_set *domain, __isl_take isl_val *v);
1245 __isl_give isl_union_pw_aff *isl_union_pw_aff_aff_on_domain(
1246 __isl_take isl_union_set *domain, __isl_take isl_aff *aff);
1247 __isl_give isl_union_pw_aff *isl_union_pw_aff_pw_aff_on_domain(
1248 __isl_take isl_union_set *domain, __isl_take isl_pw_aff *pa);
1249 __isl_give isl_union_pw_aff *isl_union_pw_aff_add_pw_aff(
1250 __isl_take isl_union_pw_aff *upa, __isl_take isl_pw_aff *pa);
1251
1252 __isl_constructor
1253 __isl_give isl_union_pw_multi_aff *isl_union_pw_multi_aff_from_union_pw_aff(
1254 __isl_take isl_union_pw_aff *upa);
1255
1256 isl_size isl_union_pw_aff_n_pw_aff(__isl_keep isl_union_pw_aff *upa);
1257
1258 isl_stat isl_union_pw_aff_foreach_pw_aff(__isl_keep isl_union_pw_aff *upa,
1259 isl_stat (*fn)(__isl_take isl_pw_aff *pa, void *user), void *user);
1260 isl_bool isl_union_pw_aff_every_pw_aff(__isl_keep isl_union_pw_aff *upa,
1261 isl_bool (*test)(__isl_keep isl_pw_aff *pa, void *user), void *user);
1262 __isl_give isl_pw_aff *isl_union_pw_aff_extract_pw_aff(
1263 __isl_keep isl_union_pw_aff *upa, __isl_take isl_space *space);
1264
1265 isl_bool isl_union_pw_aff_involves_nan(__isl_keep isl_union_pw_aff *upa);
1266 isl_bool isl_union_pw_aff_plain_is_equal(__isl_keep isl_union_pw_aff *upa1,
1267 __isl_keep isl_union_pw_aff *upa2);
1268
1269 __isl_export
1270 __isl_give isl_union_set *isl_union_pw_aff_domain(
1271 __isl_take isl_union_pw_aff *upa);
1272
1273 __isl_give isl_union_pw_aff *isl_union_pw_aff_neg(
1274 __isl_take isl_union_pw_aff *upa);
1275
1276 __isl_export
1277 __isl_give isl_union_pw_aff *isl_union_pw_aff_add(
1278 __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1279 __isl_export
1280 __isl_give isl_union_pw_aff *isl_union_pw_aff_union_add(
1281 __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1282 __isl_export
1283 __isl_give isl_union_pw_aff *isl_union_pw_aff_sub(
1284 __isl_take isl_union_pw_aff *upa1, __isl_take isl_union_pw_aff *upa2);
1285
1286 __isl_export
1287 __isl_give isl_union_pw_aff *isl_union_pw_aff_coalesce(
1288 __isl_take isl_union_pw_aff *upa);
1289 __isl_export
1290 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist(
1291 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *context);
1292 __isl_give isl_union_pw_aff *isl_union_pw_aff_gist_params(
1293 __isl_take isl_union_pw_aff *upa, __isl_take isl_set *context);
1294
1295 __isl_overload
1296 __isl_give isl_union_pw_aff *isl_union_pw_aff_pullback_union_pw_multi_aff(
1297 __isl_take isl_union_pw_aff *upa,
1298 __isl_take isl_union_pw_multi_aff *upma);
1299
1300 __isl_give isl_union_pw_aff *isl_union_pw_aff_floor(
1301 __isl_take isl_union_pw_aff *upa);
1302
1303 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_val(
1304 __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
1305 __isl_give isl_union_pw_aff *isl_union_pw_aff_scale_down_val(
1306 __isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
1307 __isl_give isl_union_pw_aff *isl_union_pw_aff_mod_val(
1308 __isl_take isl_union_pw_aff *upa, __isl_take isl_val *f);
1309
1310 __isl_give isl_union_pw_aff *isl_union_pw_aff_align_params(
1311 __isl_take isl_union_pw_aff *upa, __isl_take isl_space *model);
1312
1313 __isl_export
1314 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_params(
1315 __isl_take isl_union_pw_aff *upa, __isl_take isl_set *set);
1316 __isl_overload
1317 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_space(
1318 __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space);
1319 __isl_overload
1320 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_union_set(
1321 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1322 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain(
1323 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1324 __isl_export
1325 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_domain(
1326 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1327 __isl_export
1328 __isl_give isl_union_pw_aff *isl_union_pw_aff_intersect_domain_wrapped_range(
1329 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1330 __isl_overload
1331 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_union_set(
1332 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1333 __isl_overload
1334 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain_space(
1335 __isl_take isl_union_pw_aff *upa, __isl_take isl_space *space);
1336 __isl_give isl_union_pw_aff *isl_union_pw_aff_subtract_domain(
1337 __isl_take isl_union_pw_aff *upa, __isl_take isl_union_set *uset);
1338
1339 __isl_give isl_union_pw_aff *isl_union_pw_aff_set_dim_name(
1340 __isl_take isl_union_pw_aff *upa,
1341 enum isl_dim_type type, unsigned pos, const char *s);
1342
1343 __isl_give isl_union_set *isl_union_pw_aff_zero_union_set(
1344 __isl_take isl_union_pw_aff *upa);
1345
1346 __isl_give isl_union_map *isl_union_map_from_union_pw_aff(
1347 __isl_take isl_union_pw_aff *upa);
1348
1349 __isl_overload
1350 __isl_give isl_union_set *isl_union_pw_aff_bind_id(
1351 __isl_take isl_union_pw_aff *upa, __isl_take isl_id *id);
1352
1353 __isl_constructor
1354 __isl_give isl_union_pw_aff *isl_union_pw_aff_read_from_str(isl_ctx *ctx,
1355 const char *str);
1356 __isl_give char *isl_union_pw_aff_to_str(__isl_keep isl_union_pw_aff *upa);
1357 __isl_give isl_printer *isl_printer_print_union_pw_aff(
1358 __isl_take isl_printer *p, __isl_keep isl_union_pw_aff *upa);
1359 void isl_union_pw_aff_dump(__isl_keep isl_union_pw_aff *upa);
1360
1361 ISL_DECLARE_MULTI(union_pw_aff)
1362 ISL_DECLARE_MULTI_ARITH(union_pw_aff)
1363 ISL_DECLARE_MULTI_ZERO(union_pw_aff)
1364 ISL_DECLARE_MULTI_NAN(union_pw_aff)
1365 ISL_DECLARE_MULTI_DROP_DIMS(union_pw_aff)
1366 ISL_DECLARE_MULTI_DIM_ID(union_pw_aff)
1367 ISL_DECLARE_MULTI_TUPLE_ID(union_pw_aff)
1368
1369 __isl_export
1370 __isl_give isl_multi_union_pw_aff *isl_multi_aff_to_multi_union_pw_aff(
1371 __isl_take isl_multi_aff *ma);
1372 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_aff(
1373 __isl_take isl_multi_aff *ma);
1374 __isl_constructor
1375 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_pw_aff(
1376 __isl_take isl_union_pw_aff *upa);
1377 __isl_constructor
1378 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_pw_aff(
1379 __isl_take isl_multi_pw_aff *mpa);
1380 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_val_on_domain(
1381 __isl_take isl_union_set *domain, __isl_take isl_multi_val *mv);
1382 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_aff_on_domain(
1383 __isl_take isl_union_set *domain, __isl_take isl_multi_aff *ma);
1384 __isl_give isl_multi_union_pw_aff *
1385 isl_multi_union_pw_aff_pw_multi_aff_on_domain(__isl_take isl_union_set *domain,
1386 __isl_take isl_pw_multi_aff *pma);
1387
1388 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_floor(
1389 __isl_take isl_multi_union_pw_aff *mupa);
1390
1391 __isl_export
1392 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_domain(
1393 __isl_take isl_multi_union_pw_aff *mupa,
1394 __isl_take isl_union_set *uset);
1395 __isl_export
1396 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_params(
1397 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params);
1398 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_intersect_range(
1399 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set);
1400
1401 __isl_export
1402 __isl_give isl_union_set *isl_multi_union_pw_aff_domain(
1403 __isl_take isl_multi_union_pw_aff *mupa);
1404
1405 __isl_export
1406 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_coalesce(
1407 __isl_take isl_multi_union_pw_aff *mupa);
1408 __isl_export
1409 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist(
1410 __isl_take isl_multi_union_pw_aff *mupa,
1411 __isl_take isl_union_set *context);
1412 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_gist_params(
1413 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *context);
1414
1415 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_aff(
1416 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_aff *aff);
1417 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_multi_aff(
1418 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_multi_aff *ma);
1419 __isl_give isl_union_pw_aff *isl_multi_union_pw_aff_apply_pw_aff(
1420 __isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_pw_aff *pa);
1421 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_apply_pw_multi_aff(
1422 __isl_take isl_multi_union_pw_aff *mupa,
1423 __isl_take isl_pw_multi_aff *pma);
1424
1425 __isl_overload
1426 __isl_give isl_multi_union_pw_aff *
1427 isl_multi_union_pw_aff_pullback_union_pw_multi_aff(
1428 __isl_take isl_multi_union_pw_aff *mupa,
1429 __isl_take isl_union_pw_multi_aff *upma);
1430
1431 __isl_give isl_union_pw_multi_aff *
1432 isl_union_pw_multi_aff_from_multi_union_pw_aff(
1433 __isl_take isl_multi_union_pw_aff *mupa);
1434
1435 __isl_export
1436 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_union_add(
1437 __isl_take isl_multi_union_pw_aff *mupa1,
1438 __isl_take isl_multi_union_pw_aff *mupa2);
1439
1440 __isl_export
1441 __isl_give isl_multi_union_pw_aff *
1442 isl_union_pw_multi_aff_as_multi_union_pw_aff(
1443 __isl_take isl_union_pw_multi_aff *upma);
1444 __isl_give isl_multi_union_pw_aff *
1445 isl_multi_union_pw_aff_from_union_pw_multi_aff(
1446 __isl_take isl_union_pw_multi_aff *upma);
1447
1448 __isl_export
1449 __isl_give isl_multi_union_pw_aff *isl_union_map_as_multi_union_pw_aff(
1450 __isl_take isl_union_map *umap);
1451 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_union_map(
1452 __isl_take isl_union_map *umap);
1453 __isl_overload
1454 __isl_give isl_union_map *isl_union_map_from_multi_union_pw_aff(
1455 __isl_take isl_multi_union_pw_aff *mupa);
1456
1457 __isl_give isl_union_set *isl_multi_union_pw_aff_zero_union_set(
1458 __isl_take isl_multi_union_pw_aff *mupa);
1459 __isl_export
1460 __isl_give isl_union_set *isl_multi_union_pw_aff_bind(
1461 __isl_take isl_multi_union_pw_aff *mupa,
1462 __isl_take isl_multi_id *tuple);
1463
1464 __isl_give isl_multi_pw_aff *isl_multi_union_pw_aff_extract_multi_pw_aff(
1465 __isl_keep isl_multi_union_pw_aff *mupa, __isl_take isl_space *space);
1466
1467 __isl_constructor
1468 __isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_read_from_str(
1469 isl_ctx *ctx, const char *str);
1470 __isl_give char *isl_multi_union_pw_aff_to_str(
1471 __isl_keep isl_multi_union_pw_aff *mupa);
1472 __isl_give isl_printer *isl_printer_print_multi_union_pw_aff(
1473 __isl_take isl_printer *p, __isl_keep isl_multi_union_pw_aff *mupa);
1474 void isl_multi_union_pw_aff_dump(__isl_keep isl_multi_union_pw_aff *mupa);
1475
1476 ISL_DECLARE_EXPORTED_LIST_FN(aff)
1477 ISL_DECLARE_EXPORTED_LIST_FN_READ(aff)
1478 ISL_DECLARE_EXPORTED_LIST_FN(pw_aff)
1479 ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_aff)
1480 ISL_DECLARE_EXPORTED_LIST_FN(pw_multi_aff)
1481 ISL_DECLARE_EXPORTED_LIST_FN_READ(pw_multi_aff)
1482 ISL_DECLARE_EXPORTED_LIST_FN(union_pw_aff)
1483 ISL_DECLARE_EXPORTED_LIST_FN_READ(union_pw_aff)
1484 ISL_DECLARE_LIST_FN(union_pw_multi_aff)
1485
1486 #if defined(__cplusplus)
1487 }
1488 #endif
1489
1490 #endif
