add isl_basic_{set,map}_align_params
[platform/upstream/isl.git] / include / isl / map.h
1 /*
2  * Copyright 2008-2009 Katholieke Universiteit Leuven
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8  */
9
10 #ifndef ISL_MAP_H
11 #define ISL_MAP_H
12
13 #include <stdio.h>
14
15 #include <isl/int.h>
16 #include <isl/ctx.h>
17 #include <isl/blk.h>
18 #include <isl/space.h>
19 #include <isl/vec.h>
20 #include <isl/mat.h>
21 #include <isl/printer.h>
22 #include <isl/local_space.h>
23 #include <isl/aff_type.h>
24 #include <isl/list.h>
25 #include <isl/map_type.h>
26
27 #if defined(__cplusplus)
28 extern "C" {
29 #endif
30
31 /* General notes:
32  *
33  * All structures are reference counted to allow reuse without duplication.
34  * A *_copy operation will increase the reference count, while a *_free
35  * operation will decrease the reference count and only actually release
36  * the structures when the reference count drops to zero.
37  *
38  * Functions that return an isa structure will in general _destroy_
39  * all argument isa structures (the obvious execption begin the _copy
40  * functions).  A pointer passed to such a function may therefore
41  * never be used after the function call.  If you want to keep a
42  * reference to the old structure(s), use the appropriate _copy function.
43  */
44
45 unsigned isl_basic_map_n_in(const struct isl_basic_map *bmap);
46 unsigned isl_basic_map_n_out(const struct isl_basic_map *bmap);
47 unsigned isl_basic_map_n_param(const struct isl_basic_map *bmap);
48 unsigned isl_basic_map_n_div(const struct isl_basic_map *bmap);
49 unsigned isl_basic_map_total_dim(const struct isl_basic_map *bmap);
50 unsigned isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
51                                 enum isl_dim_type type);
52
53 unsigned isl_map_n_in(const struct isl_map *map);
54 unsigned isl_map_n_out(const struct isl_map *map);
55 unsigned isl_map_n_param(const struct isl_map *map);
56 unsigned isl_map_dim(__isl_keep isl_map *map, enum isl_dim_type type);
57
58 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
59 isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map);
60 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap);
61 __isl_give isl_space *isl_map_get_space(__isl_keep isl_map *map);
62
63 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
64         int pos);
65
66 __isl_give isl_local_space *isl_basic_map_get_local_space(
67         __isl_keep isl_basic_map *bmap);
68
69 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
70         __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
71 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
72         enum isl_dim_type type);
73 const char *isl_map_get_tuple_name(__isl_keep isl_map *map,
74         enum isl_dim_type type);
75 __isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map,
76         enum isl_dim_type type, const char *s);
77 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
78         enum isl_dim_type type, unsigned pos);
79 int isl_map_has_dim_name(__isl_keep isl_map *map,
80         enum isl_dim_type type, unsigned pos);
81 const char *isl_map_get_dim_name(__isl_keep isl_map *map,
82         enum isl_dim_type type, unsigned pos);
83 __isl_give isl_basic_map *isl_basic_map_set_dim_name(
84         __isl_take isl_basic_map *bmap,
85         enum isl_dim_type type, unsigned pos, const char *s);
86 __isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map,
87         enum isl_dim_type type, unsigned pos, const char *s);
88
89 __isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map,
90         enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
91 int isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
92         enum isl_dim_type type, unsigned pos);
93 int isl_map_has_dim_id(__isl_keep isl_map *map,
94         enum isl_dim_type type, unsigned pos);
95 __isl_give isl_id *isl_map_get_dim_id(__isl_keep isl_map *map,
96         enum isl_dim_type type, unsigned pos);
97 __isl_give isl_map *isl_map_set_tuple_id(__isl_take isl_map *map,
98         enum isl_dim_type type, __isl_take isl_id *id);
99 __isl_give isl_map *isl_map_reset_tuple_id(__isl_take isl_map *map,
100         enum isl_dim_type type);
101 int isl_map_has_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type);
102 __isl_give isl_id *isl_map_get_tuple_id(__isl_keep isl_map *map,
103         enum isl_dim_type type);
104
105 int isl_map_find_dim_by_id(__isl_keep isl_map *map, enum isl_dim_type type,
106         __isl_keep isl_id *id);
107 int isl_map_find_dim_by_name(__isl_keep isl_map *map, enum isl_dim_type type,
108         const char *name);
109
110 int isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap);
111
112 struct isl_basic_map *isl_basic_map_alloc(struct isl_ctx *ctx,
113                 unsigned nparam, unsigned in, unsigned out, unsigned extra,
114                 unsigned n_eq, unsigned n_ineq);
115 __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *dim);
116 struct isl_basic_map *isl_basic_map_identity_like(struct isl_basic_map *model);
117 struct isl_basic_map *isl_basic_map_finalize(struct isl_basic_map *bmap);
118 void isl_basic_map_free(__isl_take isl_basic_map *bmap);
119 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap);
120 struct isl_basic_map *isl_basic_map_extend(struct isl_basic_map *base,
121                 unsigned nparam, unsigned n_in, unsigned n_out, unsigned extra,
122                 unsigned n_eq, unsigned n_ineq);
123 struct isl_basic_map *isl_basic_map_extend_constraints(
124                 struct isl_basic_map *base, unsigned n_eq, unsigned n_ineq);
125 __isl_give isl_basic_map *isl_basic_map_equal(
126         __isl_take isl_space *dim, unsigned n_equal);
127 __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *dim,
128         unsigned pos);
129 __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *dim,
130         unsigned pos);
131 __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *dim);
132 struct isl_basic_map *isl_basic_map_empty_like(struct isl_basic_map *model);
133 struct isl_basic_map *isl_basic_map_empty_like_map(struct isl_map *model);
134 __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *dim);
135 __isl_give isl_basic_map *isl_basic_map_nat_universe(__isl_take isl_space *dim);
136 __isl_give isl_basic_map *isl_basic_map_universe_like(
137                 __isl_keep isl_basic_map *bmap);
138 __isl_give isl_basic_map *isl_basic_map_remove_redundancies(
139         __isl_take isl_basic_map *bmap);
140 __isl_give isl_map *isl_map_remove_redundancies(__isl_take isl_map *map);
141 __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map);
142
143 __isl_export
144 __isl_give isl_basic_map *isl_basic_map_intersect_domain(
145                 __isl_take isl_basic_map *bmap,
146                 __isl_take isl_basic_set *bset);
147 __isl_export
148 __isl_give isl_basic_map *isl_basic_map_intersect_range(
149                 __isl_take isl_basic_map *bmap,
150                 __isl_take isl_basic_set *bset);
151 __isl_export
152 __isl_give isl_basic_map *isl_basic_map_intersect(
153                 __isl_take isl_basic_map *bmap1,
154                 __isl_take isl_basic_map *bmap2);
155 __isl_export
156 __isl_give isl_map *isl_basic_map_union(
157                 __isl_take isl_basic_map *bmap1,
158                 __isl_take isl_basic_map *bmap2);
159 __isl_export
160 __isl_give isl_basic_map *isl_basic_map_apply_domain(
161                 __isl_take isl_basic_map *bmap1,
162                 __isl_take isl_basic_map *bmap2);
163 __isl_export
164 __isl_give isl_basic_map *isl_basic_map_apply_range(
165                 __isl_take isl_basic_map *bmap1,
166                 __isl_take isl_basic_map *bmap2);
167 __isl_export
168 __isl_give isl_basic_map *isl_basic_map_affine_hull(
169                 __isl_take isl_basic_map *bmap);
170 __isl_export
171 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap);
172 __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap);
173 __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap);
174 __isl_give isl_basic_map *isl_basic_map_domain_map(
175         __isl_take isl_basic_map *bmap);
176 __isl_give isl_basic_map *isl_basic_map_range_map(
177         __isl_take isl_basic_map *bmap);
178 __isl_give isl_basic_map *isl_basic_map_remove_dims(
179         __isl_take isl_basic_map *bmap,
180         enum isl_dim_type type, unsigned first, unsigned n);
181 __isl_give isl_basic_map *isl_basic_map_eliminate(
182         __isl_take isl_basic_map *bmap,
183         enum isl_dim_type type, unsigned first, unsigned n);
184 __isl_give isl_basic_map *isl_basic_map_from_basic_set(
185         __isl_take isl_basic_set *bset, __isl_take isl_space *dim);
186 struct isl_basic_set *isl_basic_set_from_basic_map(struct isl_basic_map *bmap);
187 __isl_export
188 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap);
189 struct isl_basic_map *isl_basic_map_simplify(struct isl_basic_map *bmap);
190 __isl_export
191 __isl_give isl_basic_map *isl_basic_map_detect_equalities(
192                                                 __isl_take isl_basic_map *bmap);
193 __isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx,
194         FILE *input);
195 __isl_constructor
196 __isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx,
197         const char *str);
198 __isl_give isl_map *isl_map_read_from_file(isl_ctx *ctx, FILE *input);
199 __isl_constructor
200 __isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx, const char *str);
201 void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);
202 void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int indent,
203         const char *prefix, const char *suffix, unsigned output_format);
204 void isl_map_dump(__isl_keep isl_map *map);
205 void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent,
206         unsigned output_format);
207 __isl_give isl_printer *isl_printer_print_basic_map(
208         __isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);
209 __isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *printer,
210         __isl_keep isl_map *map);
211 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
212                 enum isl_dim_type type, unsigned pos, int value);
213 __isl_give isl_basic_map *isl_basic_map_lower_bound_si(
214                 __isl_take isl_basic_map *bmap,
215                 enum isl_dim_type type, unsigned pos, int value);
216
217 struct isl_basic_map *isl_basic_map_sum(
218                 struct isl_basic_map *bmap1, struct isl_basic_map *bmap2);
219 struct isl_basic_map *isl_basic_map_neg(struct isl_basic_map *bmap);
220 struct isl_basic_map *isl_basic_map_floordiv(struct isl_basic_map *bmap,
221                 isl_int d);
222
223 struct isl_map *isl_map_sum(struct isl_map *map1, struct isl_map *map2);
224 struct isl_map *isl_map_neg(struct isl_map *map);
225 struct isl_map *isl_map_floordiv(struct isl_map *map, isl_int d);
226
227 __isl_export
228 int isl_basic_map_is_equal(
229                 __isl_keep isl_basic_map *bmap1,
230                 __isl_keep isl_basic_map *bmap2);
231
232 __isl_give isl_map *isl_basic_map_partial_lexmax(
233                 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
234                 __isl_give isl_set **empty);
235 __isl_give isl_map *isl_basic_map_partial_lexmin(
236                 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
237                 __isl_give isl_set **empty);
238 __isl_give isl_map *isl_map_partial_lexmax(
239                 __isl_take isl_map *map, __isl_take isl_set *dom,
240                 __isl_give isl_set **empty);
241 __isl_give isl_map *isl_map_partial_lexmin(
242                 __isl_take isl_map *map, __isl_take isl_set *dom,
243                 __isl_give isl_set **empty);
244 __isl_export
245 __isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap);
246 __isl_export
247 __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap);
248 __isl_export
249 __isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map);
250 __isl_export
251 __isl_give isl_map *isl_map_lexmax(__isl_take isl_map *map);
252 __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff(
253         __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
254         __isl_give isl_set **empty);
255 __isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmax_pw_multi_aff(
256         __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
257         __isl_give isl_set **empty);
258 __isl_give isl_pw_multi_aff *isl_basic_map_lexmin_pw_multi_aff(
259         __isl_take isl_basic_map *bmap);
260
261 void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,
262         FILE *out, int indent);
263
264 struct isl_basic_map *isl_map_copy_basic_map(struct isl_map *map);
265 __isl_give isl_map *isl_map_drop_basic_map(__isl_take isl_map *map,
266                                                 __isl_keep isl_basic_map *bmap);
267
268 int isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap,
269         enum isl_dim_type type, unsigned pos, isl_int *val);
270
271 int isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap);
272 int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
273 int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
274 int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap);
275 __isl_export
276 int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
277 __isl_export
278 int isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
279                 __isl_keep isl_basic_map *bmap2);
280 int isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1,
281                 __isl_keep isl_basic_map *bmap2);
282
283 struct isl_map *isl_map_alloc(struct isl_ctx *ctx,
284                 unsigned nparam, unsigned in, unsigned out, int n,
285                 unsigned flags);
286 __isl_give isl_map *isl_map_universe(__isl_take isl_space *dim);
287 __isl_give isl_map *isl_map_nat_universe(__isl_take isl_space *dim);
288 __isl_give isl_map *isl_map_empty(__isl_take isl_space *dim);
289 struct isl_map *isl_map_empty_like(struct isl_map *model);
290 struct isl_map *isl_map_empty_like_basic_map(struct isl_basic_map *model);
291 struct isl_map *isl_map_dup(struct isl_map *map);
292 __isl_give isl_map *isl_map_add_basic_map(__isl_take isl_map *map,
293                                                 __isl_take isl_basic_map *bmap);
294 __isl_give isl_map *isl_map_identity(__isl_take isl_space *dim);
295 struct isl_map *isl_map_identity_like(struct isl_map *model);
296 struct isl_map *isl_map_identity_like_basic_map(struct isl_basic_map *model);
297 __isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_space *dim, unsigned n);
298 __isl_give isl_map *isl_map_lex_le_first(__isl_take isl_space *dim, unsigned n);
299 __isl_give isl_map *isl_map_lex_lt(__isl_take isl_space *set_dim);
300 __isl_give isl_map *isl_map_lex_le(__isl_take isl_space *set_dim);
301 __isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_space *dim, unsigned n);
302 __isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_space *dim, unsigned n);
303 __isl_give isl_map *isl_map_lex_gt(__isl_take isl_space *set_dim);
304 __isl_give isl_map *isl_map_lex_ge(__isl_take isl_space *set_dim);
305 struct isl_map *isl_map_finalize(struct isl_map *map);
306 void isl_map_free(__isl_take isl_map *map);
307 __isl_give isl_map *isl_map_copy(__isl_keep isl_map *map);
308 struct isl_map *isl_map_extend(struct isl_map *base,
309                 unsigned nparam, unsigned n_in, unsigned n_out);
310 __isl_export
311 __isl_give isl_map *isl_map_reverse(__isl_take isl_map *map);
312 __isl_export
313 __isl_give isl_map *isl_map_union(
314                 __isl_take isl_map *map1,
315                 __isl_take isl_map *map2);
316 struct isl_map *isl_map_union_disjoint(
317                         struct isl_map *map1, struct isl_map *map2);
318 __isl_export
319 __isl_give isl_map *isl_map_intersect_domain(
320                 __isl_take isl_map *map,
321                 __isl_take isl_set *set);
322 __isl_export
323 __isl_give isl_map *isl_map_intersect_range(
324                 __isl_take isl_map *map,
325                 __isl_take isl_set *set);
326 __isl_export
327 __isl_give isl_map *isl_map_apply_domain(
328                 __isl_take isl_map *map1,
329                 __isl_take isl_map *map2);
330 __isl_export
331 __isl_give isl_map *isl_map_apply_range(
332                 __isl_take isl_map *map1,
333                 __isl_take isl_map *map2);
334 __isl_give isl_basic_map *isl_basic_map_product(
335         __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
336 __isl_give isl_map *isl_map_product(__isl_take isl_map *map1,
337         __isl_take isl_map *map2);
338 __isl_give isl_basic_map *isl_basic_map_domain_product(
339         __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
340 __isl_give isl_basic_map *isl_basic_map_range_product(
341         __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
342 __isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1,
343         __isl_take isl_map *map2);
344 __isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1,
345         __isl_take isl_map *map2);
346 __isl_give isl_basic_map *isl_basic_map_flat_product(
347         __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
348 __isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1,
349         __isl_take isl_map *map2);
350 __isl_give isl_basic_map *isl_basic_map_flat_range_product(
351         __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
352 __isl_give isl_map *isl_map_flat_domain_product(__isl_take isl_map *map1,
353         __isl_take isl_map *map2);
354 __isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1,
355         __isl_take isl_map *map2);
356 __isl_export
357 __isl_give isl_map *isl_map_intersect(__isl_take isl_map *map1,
358                                       __isl_take isl_map *map2);
359 __isl_export
360 __isl_give isl_map *isl_map_intersect_params(__isl_take isl_map *map,
361                 __isl_take isl_set *params);
362 __isl_export
363 __isl_give isl_map *isl_map_subtract(
364                 __isl_take isl_map *map1,
365                 __isl_take isl_map *map2);
366 __isl_give isl_map *isl_map_subtract_domain(__isl_take isl_map *map,
367         __isl_take isl_set *dom);
368 __isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map,
369         __isl_take isl_set *dom);
370 __isl_export
371 __isl_give isl_map *isl_map_complement(__isl_take isl_map *map);
372 struct isl_map *isl_map_fix_input_si(struct isl_map *map,
373                 unsigned input, int value);
374 __isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
375                 enum isl_dim_type type, unsigned pos, int value);
376 __isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map,
377                 enum isl_dim_type type, unsigned pos, int value);
378 __isl_give isl_map *isl_map_upper_bound_si(__isl_take isl_map *map,
379         enum isl_dim_type type, unsigned pos, int value);
380 __isl_export
381 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap);
382 __isl_export
383 __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map);
384 __isl_give isl_basic_map *isl_basic_map_deltas_map(
385         __isl_take isl_basic_map *bmap);
386 __isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map);
387 __isl_export
388 __isl_give isl_map *isl_map_detect_equalities(__isl_take isl_map *map);
389 __isl_export
390 __isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map);
391 __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map);
392 __isl_export
393 __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map);
394 __isl_give isl_basic_map *isl_basic_map_add(__isl_take isl_basic_map *bmap,
395                 enum isl_dim_type type, unsigned n);
396 __isl_give isl_map *isl_map_add_dims(__isl_take isl_map *map,
397                 enum isl_dim_type type, unsigned n);
398 __isl_give isl_map *isl_map_insert_dims(__isl_take isl_map *map,
399                 enum isl_dim_type type, unsigned pos, unsigned n);
400 __isl_give isl_basic_map *isl_basic_map_move_dims(
401         __isl_take isl_basic_map *bmap,
402         enum isl_dim_type dst_type, unsigned dst_pos,
403         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
404 __isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map,
405         enum isl_dim_type dst_type, unsigned dst_pos,
406         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
407 __isl_give isl_basic_map *isl_basic_map_project_out(
408                 __isl_take isl_basic_map *bmap,
409                 enum isl_dim_type type, unsigned first, unsigned n);
410 __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,
411                 enum isl_dim_type type, unsigned first, unsigned n);
412 __isl_give isl_basic_map *isl_basic_map_remove_divs(
413         __isl_take isl_basic_map *bmap);
414 __isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map);
415 __isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map,
416         enum isl_dim_type type, unsigned first, unsigned n);
417 __isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map,
418         enum isl_dim_type type, unsigned first, unsigned n);
419 struct isl_map *isl_map_remove_inputs(struct isl_map *map,
420         unsigned first, unsigned n);
421
422 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
423         enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
424 __isl_give isl_map *isl_map_equate(__isl_take isl_map *map,
425         enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
426 __isl_give isl_map *isl_map_oppose(__isl_take isl_map *map,
427         enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
428 __isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map,
429         enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
430 __isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map,
431         enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
432
433 __isl_export
434 __isl_give isl_map *isl_set_identity(__isl_take isl_set *set);
435
436 __isl_export
437 int isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset);
438 __isl_export
439 int isl_set_is_wrapping(__isl_keep isl_set *set);
440 __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap);
441 __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map);
442 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset);
443 __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set);
444 __isl_export
445 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap);
446 __isl_export
447 __isl_give isl_map *isl_map_flatten(__isl_take isl_map *map);
448 __isl_export
449 __isl_give isl_basic_map *isl_basic_map_flatten_domain(
450         __isl_take isl_basic_map *bmap);
451 __isl_export
452 __isl_give isl_basic_map *isl_basic_map_flatten_range(
453         __isl_take isl_basic_map *bmap);
454 __isl_export
455 __isl_give isl_map *isl_map_flatten_domain(__isl_take isl_map *map);
456 __isl_export
457 __isl_give isl_map *isl_map_flatten_range(__isl_take isl_map *map);
458 __isl_export
459 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset);
460 __isl_export
461 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
462 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set);
463 __isl_give isl_set *isl_map_params(__isl_take isl_map *map);
464 __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);
465 __isl_give isl_set *isl_map_range(__isl_take isl_map *map);
466 __isl_give isl_map *isl_map_domain_map(__isl_take isl_map *map);
467 __isl_give isl_map *isl_map_range_map(__isl_take isl_map *map);
468 __isl_constructor
469 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap);
470 __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set);
471 __isl_give isl_basic_map *isl_basic_map_from_domain(
472         __isl_take isl_basic_set *bset);
473 __isl_give isl_basic_map *isl_basic_map_from_range(
474         __isl_take isl_basic_set *bset);
475 struct isl_map *isl_map_from_range(struct isl_set *set);
476 __isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
477         __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
478 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
479         __isl_take isl_set *range);
480 __isl_give isl_map *isl_map_from_set(__isl_take isl_set *set,
481         __isl_take isl_space *dim);
482 struct isl_set *isl_set_from_map(struct isl_map *map);
483 __isl_export
484 __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map);
485
486 int isl_map_plain_is_empty(__isl_keep isl_map *map);
487 int isl_map_fast_is_empty(__isl_keep isl_map *map);
488 int isl_map_plain_is_universe(__isl_keep isl_map *map);
489 __isl_export
490 int isl_map_is_empty(__isl_keep isl_map *map);
491 __isl_export
492 int isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
493 __isl_export
494 int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
495 __isl_export
496 int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
497 int isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap);
498 int isl_map_plain_is_single_valued(__isl_keep isl_map *map);
499 __isl_export
500 int isl_map_is_single_valued(__isl_keep isl_map *map);
501 int isl_map_plain_is_injective(__isl_keep isl_map *map);
502 __isl_export
503 int isl_map_is_injective(__isl_keep isl_map *map);
504 __isl_export
505 int isl_map_is_bijective(__isl_keep isl_map *map);
506 int isl_map_is_translation(__isl_keep isl_map *map);
507 int isl_map_has_equal_space(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
508
509 int isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap);
510 int isl_map_can_zip(__isl_keep isl_map *map);
511 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap);
512 __isl_give isl_map *isl_map_zip(__isl_take isl_map *map);
513
514 int isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap);
515 int isl_map_can_curry(__isl_keep isl_map *map);
516 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap);
517 __isl_give isl_map *isl_map_curry(__isl_take isl_map *map);
518
519 __isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
520 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap);
521 __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map);
522 __isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map);
523
524 int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap,
525         enum isl_dim_type type, unsigned first, unsigned n);
526 int isl_map_involves_dims(__isl_keep isl_map *map,
527         enum isl_dim_type type, unsigned first, unsigned n);
528
529 void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent);
530
531 int isl_map_plain_input_is_fixed(__isl_keep isl_map *map,
532                 unsigned in, isl_int *val);
533 int isl_map_plain_is_fixed(__isl_keep isl_map *map,
534         enum isl_dim_type type, unsigned pos, isl_int *val);
535 int isl_map_fast_is_fixed(__isl_keep isl_map *map,
536         enum isl_dim_type type, unsigned pos, isl_int *val);
537
538 __isl_export
539 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
540         __isl_take isl_basic_map *context);
541 __isl_export
542 __isl_give isl_map *isl_map_gist(__isl_take isl_map *map,
543         __isl_take isl_map *context);
544 __isl_export
545 __isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map,
546         __isl_take isl_set *context);
547 __isl_give isl_map *isl_map_gist_range(__isl_take isl_map *map,
548         __isl_take isl_set *context);
549 __isl_give isl_map *isl_map_gist_params(__isl_take isl_map *map,
550         __isl_take isl_set *context);
551 __isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,
552         __isl_take isl_basic_map *context);
553
554 __isl_export
555 __isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map);
556
557 int isl_map_plain_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
558 int isl_map_fast_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
559
560 uint32_t isl_map_get_hash(__isl_keep isl_map *map);
561
562 __isl_export
563 int isl_map_foreach_basic_map(__isl_keep isl_map *map,
564         int (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user);
565
566 __isl_give isl_map *isl_set_lifting(__isl_take isl_set *set);
567
568 __isl_give isl_map *isl_map_fixed_power(__isl_take isl_map *map, isl_int exp);
569 __isl_give isl_map *isl_map_power(__isl_take isl_map *map, int *exact);
570 __isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map,
571         int *exact);
572 __isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map,
573         int *exact);
574
575 __isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1,
576         __isl_take isl_map *map2);
577 __isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1,
578         __isl_take isl_map *map2);
579 __isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1,
580         __isl_take isl_map *map2);
581 __isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1,
582         __isl_take isl_map *map2);
583
584 __isl_give isl_basic_map *isl_basic_map_align_params(
585         __isl_take isl_basic_map *bmap, __isl_take isl_space *model);
586 __isl_give isl_map *isl_map_align_params(__isl_take isl_map *map,
587         __isl_take isl_space *model);
588
589 __isl_give isl_mat *isl_basic_map_equalities_matrix(
590                 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
591                 enum isl_dim_type c2, enum isl_dim_type c3,
592                 enum isl_dim_type c4, enum isl_dim_type c5);
593 __isl_give isl_mat *isl_basic_map_inequalities_matrix(
594                 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
595                 enum isl_dim_type c2, enum isl_dim_type c3,
596                 enum isl_dim_type c4, enum isl_dim_type c5);
597 __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
598         __isl_take isl_space *dim,
599         __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
600         enum isl_dim_type c2, enum isl_dim_type c3,
601         enum isl_dim_type c4, enum isl_dim_type c5);
602
603 __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff);
604 __isl_give isl_basic_map *isl_basic_map_from_multi_aff(
605         __isl_take isl_multi_aff *maff);
606 __isl_give isl_basic_map *isl_basic_map_from_aff_list(
607         __isl_take isl_space *domain_dim, __isl_take isl_aff_list *list);
608
609 __isl_give isl_map *isl_map_from_aff(__isl_take isl_aff *aff);
610 __isl_give isl_map *isl_map_from_multi_aff(__isl_take isl_multi_aff *maff);
611
612 __isl_give isl_pw_aff *isl_map_dim_max(__isl_take isl_map *map, int pos);
613
614 #if defined(__cplusplus)
615 }
616 #endif
617
618 #include <isl/dim.h>
619
620 #endif