polly/isl/map.h

0001 /*
0002  * Copyright 2008-2009 Katholieke Universiteit Leuven
0003  *
0004  * Use of this software is governed by the MIT license
0005  *
0006  * Written by Sven Verdoolaege, K.U.Leuven, Departement
0007  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
0008  */
0009
0010 #ifndef ISL_MAP_H
0011 #define ISL_MAP_H
0012
0013 #include <stdio.h>
0014
0015 #include <isl/ctx.h>
0016 #include <isl/space_type.h>
0017 #include <isl/vec.h>
0018 #include <isl/mat.h>
0019 #include <isl/printer.h>
0020 #include <isl/local_space.h>
0021 #include <isl/aff_type.h>
0022 #include <isl/list.h>
0023 #include <isl/map_type.h>
0024 #include <isl/val_type.h>
0025 #include <isl/stdint.h>
0026 #include <isl/stride_info.h>
0027 #include <isl/fixed_box.h>
0028
0029 #if defined(__cplusplus)
0030 extern "C" {
0031 #endif
0032
0033 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap);
0034 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
0035                 enum isl_dim_type type);
0036
0037 __isl_export
0038 isl_size isl_map_domain_tuple_dim(__isl_keep isl_map *map);
0039 __isl_export
0040 isl_size isl_map_range_tuple_dim(__isl_keep isl_map *map);
0041 isl_size isl_map_dim(__isl_keep isl_map *map, enum isl_dim_type type);
0042
0043 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
0044 isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map);
0045 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap);
0046 __isl_export
0047 __isl_give isl_space *isl_map_get_space(__isl_keep isl_map *map);
0048
0049 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
0050     int pos);
0051
0052 __isl_give isl_local_space *isl_basic_map_get_local_space(
0053     __isl_keep isl_basic_map *bmap);
0054
0055 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
0056     __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
0057 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
0058     enum isl_dim_type type);
0059 isl_bool isl_map_has_tuple_name(__isl_keep isl_map *map,
0060     enum isl_dim_type type);
0061 const char *isl_map_get_tuple_name(__isl_keep isl_map *map,
0062     enum isl_dim_type type);
0063 __isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map,
0064     enum isl_dim_type type, const char *s);
0065 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
0066     enum isl_dim_type type, unsigned pos);
0067 isl_bool isl_map_has_dim_name(__isl_keep isl_map *map,
0068     enum isl_dim_type type, unsigned pos);
0069 const char *isl_map_get_dim_name(__isl_keep isl_map *map,
0070     enum isl_dim_type type, unsigned pos);
0071 __isl_give isl_basic_map *isl_basic_map_set_dim_name(
0072     __isl_take isl_basic_map *bmap,
0073     enum isl_dim_type type, unsigned pos, const char *s);
0074 __isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map,
0075     enum isl_dim_type type, unsigned pos, const char *s);
0076
0077 __isl_give isl_basic_map *isl_basic_map_set_tuple_id(
0078     __isl_take isl_basic_map *bmap,
0079     enum isl_dim_type type, __isl_take isl_id *id);
0080 __isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map,
0081     enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
0082 isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
0083     enum isl_dim_type type, unsigned pos);
0084 isl_bool isl_map_has_dim_id(__isl_keep isl_map *map,
0085     enum isl_dim_type type, unsigned pos);
0086 __isl_give isl_id *isl_map_get_dim_id(__isl_keep isl_map *map,
0087     enum isl_dim_type type, unsigned pos);
0088 __isl_overload
0089 __isl_give isl_map *isl_map_set_domain_tuple_id(__isl_take isl_map *map,
0090     __isl_take isl_id *id);
0091 __isl_overload
0092 __isl_give isl_map *isl_map_set_range_tuple_id(__isl_take isl_map *map,
0093     __isl_take isl_id *id);
0094 __isl_give isl_map *isl_map_set_tuple_id(__isl_take isl_map *map,
0095     enum isl_dim_type type, __isl_take isl_id *id);
0096 __isl_give isl_map *isl_map_reset_tuple_id(__isl_take isl_map *map,
0097     enum isl_dim_type type);
0098 __isl_export
0099 isl_bool isl_map_has_domain_tuple_id(__isl_keep isl_map *map);
0100 __isl_export
0101 isl_bool isl_map_has_range_tuple_id(__isl_keep isl_map *map);
0102 isl_bool isl_map_has_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type);
0103 __isl_export
0104 __isl_give isl_id *isl_map_get_domain_tuple_id(__isl_keep isl_map *map);
0105 __isl_export
0106 __isl_give isl_id *isl_map_get_range_tuple_id(__isl_keep isl_map *map);
0107 __isl_give isl_id *isl_map_get_tuple_id(__isl_keep isl_map *map,
0108     enum isl_dim_type type);
0109 __isl_give isl_map *isl_map_reset_user(__isl_take isl_map *map);
0110
0111 int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap,
0112     enum isl_dim_type type, const char *name);
0113 int isl_map_find_dim_by_id(__isl_keep isl_map *map, enum isl_dim_type type,
0114     __isl_keep isl_id *id);
0115 int isl_map_find_dim_by_name(__isl_keep isl_map *map, enum isl_dim_type type,
0116     const char *name);
0117
0118 isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap);
0119
0120 __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *space);
0121 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap);
0122 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap);
0123 __isl_give isl_basic_map *isl_basic_map_equal(
0124     __isl_take isl_space *space, unsigned n_equal);
0125 __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *space,
0126     unsigned pos);
0127 __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *space,
0128     unsigned pos);
0129 __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *space);
0130 __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *space);
0131 __isl_give isl_basic_map *isl_basic_map_nat_universe(
0132     __isl_take isl_space *space);
0133 __isl_give isl_basic_map *isl_basic_map_remove_redundancies(
0134     __isl_take isl_basic_map *bmap);
0135 __isl_give isl_map *isl_map_remove_redundancies(__isl_take isl_map *map);
0136 __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map);
0137 __isl_export
0138 __isl_give isl_basic_map *isl_map_unshifted_simple_hull(
0139     __isl_take isl_map *map);
0140 __isl_give isl_basic_map *isl_map_plain_unshifted_simple_hull(
0141     __isl_take isl_map *map);
0142 __isl_give isl_basic_map *isl_map_unshifted_simple_hull_from_map_list(
0143     __isl_take isl_map *map, __isl_take isl_map_list *list);
0144
0145 __isl_export
0146 __isl_give isl_basic_map *isl_basic_map_intersect_domain(
0147         __isl_take isl_basic_map *bmap,
0148         __isl_take isl_basic_set *bset);
0149 __isl_export
0150 __isl_give isl_basic_map *isl_basic_map_intersect_range(
0151         __isl_take isl_basic_map *bmap,
0152         __isl_take isl_basic_set *bset);
0153 __isl_export
0154 __isl_give isl_basic_map *isl_basic_map_intersect(
0155         __isl_take isl_basic_map *bmap1,
0156         __isl_take isl_basic_map *bmap2);
0157 __isl_give isl_basic_map *isl_basic_map_list_intersect(
0158     __isl_take isl_basic_map_list *list);
0159 __isl_export
0160 __isl_give isl_map *isl_basic_map_union(
0161         __isl_take isl_basic_map *bmap1,
0162         __isl_take isl_basic_map *bmap2);
0163 __isl_export
0164 __isl_give isl_basic_map *isl_basic_map_apply_domain(
0165         __isl_take isl_basic_map *bmap1,
0166         __isl_take isl_basic_map *bmap2);
0167 __isl_export
0168 __isl_give isl_basic_map *isl_basic_map_apply_range(
0169         __isl_take isl_basic_map *bmap1,
0170         __isl_take isl_basic_map *bmap2);
0171 __isl_export
0172 __isl_give isl_basic_map *isl_basic_map_affine_hull(
0173         __isl_take isl_basic_map *bmap);
0174 __isl_give isl_basic_map *isl_basic_map_preimage_domain_multi_aff(
0175     __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma);
0176 __isl_give isl_basic_map *isl_basic_map_preimage_range_multi_aff(
0177     __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma);
0178 __isl_export
0179 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap);
0180 __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap);
0181 __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap);
0182 __isl_give isl_basic_map *isl_basic_map_domain_map(
0183     __isl_take isl_basic_map *bmap);
0184 __isl_give isl_basic_map *isl_basic_map_range_map(
0185     __isl_take isl_basic_map *bmap);
0186 __isl_give isl_basic_map *isl_basic_map_remove_dims(
0187     __isl_take isl_basic_map *bmap,
0188     enum isl_dim_type type, unsigned first, unsigned n);
0189 __isl_give isl_basic_map *isl_basic_map_eliminate(
0190     __isl_take isl_basic_map *bmap,
0191     enum isl_dim_type type, unsigned first, unsigned n);
0192 __isl_export
0193 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap);
0194 __isl_export
0195 __isl_give isl_basic_map *isl_basic_map_detect_equalities(
0196                         __isl_take isl_basic_map *bmap);
0197 __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx,
0198     FILE *input);
0199 __isl_constructor
0200 __isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx,
0201     const char *str);
0202 __isl_give isl_map *isl_map_read_from_file(isl_ctx *ctx, FILE *input);
0203 __isl_constructor
0204 __isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx, const char *str);
0205 void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);
0206 void isl_map_dump(__isl_keep isl_map *map);
0207 __isl_give char *isl_basic_map_to_str(__isl_keep isl_basic_map *bmap);
0208 __isl_give isl_printer *isl_printer_print_basic_map(
0209     __isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);
0210 __isl_give char *isl_map_to_str(__isl_keep isl_map *map);
0211 __isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *printer,
0212     __isl_keep isl_map *map);
0213 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
0214         enum isl_dim_type type, unsigned pos, int value);
0215 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap,
0216     enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
0217 __isl_give isl_basic_map *isl_basic_map_lower_bound_si(
0218         __isl_take isl_basic_map *bmap,
0219         enum isl_dim_type type, unsigned pos, int value);
0220 __isl_give isl_basic_map *isl_basic_map_upper_bound_si(
0221     __isl_take isl_basic_map *bmap,
0222     enum isl_dim_type type, unsigned pos, int value);
0223 __isl_overload
0224 __isl_give isl_map *isl_map_lower_bound_multi_pw_aff(__isl_take isl_map *map,
0225     __isl_take isl_multi_pw_aff *lower);
0226 __isl_overload
0227 __isl_give isl_map *isl_map_upper_bound_multi_pw_aff(__isl_take isl_map *map,
0228     __isl_take isl_multi_pw_aff *upper);
0229
0230 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
0231     __isl_take isl_basic_map *bmap2);
0232 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap);
0233
0234 __isl_give isl_map *isl_map_sum(__isl_take isl_map *map1,
0235     __isl_take isl_map *map2);
0236 __isl_give isl_map *isl_map_neg(__isl_take isl_map *map);
0237 __isl_give isl_map *isl_map_floordiv_val(__isl_take isl_map *map,
0238     __isl_take isl_val *d);
0239
0240 __isl_export
0241 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1,
0242     __isl_keep isl_basic_map *bmap2);
0243 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
0244     __isl_keep isl_basic_map *bmap2);
0245
0246 __isl_give isl_map *isl_basic_map_partial_lexmax(
0247         __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
0248         __isl_give isl_set **empty);
0249 __isl_give isl_map *isl_basic_map_partial_lexmin(
0250         __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
0251         __isl_give isl_set **empty);
0252 __isl_give isl_map *isl_map_partial_lexmax(
0253         __isl_take isl_map *map, __isl_take isl_set *dom,
0254         __isl_give isl_set **empty);
0255 __isl_give isl_map *isl_map_partial_lexmin(
0256         __isl_take isl_map *map, __isl_take isl_set *dom,
0257         __isl_give isl_set **empty);
0258 __isl_export
0259 __isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap);
0260 __isl_export
0261 __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap);
0262 __isl_export
0263 __isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map);
0264 __isl_export
0265 __isl_give isl_map *isl_map_lexmax(__isl_take isl_map *map);
0266 __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff(
0267     __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
0268     __isl_give isl_set **empty);
0269 __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmax_pw_multi_aff(
0270     __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
0271     __isl_give isl_set **empty);
0272 __isl_give isl_pw_multi_aff *isl_basic_map_lexmin_pw_multi_aff(
0273     __isl_take isl_basic_map *bmap);
0274 __isl_export
0275 __isl_give isl_pw_multi_aff *isl_map_lexmin_pw_multi_aff(
0276     __isl_take isl_map *map);
0277 __isl_export
0278 __isl_give isl_pw_multi_aff *isl_map_lexmax_pw_multi_aff(
0279     __isl_take isl_map *map);
0280 __isl_export
0281 __isl_give isl_multi_pw_aff *isl_map_min_multi_pw_aff(__isl_take isl_map *map);
0282 __isl_export
0283 __isl_give isl_multi_pw_aff *isl_map_max_multi_pw_aff(__isl_take isl_map *map);
0284
0285 void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,
0286     FILE *out, int indent);
0287
0288 __isl_give isl_val *isl_basic_map_plain_get_val_if_fixed(
0289     __isl_keep isl_basic_map *bmap,
0290     enum isl_dim_type type, unsigned pos);
0291
0292 isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap);
0293 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap);
0294 isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
0295 isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
0296 __isl_export
0297 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
0298 __isl_export
0299 isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
0300         __isl_keep isl_basic_map *bmap2);
0301 isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1,
0302         __isl_keep isl_basic_map *bmap2);
0303
0304 __isl_export
0305 __isl_give isl_map *isl_map_universe(__isl_take isl_space *space);
0306 __isl_export
0307 __isl_give isl_map *isl_space_universe_map(__isl_take isl_space *space);
0308 __isl_give isl_map *isl_map_nat_universe(__isl_take isl_space *space);
0309 __isl_export
0310 __isl_give isl_map *isl_map_empty(__isl_take isl_space *space);
0311 __isl_give isl_map *isl_map_identity(__isl_take isl_space *space);
0312 __isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_space *space,
0313     unsigned n);
0314 __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_space *space,
0315     unsigned n);
0316 __isl_give isl_map *isl_map_lex_lt(__isl_take isl_space *set_space);
0317 __isl_give isl_map *isl_map_lex_le(__isl_take isl_space *set_space);
0318 __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_space *space,
0319     unsigned n);
0320 __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_space *space,
0321     unsigned n);
0322 __isl_give isl_map *isl_map_lex_gt(__isl_take isl_space *set_space);
0323 __isl_give isl_map *isl_map_lex_ge(__isl_take isl_space *set_space);
0324 __isl_null isl_map *isl_map_free(__isl_take isl_map *map);
0325 __isl_give isl_map *isl_map_copy(__isl_keep isl_map *map);
0326 __isl_export
0327 __isl_give isl_map *isl_map_reverse(__isl_take isl_map *map);
0328 __isl_export
0329 __isl_give isl_map *isl_map_range_reverse(__isl_take isl_map *map);
0330 __isl_export
0331 __isl_give isl_map *isl_map_union(
0332         __isl_take isl_map *map1,
0333         __isl_take isl_map *map2);
0334 __isl_give isl_map *isl_map_union_disjoint(
0335         __isl_take isl_map *map1, __isl_take isl_map *map2);
0336 __isl_export
0337 __isl_give isl_map *isl_map_intersect_domain(
0338         __isl_take isl_map *map,
0339         __isl_take isl_set *set);
0340 __isl_export
0341 __isl_give isl_map *isl_map_intersect_range(
0342         __isl_take isl_map *map,
0343         __isl_take isl_set *set);
0344 __isl_export
0345 __isl_give isl_map *isl_map_intersect_domain_factor_domain(
0346     __isl_take isl_map *map, __isl_take isl_map *factor);
0347 __isl_export
0348 __isl_give isl_map *isl_map_intersect_domain_factor_range(
0349     __isl_take isl_map *map, __isl_take isl_map *factor);
0350 __isl_export
0351 __isl_give isl_map *isl_map_intersect_range_factor_domain(
0352     __isl_take isl_map *map, __isl_take isl_map *factor);
0353 __isl_export
0354 __isl_give isl_map *isl_map_intersect_range_factor_range(
0355     __isl_take isl_map *map, __isl_take isl_map *factor);
0356 __isl_export
0357 __isl_give isl_map *isl_map_intersect_domain_wrapped_domain(
0358     __isl_take isl_map *map, __isl_take isl_set *domain);
0359 __isl_export
0360 __isl_give isl_map *isl_map_intersect_range_wrapped_domain(
0361     __isl_take isl_map *map, __isl_take isl_set *domain);
0362 __isl_export
0363 __isl_give isl_map *isl_map_apply_domain(
0364         __isl_take isl_map *map1,
0365         __isl_take isl_map *map2);
0366 __isl_export
0367 __isl_give isl_map *isl_map_apply_range(
0368         __isl_take isl_map *map1,
0369         __isl_take isl_map *map2);
0370 __isl_overload
0371 __isl_give isl_map *isl_map_preimage_domain_multi_aff(__isl_take isl_map *map,
0372     __isl_take isl_multi_aff *ma);
0373 __isl_overload
0374 __isl_give isl_map *isl_map_preimage_range_multi_aff(__isl_take isl_map *map,
0375     __isl_take isl_multi_aff *ma);
0376 __isl_overload
0377 __isl_give isl_map *isl_map_preimage_domain_pw_multi_aff(
0378     __isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma);
0379 __isl_overload
0380 __isl_give isl_map *isl_map_preimage_range_pw_multi_aff(
0381     __isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma);
0382 __isl_overload
0383 __isl_give isl_map *isl_map_preimage_domain_multi_pw_aff(
0384     __isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa);
0385 __isl_give isl_basic_map *isl_basic_map_product(
0386     __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
0387 __isl_export
0388 __isl_give isl_map *isl_map_product(__isl_take isl_map *map1,
0389     __isl_take isl_map *map2);
0390 __isl_give isl_basic_map *isl_basic_map_domain_product(
0391     __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
0392 __isl_give isl_basic_map *isl_basic_map_range_product(
0393     __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
0394 __isl_export
0395 __isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1,
0396     __isl_take isl_map *map2);
0397 __isl_export
0398 __isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1,
0399     __isl_take isl_map *map2);
0400 __isl_give isl_basic_map *isl_basic_map_flat_product(
0401     __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
0402 __isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1,
0403     __isl_take isl_map *map2);
0404 __isl_give isl_basic_map *isl_basic_map_flat_range_product(
0405     __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
0406 __isl_give isl_map *isl_map_flat_domain_product(__isl_take isl_map *map1,
0407     __isl_take isl_map *map2);
0408 __isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1,
0409     __isl_take isl_map *map2);
0410 isl_bool isl_map_domain_is_wrapping(__isl_keep isl_map *map);
0411 isl_bool isl_map_range_is_wrapping(__isl_keep isl_map *map);
0412 isl_bool isl_map_is_product(__isl_keep isl_map *map);
0413 __isl_export
0414 __isl_give isl_map *isl_map_factor_domain(__isl_take isl_map *map);
0415 __isl_export
0416 __isl_give isl_map *isl_map_factor_range(__isl_take isl_map *map);
0417 __isl_export
0418 __isl_give isl_map *isl_map_domain_factor_domain(__isl_take isl_map *map);
0419 __isl_export
0420 __isl_give isl_map *isl_map_domain_factor_range(__isl_take isl_map *map);
0421 __isl_export
0422 __isl_give isl_map *isl_map_range_factor_domain(__isl_take isl_map *map);
0423 __isl_export
0424 __isl_give isl_map *isl_map_range_factor_range(__isl_take isl_map *map);
0425 __isl_export
0426 __isl_give isl_map *isl_map_intersect(__isl_take isl_map *map1,
0427                       __isl_take isl_map *map2);
0428 __isl_export
0429 __isl_give isl_map *isl_map_intersect_params(__isl_take isl_map *map,
0430         __isl_take isl_set *params);
0431 __isl_export
0432 __isl_give isl_map *isl_map_subtract(
0433         __isl_take isl_map *map1,
0434         __isl_take isl_map *map2);
0435 __isl_give isl_map *isl_map_subtract_domain(__isl_take isl_map *map,
0436     __isl_take isl_set *dom);
0437 __isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map,
0438     __isl_take isl_set *dom);
0439 __isl_export
0440 __isl_give isl_map *isl_map_complement(__isl_take isl_map *map);
0441 __isl_give isl_map *isl_map_fix_input_si(__isl_take isl_map *map,
0442         unsigned input, int value);
0443 __isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
0444         enum isl_dim_type type, unsigned pos, int value);
0445 __isl_give isl_map *isl_map_fix_val(__isl_take isl_map *map,
0446     enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
0447 __isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map,
0448         enum isl_dim_type type, unsigned pos, int value);
0449 __isl_give isl_map *isl_map_lower_bound_val(__isl_take isl_map *map,
0450     enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
0451 __isl_give isl_map *isl_map_upper_bound_si(__isl_take isl_map *map,
0452     enum isl_dim_type type, unsigned pos, int value);
0453 __isl_give isl_map *isl_map_upper_bound_val(__isl_take isl_map *map,
0454     enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
0455 __isl_export
0456 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap);
0457 __isl_export
0458 __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map);
0459 __isl_give isl_basic_map *isl_basic_map_deltas_map(
0460     __isl_take isl_basic_map *bmap);
0461 __isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map);
0462 __isl_export
0463 __isl_give isl_map *isl_map_detect_equalities(__isl_take isl_map *map);
0464 __isl_export
0465 __isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map);
0466 __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map);
0467 __isl_export
0468 __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map);
0469 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap,
0470         enum isl_dim_type type, unsigned n);
0471 __isl_give isl_map *isl_map_add_dims(__isl_take isl_map *map,
0472         enum isl_dim_type type, unsigned n);
0473 __isl_give isl_basic_map *isl_basic_map_insert_dims(
0474     __isl_take isl_basic_map *bmap, enum isl_dim_type type,
0475     unsigned pos, unsigned n);
0476 __isl_give isl_map *isl_map_insert_dims(__isl_take isl_map *map,
0477         enum isl_dim_type type, unsigned pos, unsigned n);
0478 __isl_give isl_basic_map *isl_basic_map_move_dims(
0479     __isl_take isl_basic_map *bmap,
0480     enum isl_dim_type dst_type, unsigned dst_pos,
0481     enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0482 __isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map,
0483     enum isl_dim_type dst_type, unsigned dst_pos,
0484     enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0485 __isl_give isl_basic_map *isl_basic_map_project_out(
0486         __isl_take isl_basic_map *bmap,
0487         enum isl_dim_type type, unsigned first, unsigned n);
0488 __isl_overload
0489 __isl_give isl_map *isl_map_project_out_param_id(__isl_take isl_map *map,
0490     __isl_take isl_id *id);
0491 __isl_overload
0492 __isl_give isl_map *isl_map_project_out_param_id_list(__isl_take isl_map *map,
0493     __isl_take isl_id_list *list);
0494 __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,
0495         enum isl_dim_type type, unsigned first, unsigned n);
0496 __isl_export
0497 __isl_give isl_map *isl_map_project_out_all_params(__isl_take isl_map *map);
0498 __isl_give isl_basic_map *isl_basic_map_remove_divs(
0499     __isl_take isl_basic_map *bmap);
0500 __isl_give isl_map *isl_map_remove_unknown_divs(__isl_take isl_map *map);
0501 __isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map);
0502 __isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map,
0503     enum isl_dim_type type, unsigned first, unsigned n);
0504 __isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map,
0505     enum isl_dim_type type, unsigned first, unsigned n);
0506 __isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims(
0507     __isl_take isl_basic_map *bmap,
0508     enum isl_dim_type type, unsigned first, unsigned n);
0509 __isl_give isl_map *isl_map_remove_divs_involving_dims(__isl_take isl_map *map,
0510     enum isl_dim_type type, unsigned first, unsigned n);
0511 __isl_give isl_map *isl_map_remove_inputs(__isl_take isl_map *map,
0512     unsigned first, unsigned n);
0513
0514 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
0515     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0516 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap,
0517     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0518 __isl_give isl_map *isl_map_order_ge(__isl_take isl_map *map,
0519     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0520 __isl_give isl_map *isl_map_order_le(__isl_take isl_map *map,
0521     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0522 __isl_give isl_map *isl_map_equate(__isl_take isl_map *map,
0523     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0524 __isl_give isl_map *isl_map_oppose(__isl_take isl_map *map,
0525     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0526 __isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map,
0527     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0528 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap,
0529     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0530 __isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map,
0531     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0532
0533 __isl_export
0534 __isl_give isl_map *isl_set_translation(__isl_take isl_set *deltas);
0535 __isl_export
0536 __isl_give isl_map *isl_set_identity(__isl_take isl_set *set);
0537
0538 __isl_export
0539 isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset);
0540 __isl_export
0541 isl_bool isl_set_is_wrapping(__isl_keep isl_set *set);
0542 __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap);
0543 __isl_export
0544 __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map);
0545 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset);
0546 __isl_export
0547 __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set);
0548 __isl_export
0549 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap);
0550 __isl_export
0551 __isl_give isl_map *isl_map_flatten(__isl_take isl_map *map);
0552 __isl_export
0553 __isl_give isl_basic_map *isl_basic_map_flatten_domain(
0554     __isl_take isl_basic_map *bmap);
0555 __isl_export
0556 __isl_give isl_basic_map *isl_basic_map_flatten_range(
0557     __isl_take isl_basic_map *bmap);
0558 __isl_export
0559 __isl_give isl_map *isl_map_flatten_domain(__isl_take isl_map *map);
0560 __isl_export
0561 __isl_give isl_map *isl_map_flatten_range(__isl_take isl_map *map);
0562 __isl_export
0563 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset);
0564 __isl_export
0565 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
0566 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set);
0567 __isl_give isl_set *isl_map_params(__isl_take isl_map *map);
0568 __isl_export
0569 __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);
0570 __isl_export
0571 __isl_give isl_set *isl_map_range(__isl_take isl_map *map);
0572 __isl_export
0573 __isl_give isl_map *isl_set_insert_domain(__isl_take isl_set *set,
0574     __isl_take isl_space *domain);
0575 __isl_give isl_map *isl_map_domain_map(__isl_take isl_map *map);
0576 __isl_give isl_map *isl_map_range_map(__isl_take isl_map *map);
0577 __isl_give isl_map *isl_set_wrapped_domain_map(__isl_take isl_set *set);
0578 __isl_constructor
0579 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap);
0580 __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set);
0581 __isl_give isl_basic_map *isl_basic_map_from_domain(
0582     __isl_take isl_basic_set *bset);
0583 __isl_give isl_basic_map *isl_basic_map_from_range(
0584     __isl_take isl_basic_set *bset);
0585 __isl_give isl_map *isl_map_from_range(__isl_take isl_set *set);
0586 __isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
0587     __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
0588 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
0589     __isl_take isl_set *range);
0590 __isl_export
0591 __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map);
0592
0593 __isl_export
0594 __isl_give isl_set *isl_map_bind_domain(__isl_take isl_map *map,
0595     __isl_take isl_multi_id *tuple);
0596 __isl_export
0597 __isl_give isl_set *isl_map_bind_range(__isl_take isl_map *map,
0598     __isl_take isl_multi_id *tuple);
0599
0600 isl_bool isl_map_plain_is_empty(__isl_keep isl_map *map);
0601 isl_bool isl_map_plain_is_universe(__isl_keep isl_map *map);
0602 __isl_export
0603 isl_bool isl_map_is_empty(__isl_keep isl_map *map);
0604 __isl_export
0605 isl_bool isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
0606 __isl_export
0607 isl_bool isl_map_is_strict_subset(__isl_keep isl_map *map1,
0608     __isl_keep isl_map *map2);
0609 __isl_export
0610 isl_bool isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
0611 __isl_export
0612 isl_bool isl_map_is_disjoint(__isl_keep isl_map *map1,
0613     __isl_keep isl_map *map2);
0614 isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap);
0615 isl_bool isl_map_plain_is_single_valued(__isl_keep isl_map *map);
0616 __isl_export
0617 isl_bool isl_map_is_single_valued(__isl_keep isl_map *map);
0618 isl_bool isl_map_plain_is_injective(__isl_keep isl_map *map);
0619 __isl_export
0620 isl_bool isl_map_is_injective(__isl_keep isl_map *map);
0621 __isl_export
0622 isl_bool isl_map_is_bijective(__isl_keep isl_map *map);
0623 isl_bool isl_map_is_identity(__isl_keep isl_map *map);
0624 int isl_map_is_translation(__isl_keep isl_map *map);
0625 isl_bool isl_map_has_equal_space(__isl_keep isl_map *map1,
0626     __isl_keep isl_map *map2);
0627
0628 isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap);
0629 isl_bool isl_map_can_zip(__isl_keep isl_map *map);
0630 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap);
0631 __isl_export
0632 __isl_give isl_map *isl_map_zip(__isl_take isl_map *map);
0633
0634 isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap);
0635 isl_bool isl_map_can_curry(__isl_keep isl_map *map);
0636 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap);
0637 __isl_export
0638 __isl_give isl_map *isl_map_curry(__isl_take isl_map *map);
0639
0640 isl_bool isl_map_can_range_curry(__isl_keep isl_map *map);
0641 __isl_give isl_map *isl_map_range_curry(__isl_take isl_map *map);
0642
0643 isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap);
0644 isl_bool isl_map_can_uncurry(__isl_keep isl_map *map);
0645 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap);
0646 __isl_export
0647 __isl_give isl_map *isl_map_uncurry(__isl_take isl_map *map);
0648
0649 __isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
0650 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap);
0651 __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map);
0652 ISL_DEPRECATED
0653 __isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map);
0654
0655 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims(
0656     __isl_take isl_basic_map *bmap,
0657     enum isl_dim_type type, unsigned first, unsigned n);
0658 __isl_give isl_basic_map *isl_basic_map_drop_constraints_not_involving_dims(
0659     __isl_take isl_basic_map *bmap,
0660     enum isl_dim_type type, unsigned first, unsigned n);
0661 __isl_give isl_map *isl_map_drop_constraints_involving_dims(
0662     __isl_take isl_map *map,
0663     enum isl_dim_type type, unsigned first, unsigned n);
0664 __isl_give isl_map *isl_map_drop_constraints_not_involving_dims(
0665     __isl_take isl_map *map,
0666     enum isl_dim_type type, unsigned first, unsigned n);
0667
0668 isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap,
0669     enum isl_dim_type type, unsigned first, unsigned n);
0670 isl_bool isl_map_involves_dims(__isl_keep isl_map *map,
0671     enum isl_dim_type type, unsigned first, unsigned n);
0672
0673 void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent);
0674
0675 __isl_give isl_val *isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map,
0676     enum isl_dim_type type, unsigned pos);
0677
0678 __isl_give isl_basic_map *isl_basic_map_gist_domain(
0679     __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context);
0680 __isl_export
0681 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
0682     __isl_take isl_basic_map *context);
0683 __isl_export
0684 __isl_give isl_map *isl_map_gist(__isl_take isl_map *map,
0685     __isl_take isl_map *context);
0686 __isl_export
0687 __isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map,
0688     __isl_take isl_set *context);
0689 __isl_give isl_map *isl_map_gist_range(__isl_take isl_map *map,
0690     __isl_take isl_set *context);
0691 __isl_export
0692 __isl_give isl_map *isl_map_gist_params(__isl_take isl_map *map,
0693     __isl_take isl_set *context);
0694 __isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,
0695     __isl_take isl_basic_map *context);
0696
0697 __isl_give isl_stride_info *isl_map_get_range_stride_info(
0698     __isl_keep isl_map *map, int pos);
0699 __isl_export
0700 __isl_give isl_fixed_box *isl_map_get_range_lattice_tile(
0701     __isl_keep isl_map *map);
0702 __isl_export
0703 __isl_give isl_fixed_box *isl_map_get_range_simple_fixed_box_hull(
0704     __isl_keep isl_map *map);
0705
0706 __isl_export
0707 __isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map);
0708
0709 isl_bool isl_map_plain_is_equal(__isl_keep isl_map *map1,
0710     __isl_keep isl_map *map2);
0711
0712 uint32_t isl_map_get_hash(__isl_keep isl_map *map);
0713
0714 __isl_export
0715 isl_size isl_map_n_basic_map(__isl_keep isl_map *map);
0716 __isl_export
0717 isl_stat isl_map_foreach_basic_map(__isl_keep isl_map *map,
0718     isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user);
0719 __isl_give isl_basic_map_list *isl_map_get_basic_map_list(
0720     __isl_keep isl_map *map);
0721
0722 __isl_overload
0723 __isl_give isl_map *isl_map_fixed_power_val(__isl_take isl_map *map,
0724     __isl_take isl_val *exp);
0725 __isl_give isl_map *isl_map_power(__isl_take isl_map *map, isl_bool *exact);
0726 __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map,
0727     isl_bool *exact);
0728 __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map,
0729     isl_bool *exact);
0730
0731 __isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1,
0732     __isl_take isl_map *map2);
0733 __isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1,
0734     __isl_take isl_map *map2);
0735 __isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1,
0736     __isl_take isl_map *map2);
0737 __isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1,
0738     __isl_take isl_map *map2);
0739
0740 __isl_overload
0741 __isl_give isl_map *isl_map_eq_at_multi_pw_aff(__isl_take isl_map *map,
0742     __isl_take isl_multi_pw_aff *mpa);
0743 __isl_overload
0744 __isl_give isl_map *isl_map_lex_lt_at_multi_pw_aff(__isl_take isl_map *map,
0745     __isl_take isl_multi_pw_aff *mpa);
0746 __isl_overload
0747 __isl_give isl_map *isl_map_lex_le_at_multi_pw_aff(__isl_take isl_map *map,
0748     __isl_take isl_multi_pw_aff *mpa);
0749 __isl_overload
0750 __isl_give isl_map *isl_map_lex_gt_at_multi_pw_aff(__isl_take isl_map *map,
0751     __isl_take isl_multi_pw_aff *mpa);
0752 __isl_overload
0753 __isl_give isl_map *isl_map_lex_ge_at_multi_pw_aff(__isl_take isl_map *map,
0754     __isl_take isl_multi_pw_aff *mpa);
0755
0756 __isl_give isl_basic_map *isl_basic_map_align_params(
0757     __isl_take isl_basic_map *bmap, __isl_take isl_space *model);
0758 __isl_give isl_map *isl_map_align_params(__isl_take isl_map *map,
0759     __isl_take isl_space *model);
0760 __isl_give isl_basic_map *isl_basic_map_drop_unused_params(
0761     __isl_take isl_basic_map *bmap);
0762 __isl_give isl_map *isl_map_drop_unused_params(__isl_take isl_map *map);
0763
0764 __isl_give isl_mat *isl_basic_map_equalities_matrix(
0765         __isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
0766         enum isl_dim_type c2, enum isl_dim_type c3,
0767         enum isl_dim_type c4, enum isl_dim_type c5);
0768 __isl_give isl_mat *isl_basic_map_inequalities_matrix(
0769         __isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
0770         enum isl_dim_type c2, enum isl_dim_type c3,
0771         enum isl_dim_type c4, enum isl_dim_type c5);
0772 __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
0773     __isl_take isl_space *space,
0774     __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
0775     enum isl_dim_type c2, enum isl_dim_type c3,
0776     enum isl_dim_type c4, enum isl_dim_type c5);
0777
0778 __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff);
0779 __isl_give isl_basic_map *isl_basic_map_from_multi_aff(
0780     __isl_take isl_multi_aff *maff);
0781 __isl_give isl_basic_map *isl_basic_map_from_aff_list(
0782     __isl_take isl_space *domain_space, __isl_take isl_aff_list *list);
0783
0784 __isl_give isl_map *isl_map_from_aff(__isl_take isl_aff *aff);
0785 __isl_export
0786 __isl_give isl_map *isl_multi_aff_as_map(__isl_take isl_multi_aff *ma);
0787 __isl_give isl_map *isl_map_from_multi_aff(__isl_take isl_multi_aff *maff);
0788
0789 __isl_give isl_pw_aff *isl_map_dim_min(__isl_take isl_map *map, int pos);
0790 __isl_give isl_pw_aff *isl_map_dim_max(__isl_take isl_map *map, int pos);
0791
0792 ISL_DECLARE_LIST_FN(basic_map)
0793 ISL_DECLARE_EXPORTED_LIST_FN(map)
0794 ISL_DECLARE_EXPORTED_LIST_FN_READ(map)
0795
0796 #if defined(__cplusplus)
0797 }
0798 #endif
0799
0800 #endif