Polly 23.0.0git
map.h
Go to the documentation of this file.
1/*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
3 *
4 * Use of this software is governed by the MIT 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/ctx.h>
16#include <isl/space_type.h>
17#include <isl/vec.h>
18#include <isl/mat.h>
19#include <isl/printer.h>
20#include <isl/local_space.h>
21#include <isl/aff_type.h>
22#include <isl/list.h>
23#include <isl/map_type.h>
24#include <isl/val_type.h>
25#include <isl/stdint.h>
26#include <isl/stride_info.h>
27#include <isl/fixed_box.h>
28
29#if defined(__cplusplus)
30extern "C" {
31#endif
32
33isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap);
34isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
35 enum isl_dim_type type);
36
37__isl_export
38isl_size isl_map_domain_tuple_dim(__isl_keep isl_map *map);
39__isl_export
40isl_size isl_map_range_tuple_dim(__isl_keep isl_map *map);
41isl_size isl_map_dim(__isl_keep isl_map *map, enum isl_dim_type type);
42
43isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
44isl_ctx *isl_map_get_ctx(__isl_keep isl_map *map);
45__isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap);
46__isl_export
47__isl_give isl_space *isl_map_get_space(__isl_keep isl_map *map);
48
49__isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
50 int pos);
51
52__isl_give isl_local_space *isl_basic_map_get_local_space(
53 __isl_keep isl_basic_map *bmap);
54
55__isl_give isl_basic_map *isl_basic_map_set_tuple_name(
56 __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
57const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
58 enum isl_dim_type type);
59isl_bool isl_map_has_tuple_name(__isl_keep isl_map *map,
60 enum isl_dim_type type);
61const char *isl_map_get_tuple_name(__isl_keep isl_map *map,
62 enum isl_dim_type type);
63__isl_give isl_map *isl_map_set_tuple_name(__isl_take isl_map *map,
64 enum isl_dim_type type, const char *s);
65const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
66 enum isl_dim_type type, unsigned pos);
67isl_bool isl_map_has_dim_name(__isl_keep isl_map *map,
68 enum isl_dim_type type, unsigned pos);
69const char *isl_map_get_dim_name(__isl_keep isl_map *map,
70 enum isl_dim_type type, unsigned pos);
71__isl_give isl_basic_map *isl_basic_map_set_dim_name(
72 __isl_take isl_basic_map *bmap,
73 enum isl_dim_type type, unsigned pos, const char *s);
74__isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map,
75 enum isl_dim_type type, unsigned pos, const char *s);
76
77__isl_give isl_basic_map *isl_basic_map_set_tuple_id(
78 __isl_take isl_basic_map *bmap,
79 enum isl_dim_type type, __isl_take isl_id *id);
80__isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map,
81 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
82isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
83 enum isl_dim_type type, unsigned pos);
84isl_bool isl_map_has_dim_id(__isl_keep isl_map *map,
85 enum isl_dim_type type, unsigned pos);
86__isl_give isl_id *isl_map_get_dim_id(__isl_keep isl_map *map,
87 enum isl_dim_type type, unsigned pos);
88__isl_overload
89__isl_give isl_map *isl_map_set_domain_tuple_id(__isl_take isl_map *map,
90 __isl_take isl_id *id);
91__isl_overload
92__isl_give isl_map *isl_map_set_range_tuple_id(__isl_take isl_map *map,
93 __isl_take isl_id *id);
94__isl_give isl_map *isl_map_set_tuple_id(__isl_take isl_map *map,
95 enum isl_dim_type type, __isl_take isl_id *id);
96__isl_give isl_map *isl_map_reset_tuple_id(__isl_take isl_map *map,
97 enum isl_dim_type type);
98__isl_export
99isl_bool isl_map_has_domain_tuple_id(__isl_keep isl_map *map);
100__isl_export
101isl_bool isl_map_has_range_tuple_id(__isl_keep isl_map *map);
102isl_bool isl_map_has_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type);
103__isl_export
104__isl_give isl_id *isl_map_get_domain_tuple_id(__isl_keep isl_map *map);
105__isl_export
106__isl_give isl_id *isl_map_get_range_tuple_id(__isl_keep isl_map *map);
107__isl_give isl_id *isl_map_get_tuple_id(__isl_keep isl_map *map,
108 enum isl_dim_type type);
109__isl_give isl_map *isl_map_reset_user(__isl_take isl_map *map);
110
111int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap,
112 enum isl_dim_type type, const char *name);
113int isl_map_find_dim_by_id(__isl_keep isl_map *map, enum isl_dim_type type,
114 __isl_keep isl_id *id);
115int isl_map_find_dim_by_name(__isl_keep isl_map *map, enum isl_dim_type type,
116 const char *name);
117
118isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap);
119
120__isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *space);
121__isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap);
122__isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap);
123__isl_give isl_basic_map *isl_basic_map_equal(
124 __isl_take isl_space *space, unsigned n_equal);
125__isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *space,
126 unsigned pos);
127__isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *space,
128 unsigned pos);
129__isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *space);
130__isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *space);
131__isl_give isl_basic_map *isl_basic_map_nat_universe(
132 __isl_take isl_space *space);
133__isl_give isl_basic_map *isl_basic_map_remove_redundancies(
134 __isl_take isl_basic_map *bmap);
135__isl_give isl_map *isl_map_remove_redundancies(__isl_take isl_map *map);
136__isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map);
137__isl_export
138__isl_give isl_basic_map *isl_map_unshifted_simple_hull(
139 __isl_take isl_map *map);
140__isl_give isl_basic_map *isl_map_plain_unshifted_simple_hull(
141 __isl_take isl_map *map);
142__isl_give isl_basic_map *isl_map_unshifted_simple_hull_from_map_list(
143 __isl_take isl_map *map, __isl_take isl_map_list *list);
144
145__isl_export
146__isl_give isl_basic_map *isl_basic_map_intersect_params(
147 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset);
148__isl_export
149__isl_give isl_basic_map *isl_basic_map_intersect_domain(
150 __isl_take isl_basic_map *bmap,
151 __isl_take isl_basic_set *bset);
152__isl_export
153__isl_give isl_basic_map *isl_basic_map_intersect_range(
154 __isl_take isl_basic_map *bmap,
155 __isl_take isl_basic_set *bset);
156__isl_export
157__isl_give isl_basic_map *isl_basic_map_intersect(
158 __isl_take isl_basic_map *bmap1,
159 __isl_take isl_basic_map *bmap2);
160__isl_give isl_basic_map *isl_basic_map_list_intersect(
161 __isl_take isl_basic_map_list *list);
162__isl_export
163__isl_give isl_map *isl_basic_map_union(
164 __isl_take isl_basic_map *bmap1,
165 __isl_take isl_basic_map *bmap2);
166__isl_export
167__isl_give isl_basic_map *isl_basic_map_apply_domain(
168 __isl_take isl_basic_map *bmap1,
169 __isl_take isl_basic_map *bmap2);
170__isl_export
171__isl_give isl_basic_map *isl_basic_map_apply_range(
172 __isl_take isl_basic_map *bmap1,
173 __isl_take isl_basic_map *bmap2);
174__isl_export
175__isl_give isl_basic_map *isl_basic_map_affine_hull(
176 __isl_take isl_basic_map *bmap);
177__isl_give isl_basic_map *isl_basic_map_preimage_domain_multi_aff(
178 __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma);
179__isl_give isl_basic_map *isl_basic_map_preimage_range_multi_aff(
180 __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma);
181__isl_export
182__isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap);
183__isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap);
184__isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap);
185__isl_give isl_basic_map *isl_basic_map_domain_map(
186 __isl_take isl_basic_map *bmap);
187__isl_give isl_basic_map *isl_basic_map_range_map(
188 __isl_take isl_basic_map *bmap);
189__isl_give isl_basic_map *isl_basic_map_remove_dims(
190 __isl_take isl_basic_map *bmap,
191 enum isl_dim_type type, unsigned first, unsigned n);
192__isl_give isl_basic_map *isl_basic_map_eliminate(
193 __isl_take isl_basic_map *bmap,
194 enum isl_dim_type type, unsigned first, unsigned n);
195__isl_export
196__isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap);
197__isl_export
198__isl_give isl_basic_map *isl_basic_map_detect_equalities(
199 __isl_take isl_basic_map *bmap);
200__isl_give isl_basic_map *isl_basic_map_read_from_file(isl_ctx *ctx,
201 FILE *input);
202__isl_constructor
203__isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx,
204 const char *str);
205__isl_give isl_map *isl_map_read_from_file(isl_ctx *ctx, FILE *input);
206__isl_constructor
207__isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx, const char *str);
208void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);
209void isl_map_dump(__isl_keep isl_map *map);
210__isl_give char *isl_basic_map_to_str(__isl_keep isl_basic_map *bmap);
211__isl_give isl_printer *isl_printer_print_basic_map(
212 __isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);
213__isl_give char *isl_map_to_str(__isl_keep isl_map *map);
214__isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *printer,
215 __isl_keep isl_map *map);
216__isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
217 enum isl_dim_type type, unsigned pos, int value);
218__isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap,
219 enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
220__isl_give isl_basic_map *isl_basic_map_lower_bound_si(
221 __isl_take isl_basic_map *bmap,
222 enum isl_dim_type type, unsigned pos, int value);
223__isl_give isl_basic_map *isl_basic_map_upper_bound_si(
224 __isl_take isl_basic_map *bmap,
225 enum isl_dim_type type, unsigned pos, int value);
226__isl_overload
227__isl_give isl_map *isl_map_lower_bound_multi_pw_aff(__isl_take isl_map *map,
228 __isl_take isl_multi_pw_aff *lower);
229__isl_overload
230__isl_give isl_map *isl_map_upper_bound_multi_pw_aff(__isl_take isl_map *map,
231 __isl_take isl_multi_pw_aff *upper);
232
233__isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
234 __isl_take isl_basic_map *bmap2);
235__isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap);
236
237__isl_give isl_map *isl_map_sum(__isl_take isl_map *map1,
238 __isl_take isl_map *map2);
239__isl_give isl_map *isl_map_neg(__isl_take isl_map *map);
240__isl_give isl_map *isl_map_floordiv_val(__isl_take isl_map *map,
241 __isl_take isl_val *d);
242
243__isl_export
244isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1,
245 __isl_keep isl_basic_map *bmap2);
246isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
247 __isl_keep isl_basic_map *bmap2);
248
249__isl_give isl_map *isl_basic_map_partial_lexmax(
250 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
251 __isl_give isl_set **empty);
252__isl_give isl_map *isl_basic_map_partial_lexmin(
253 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
254 __isl_give isl_set **empty);
255__isl_give isl_map *isl_map_partial_lexmax(
256 __isl_take isl_map *map, __isl_take isl_set *dom,
257 __isl_give isl_set **empty);
258__isl_give isl_map *isl_map_partial_lexmin(
259 __isl_take isl_map *map, __isl_take isl_set *dom,
260 __isl_give isl_set **empty);
261__isl_export
262__isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap);
263__isl_export
264__isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap);
265__isl_export
266__isl_give isl_map *isl_map_lexmin(__isl_take isl_map *map);
267__isl_export
268__isl_give isl_map *isl_map_lexmax(__isl_take isl_map *map);
269__isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmin_pw_multi_aff(
270 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
271 __isl_give isl_set **empty);
272__isl_give isl_pw_multi_aff *isl_basic_map_partial_lexmax_pw_multi_aff(
273 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
274 __isl_give isl_set **empty);
275__isl_give isl_pw_multi_aff *isl_basic_map_lexmin_pw_multi_aff(
276 __isl_take isl_basic_map *bmap);
277__isl_export
278__isl_give isl_pw_multi_aff *isl_map_lexmin_pw_multi_aff(
279 __isl_take isl_map *map);
280__isl_export
281__isl_give isl_pw_multi_aff *isl_map_lexmax_pw_multi_aff(
282 __isl_take isl_map *map);
283__isl_export
284__isl_give isl_multi_pw_aff *isl_map_min_multi_pw_aff(__isl_take isl_map *map);
285__isl_export
286__isl_give isl_multi_pw_aff *isl_map_max_multi_pw_aff(__isl_take isl_map *map);
287
288void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap,
289 FILE *out, int indent);
290
291__isl_give isl_val *isl_basic_map_plain_get_val_if_fixed(
292 __isl_keep isl_basic_map *bmap,
293 enum isl_dim_type type, unsigned pos);
294
295isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap);
296isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap);
297isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
298isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
299__isl_export
300isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
301__isl_export
302isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
303 __isl_keep isl_basic_map *bmap2);
304isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1,
305 __isl_keep isl_basic_map *bmap2);
306
307__isl_export
308__isl_give isl_map *isl_map_universe(__isl_take isl_space *space);
309__isl_export
310__isl_give isl_map *isl_space_universe_map(__isl_take isl_space *space);
311__isl_give isl_map *isl_map_nat_universe(__isl_take isl_space *space);
312__isl_export
313__isl_give isl_map *isl_map_empty(__isl_take isl_space *space);
314__isl_give isl_map *isl_map_identity(__isl_take isl_space *space);
315__isl_give isl_map *isl_map_lex_lt_first(__isl_take isl_space *space,
316 unsigned n);
317__isl_give isl_map *isl_map_lex_le_first(__isl_take isl_space *space,
318 unsigned n);
319__isl_give isl_map *isl_map_lex_lt(__isl_take isl_space *set_space);
320__isl_give isl_map *isl_map_lex_le(__isl_take isl_space *set_space);
321__isl_give isl_map *isl_map_lex_gt_first(__isl_take isl_space *space,
322 unsigned n);
323__isl_give isl_map *isl_map_lex_ge_first(__isl_take isl_space *space,
324 unsigned n);
325__isl_give isl_map *isl_map_lex_gt(__isl_take isl_space *set_space);
326__isl_give isl_map *isl_map_lex_ge(__isl_take isl_space *set_space);
327__isl_null isl_map *isl_map_free(__isl_take isl_map *map);
328__isl_give isl_map *isl_map_copy(__isl_keep isl_map *map);
329__isl_export
330__isl_give isl_map *isl_map_reverse(__isl_take isl_map *map);
331__isl_export
332__isl_give isl_map *isl_map_domain_reverse(__isl_take isl_map *map);
333__isl_export
334__isl_give isl_map *isl_map_range_reverse(__isl_take isl_map *map);
335__isl_export
336__isl_give isl_map *isl_map_union(
337 __isl_take isl_map *map1,
338 __isl_take isl_map *map2);
339__isl_give isl_map *isl_map_union_disjoint(
340 __isl_take isl_map *map1, __isl_take isl_map *map2);
341__isl_export
342__isl_give isl_map *isl_map_intersect_domain(
343 __isl_take isl_map *map,
344 __isl_take isl_set *set);
345__isl_export
346__isl_give isl_map *isl_map_intersect_range(
347 __isl_take isl_map *map,
348 __isl_take isl_set *set);
349__isl_export
350__isl_give isl_map *isl_map_intersect_domain_factor_domain(
351 __isl_take isl_map *map, __isl_take isl_map *factor);
352__isl_export
353__isl_give isl_map *isl_map_intersect_domain_factor_range(
354 __isl_take isl_map *map, __isl_take isl_map *factor);
355__isl_export
356__isl_give isl_map *isl_map_intersect_range_factor_domain(
357 __isl_take isl_map *map, __isl_take isl_map *factor);
358__isl_export
359__isl_give isl_map *isl_map_intersect_range_factor_range(
360 __isl_take isl_map *map, __isl_take isl_map *factor);
361__isl_export
362__isl_give isl_map *isl_map_intersect_domain_wrapped_domain(
363 __isl_take isl_map *map, __isl_take isl_set *domain);
364__isl_export
365__isl_give isl_map *isl_map_intersect_range_wrapped_domain(
366 __isl_take isl_map *map, __isl_take isl_set *domain);
367__isl_export
368__isl_give isl_map *isl_map_apply_domain(
369 __isl_take isl_map *map1,
370 __isl_take isl_map *map2);
371__isl_export
372__isl_give isl_map *isl_map_apply_range(
373 __isl_take isl_map *map1,
374 __isl_take isl_map *map2);
375__isl_overload
376__isl_give isl_map *isl_map_preimage_domain_multi_aff(__isl_take isl_map *map,
377 __isl_take isl_multi_aff *ma);
378__isl_overload
379__isl_give isl_map *isl_map_preimage_range_multi_aff(__isl_take isl_map *map,
380 __isl_take isl_multi_aff *ma);
381__isl_overload
382__isl_give isl_map *isl_map_preimage_domain_pw_multi_aff(
383 __isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma);
384__isl_overload
385__isl_give isl_map *isl_map_preimage_range_pw_multi_aff(
386 __isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma);
387__isl_overload
388__isl_give isl_map *isl_map_preimage_domain_multi_pw_aff(
389 __isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa);
390__isl_give isl_basic_map *isl_basic_map_product(
391 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
392__isl_export
393__isl_give isl_map *isl_map_product(__isl_take isl_map *map1,
394 __isl_take isl_map *map2);
395__isl_give isl_basic_map *isl_basic_map_domain_product(
396 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
397__isl_give isl_basic_map *isl_basic_map_range_product(
398 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
399__isl_export
400__isl_give isl_map *isl_map_domain_product(__isl_take isl_map *map1,
401 __isl_take isl_map *map2);
402__isl_export
403__isl_give isl_map *isl_map_range_product(__isl_take isl_map *map1,
404 __isl_take isl_map *map2);
405__isl_give isl_basic_map *isl_basic_map_flat_product(
406 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
407__isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1,
408 __isl_take isl_map *map2);
409__isl_give isl_basic_map *isl_basic_map_flat_range_product(
410 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
411__isl_give isl_map *isl_map_flat_domain_product(__isl_take isl_map *map1,
412 __isl_take isl_map *map2);
413__isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1,
414 __isl_take isl_map *map2);
415isl_bool isl_map_domain_is_wrapping(__isl_keep isl_map *map);
416isl_bool isl_map_range_is_wrapping(__isl_keep isl_map *map);
417isl_bool isl_map_is_product(__isl_keep isl_map *map);
418__isl_export
419__isl_give isl_map *isl_map_factor_domain(__isl_take isl_map *map);
420__isl_export
421__isl_give isl_map *isl_map_factor_range(__isl_take isl_map *map);
422__isl_export
423__isl_give isl_map *isl_map_domain_factor_domain(__isl_take isl_map *map);
424__isl_export
425__isl_give isl_map *isl_map_domain_factor_range(__isl_take isl_map *map);
426__isl_export
427__isl_give isl_map *isl_map_range_factor_domain(__isl_take isl_map *map);
428__isl_export
429__isl_give isl_map *isl_map_range_factor_range(__isl_take isl_map *map);
430__isl_export
431__isl_give isl_map *isl_map_intersect(__isl_take isl_map *map1,
432 __isl_take isl_map *map2);
433__isl_export
434__isl_give isl_map *isl_map_intersect_params(__isl_take isl_map *map,
435 __isl_take isl_set *params);
436__isl_export
437__isl_give isl_map *isl_map_subtract(
438 __isl_take isl_map *map1,
439 __isl_take isl_map *map2);
440__isl_give isl_map *isl_map_subtract_domain(__isl_take isl_map *map,
441 __isl_take isl_set *dom);
442__isl_give isl_map *isl_map_subtract_range(__isl_take isl_map *map,
443 __isl_take isl_set *dom);
444__isl_export
445__isl_give isl_map *isl_map_complement(__isl_take isl_map *map);
446__isl_give isl_map *isl_map_fix_input_si(__isl_take isl_map *map,
447 unsigned input, int value);
448__isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
449 enum isl_dim_type type, unsigned pos, int value);
450__isl_give isl_map *isl_map_fix_val(__isl_take isl_map *map,
451 enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
452__isl_give isl_map *isl_map_lower_bound_si(__isl_take isl_map *map,
453 enum isl_dim_type type, unsigned pos, int value);
454__isl_give isl_map *isl_map_lower_bound_val(__isl_take isl_map *map,
455 enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
456__isl_give isl_map *isl_map_upper_bound_si(__isl_take isl_map *map,
457 enum isl_dim_type type, unsigned pos, int value);
458__isl_give isl_map *isl_map_upper_bound_val(__isl_take isl_map *map,
459 enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
460__isl_export
461__isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap);
462__isl_export
463__isl_give isl_set *isl_map_deltas(__isl_take isl_map *map);
464__isl_give isl_basic_map *isl_basic_map_deltas_map(
465 __isl_take isl_basic_map *bmap);
466__isl_give isl_map *isl_map_deltas_map(__isl_take isl_map *map);
467__isl_export
468__isl_give isl_map *isl_map_detect_equalities(__isl_take isl_map *map);
469__isl_export
470__isl_give isl_basic_map *isl_map_affine_hull(__isl_take isl_map *map);
471__isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map);
472__isl_export
473__isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map);
474__isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap,
475 enum isl_dim_type type, unsigned n);
476__isl_give isl_map *isl_map_add_dims(__isl_take isl_map *map,
477 enum isl_dim_type type, unsigned n);
478__isl_give isl_basic_map *isl_basic_map_insert_dims(
479 __isl_take isl_basic_map *bmap, enum isl_dim_type type,
480 unsigned pos, unsigned n);
481__isl_give isl_map *isl_map_insert_dims(__isl_take isl_map *map,
482 enum isl_dim_type type, unsigned pos, unsigned n);
483__isl_give isl_basic_map *isl_basic_map_move_dims(
484 __isl_take isl_basic_map *bmap,
485 enum isl_dim_type dst_type, unsigned dst_pos,
486 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
487__isl_give isl_map *isl_map_move_dims(__isl_take isl_map *map,
488 enum isl_dim_type dst_type, unsigned dst_pos,
489 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
490__isl_give isl_basic_map *isl_basic_map_project_out(
491 __isl_take isl_basic_map *bmap,
492 enum isl_dim_type type, unsigned first, unsigned n);
493__isl_overload
494__isl_give isl_map *isl_map_project_out_param_id(__isl_take isl_map *map,
495 __isl_take isl_id *id);
496__isl_overload
497__isl_give isl_map *isl_map_project_out_param_id_list(__isl_take isl_map *map,
498 __isl_take isl_id_list *list);
499__isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,
500 enum isl_dim_type type, unsigned first, unsigned n);
501__isl_export
502__isl_give isl_map *isl_map_project_out_all_params(__isl_take isl_map *map);
503__isl_give isl_basic_map *isl_basic_map_remove_divs(
504 __isl_take isl_basic_map *bmap);
505__isl_give isl_map *isl_map_remove_unknown_divs(__isl_take isl_map *map);
506__isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map);
507__isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map,
508 enum isl_dim_type type, unsigned first, unsigned n);
509__isl_give isl_map *isl_map_remove_dims(__isl_take isl_map *map,
510 enum isl_dim_type type, unsigned first, unsigned n);
511__isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims(
512 __isl_take isl_basic_map *bmap,
513 enum isl_dim_type type, unsigned first, unsigned n);
514__isl_give isl_map *isl_map_remove_divs_involving_dims(__isl_take isl_map *map,
515 enum isl_dim_type type, unsigned first, unsigned n);
516__isl_give isl_map *isl_map_remove_inputs(__isl_take isl_map *map,
517 unsigned first, unsigned n);
518
519__isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap,
520 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
521__isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap,
522 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
523__isl_give isl_map *isl_map_order_ge(__isl_take isl_map *map,
524 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
525__isl_give isl_map *isl_map_order_le(__isl_take isl_map *map,
526 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
527__isl_give isl_map *isl_map_equate(__isl_take isl_map *map,
528 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
529__isl_give isl_map *isl_map_oppose(__isl_take isl_map *map,
530 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
531__isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map,
532 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
533__isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap,
534 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
535__isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map,
536 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
537
538__isl_export
539__isl_give isl_map *isl_set_translation(__isl_take isl_set *deltas);
540__isl_export
541__isl_give isl_map *isl_set_identity(__isl_take isl_set *set);
542
543__isl_export
544isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset);
545__isl_export
546isl_bool isl_set_is_wrapping(__isl_keep isl_set *set);
547__isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap);
548__isl_export
549__isl_give isl_set *isl_map_wrap(__isl_take isl_map *map);
550__isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset);
551__isl_export
552__isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set);
553__isl_export
554__isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap);
555__isl_export
556__isl_give isl_map *isl_map_flatten(__isl_take isl_map *map);
557__isl_export
558__isl_give isl_basic_map *isl_basic_map_flatten_domain(
559 __isl_take isl_basic_map *bmap);
560__isl_export
561__isl_give isl_basic_map *isl_basic_map_flatten_range(
562 __isl_take isl_basic_map *bmap);
563__isl_export
564__isl_give isl_map *isl_map_flatten_domain(__isl_take isl_map *map);
565__isl_export
566__isl_give isl_map *isl_map_flatten_range(__isl_take isl_map *map);
567__isl_export
568__isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset);
569__isl_export
570__isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
571__isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set);
572__isl_export
573__isl_give isl_set *isl_map_params(__isl_take isl_map *map);
574__isl_export
575__isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);
576__isl_export
577__isl_give isl_set *isl_map_range(__isl_take isl_map *map);
578__isl_export
579__isl_give isl_map *isl_set_insert_domain(__isl_take isl_set *set,
580 __isl_take isl_space *domain);
581__isl_give isl_map *isl_map_domain_map(__isl_take isl_map *map);
582__isl_give isl_map *isl_map_range_map(__isl_take isl_map *map);
583__isl_give isl_map *isl_set_wrapped_domain_map(__isl_take isl_set *set);
584__isl_constructor
585__isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap);
586__isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set);
587__isl_give isl_basic_map *isl_basic_map_from_domain(
588 __isl_take isl_basic_set *bset);
589__isl_give isl_basic_map *isl_basic_map_from_range(
590 __isl_take isl_basic_set *bset);
591__isl_give isl_map *isl_map_from_range(__isl_take isl_set *set);
592__isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
593 __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
594__isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
595 __isl_take isl_set *range);
596__isl_export
597__isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map);
598
599__isl_export
600__isl_give isl_set *isl_map_bind_domain(__isl_take isl_map *map,
601 __isl_take isl_multi_id *tuple);
602__isl_export
603__isl_give isl_set *isl_map_bind_range(__isl_take isl_map *map,
604 __isl_take isl_multi_id *tuple);
605
606isl_bool isl_map_plain_is_empty(__isl_keep isl_map *map);
607isl_bool isl_map_plain_is_universe(__isl_keep isl_map *map);
608__isl_export
609isl_bool isl_map_is_empty(__isl_keep isl_map *map);
610__isl_export
611isl_bool isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
612__isl_export
613isl_bool isl_map_is_strict_subset(__isl_keep isl_map *map1,
614 __isl_keep isl_map *map2);
615__isl_export
616isl_bool isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
617__isl_export
618isl_bool isl_map_is_disjoint(__isl_keep isl_map *map1,
619 __isl_keep isl_map *map2);
620isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap);
621isl_bool isl_map_plain_is_single_valued(__isl_keep isl_map *map);
622__isl_export
623isl_bool isl_map_is_single_valued(__isl_keep isl_map *map);
624isl_bool isl_map_plain_is_injective(__isl_keep isl_map *map);
625__isl_export
626isl_bool isl_map_is_injective(__isl_keep isl_map *map);
627__isl_export
628isl_bool isl_map_is_bijective(__isl_keep isl_map *map);
629isl_bool isl_map_is_identity(__isl_keep isl_map *map);
630int isl_map_is_translation(__isl_keep isl_map *map);
631isl_bool isl_map_has_equal_space(__isl_keep isl_map *map1,
632 __isl_keep isl_map *map2);
633
634isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap);
635isl_bool isl_map_can_zip(__isl_keep isl_map *map);
636__isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap);
637__isl_export
638__isl_give isl_map *isl_map_zip(__isl_take isl_map *map);
639
640isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap);
641isl_bool isl_map_can_curry(__isl_keep isl_map *map);
642__isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap);
643__isl_export
644__isl_give isl_map *isl_map_curry(__isl_take isl_map *map);
645
646isl_bool isl_map_can_range_curry(__isl_keep isl_map *map);
647__isl_give isl_map *isl_map_range_curry(__isl_take isl_map *map);
648
649isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap);
650isl_bool isl_map_can_uncurry(__isl_keep isl_map *map);
651__isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap);
652__isl_export
653__isl_give isl_map *isl_map_uncurry(__isl_take isl_map *map);
654
655__isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
656__isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap);
657__isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map);
658ISL_DEPRECATED
659__isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map);
660
661__isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims(
662 __isl_take isl_basic_map *bmap,
663 enum isl_dim_type type, unsigned first, unsigned n);
664__isl_give isl_basic_map *isl_basic_map_drop_constraints_not_involving_dims(
665 __isl_take isl_basic_map *bmap,
666 enum isl_dim_type type, unsigned first, unsigned n);
667__isl_give isl_map *isl_map_drop_constraints_involving_dims(
668 __isl_take isl_map *map,
669 enum isl_dim_type type, unsigned first, unsigned n);
670__isl_give isl_map *isl_map_drop_constraints_not_involving_dims(
671 __isl_take isl_map *map,
672 enum isl_dim_type type, unsigned first, unsigned n);
673
674isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap,
675 enum isl_dim_type type, unsigned first, unsigned n);
676isl_bool isl_map_involves_dims(__isl_keep isl_map *map,
677 enum isl_dim_type type, unsigned first, unsigned n);
678
679void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent);
680
681__isl_give isl_val *isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map,
682 enum isl_dim_type type, unsigned pos);
683
684__isl_give isl_basic_map *isl_basic_map_gist_domain(
685 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context);
686__isl_export
687__isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,
688 __isl_take isl_basic_map *context);
689__isl_export
690__isl_give isl_map *isl_map_gist(__isl_take isl_map *map,
691 __isl_take isl_map *context);
692__isl_export
693__isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map,
694 __isl_take isl_set *context);
695__isl_give isl_map *isl_map_gist_range(__isl_take isl_map *map,
696 __isl_take isl_set *context);
697__isl_export
698__isl_give isl_map *isl_map_gist_params(__isl_take isl_map *map,
699 __isl_take isl_set *context);
700__isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,
701 __isl_take isl_basic_map *context);
702
703__isl_give isl_stride_info *isl_map_get_range_stride_info(
704 __isl_keep isl_map *map, int pos);
705__isl_export
706__isl_give isl_fixed_box *isl_map_get_range_lattice_tile(
707 __isl_keep isl_map *map);
708__isl_export
709__isl_give isl_fixed_box *isl_map_get_range_simple_fixed_box_hull(
710 __isl_keep isl_map *map);
711
712__isl_export
713__isl_give isl_map *isl_map_coalesce(__isl_take isl_map *map);
714
715isl_bool isl_map_plain_is_equal(__isl_keep isl_map *map1,
716 __isl_keep isl_map *map2);
717
718uint32_t isl_map_get_hash(__isl_keep isl_map *map);
719
720__isl_export
721isl_size isl_map_n_basic_map(__isl_keep isl_map *map);
722__isl_export
723isl_stat isl_map_foreach_basic_map(__isl_keep isl_map *map,
724 isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user);
725__isl_give isl_basic_map_list *isl_map_get_basic_map_list(
726 __isl_keep isl_map *map);
727
728__isl_overload
729__isl_give isl_map *isl_map_fixed_power_val(__isl_take isl_map *map,
730 __isl_take isl_val *exp);
731__isl_give isl_map *isl_map_power(__isl_take isl_map *map, isl_bool *exact);
732__isl_give isl_map *isl_map_reaching_path_lengths(__isl_take isl_map *map,
733 isl_bool *exact);
734__isl_give isl_map *isl_map_transitive_closure(__isl_take isl_map *map,
735 isl_bool *exact);
736
737__isl_give isl_map *isl_map_lex_le_map(__isl_take isl_map *map1,
738 __isl_take isl_map *map2);
739__isl_give isl_map *isl_map_lex_lt_map(__isl_take isl_map *map1,
740 __isl_take isl_map *map2);
741__isl_give isl_map *isl_map_lex_ge_map(__isl_take isl_map *map1,
742 __isl_take isl_map *map2);
743__isl_give isl_map *isl_map_lex_gt_map(__isl_take isl_map *map1,
744 __isl_take isl_map *map2);
745
746__isl_overload
747__isl_give isl_map *isl_map_eq_at_multi_pw_aff(__isl_take isl_map *map,
748 __isl_take isl_multi_pw_aff *mpa);
749__isl_overload
750__isl_give isl_map *isl_map_lex_lt_at_multi_pw_aff(__isl_take isl_map *map,
751 __isl_take isl_multi_pw_aff *mpa);
752__isl_overload
753__isl_give isl_map *isl_map_lex_le_at_multi_pw_aff(__isl_take isl_map *map,
754 __isl_take isl_multi_pw_aff *mpa);
755__isl_overload
756__isl_give isl_map *isl_map_lex_gt_at_multi_pw_aff(__isl_take isl_map *map,
757 __isl_take isl_multi_pw_aff *mpa);
758__isl_overload
759__isl_give isl_map *isl_map_lex_ge_at_multi_pw_aff(__isl_take isl_map *map,
760 __isl_take isl_multi_pw_aff *mpa);
761
762__isl_give isl_basic_map *isl_basic_map_align_params(
763 __isl_take isl_basic_map *bmap, __isl_take isl_space *model);
764__isl_give isl_map *isl_map_align_params(__isl_take isl_map *map,
765 __isl_take isl_space *model);
766__isl_give isl_basic_map *isl_basic_map_drop_unused_params(
767 __isl_take isl_basic_map *bmap);
768__isl_export
769__isl_give isl_map *isl_map_drop_unused_params(__isl_take isl_map *map);
770
771__isl_give isl_mat *isl_basic_map_equalities_matrix(
772 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
773 enum isl_dim_type c2, enum isl_dim_type c3,
774 enum isl_dim_type c4, enum isl_dim_type c5);
775__isl_give isl_mat *isl_basic_map_inequalities_matrix(
776 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1,
777 enum isl_dim_type c2, enum isl_dim_type c3,
778 enum isl_dim_type c4, enum isl_dim_type c5);
779__isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
780 __isl_take isl_space *space,
781 __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
782 enum isl_dim_type c2, enum isl_dim_type c3,
783 enum isl_dim_type c4, enum isl_dim_type c5);
784
785__isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff);
786__isl_give isl_basic_map *isl_basic_map_from_multi_aff(
787 __isl_take isl_multi_aff *maff);
788__isl_give isl_basic_map *isl_basic_map_from_aff_list(
789 __isl_take isl_space *domain_space, __isl_take isl_aff_list *list);
790
791__isl_give isl_map *isl_map_from_aff(__isl_take isl_aff *aff);
792__isl_export
793__isl_give isl_map *isl_multi_aff_as_map(__isl_take isl_multi_aff *ma);
794__isl_give isl_map *isl_map_from_multi_aff(__isl_take isl_multi_aff *maff);
795
796__isl_give isl_pw_aff *isl_map_dim_min(__isl_take isl_map *map, int pos);
797__isl_give isl_pw_aff *isl_map_dim_max(__isl_take isl_map *map, int pos);
798
799ISL_DECLARE_LIST_FN(basic_map)
800ISL_DECLARE_EXPORTED_LIST_FN(map)
801ISL_DECLARE_EXPORTED_LIST_FN_READ(map)
802
803#if defined(__cplusplus)
804}
805#endif
806
807#endif
aff_type.h
isl_multi_aff
struct isl_multi_aff isl_multi_aff
Definition aff_type.h:29
isl_multi_pw_aff
struct isl_multi_pw_aff isl_multi_pw_aff
Definition aff_type.h:43
__isl_export
#define __isl_export
Definition ctx.h:31
__isl_take
#define __isl_take
Definition ctx.h:22
isl_stat
isl_stat
Definition ctx.h:84
__isl_constructor
#define __isl_constructor
Definition ctx.h:37
__isl_give
#define __isl_give
Definition ctx.h:19
__isl_null
#define __isl_null
Definition ctx.h:28
ISL_DEPRECATED
#define ISL_DEPRECATED
Definition ctx.h:107
__isl_keep
#define __isl_keep
Definition ctx.h:25
__isl_overload
#define __isl_overload
Definition ctx.h:34
isl_size
int isl_size
Definition ctx.h:97
isl_bool
isl_bool
Definition ctx.h:89
c1
c1
Definition dot.c:2
fixed_box.h
fn
isl_stat isl_stat(* fn)(__isl_take ISL_KEY *key, __isl_take ISL_VAL *val, void *user)
Definition hmap.h:37
user
isl_stat isl_stat void * user
Definition hmap.h:39
isl_multi_id
struct isl_multi_id isl_multi_id
Definition id_type.h:16
pos
static unsigned pos(__isl_keep isl_space *space, enum isl_dim_type type)
Definition isl_map.c:73
isl_set
#define isl_set
Definition isl_map_private.h:15
isl_basic_set
#define isl_basic_set
Definition isl_map_private.h:13
type
enum isl_fold type
Definition isl_test.c:3867
set
const char * set
Definition isl_test.c:1364
ma
const char * ma
Definition isl_test.c:7387
map
const char * map
Definition isl_test.c:1791
pma
const char * pma
Definition isl_test.c:3019
name
const char * name
Definition isl_test.c:10749
context
const char * context
Definition isl_test.c:1792
map1
const char * map1
Definition isl_test.c:365
aff
const char * aff
Definition isl_test.c:7130
map2
const char * map2
Definition isl_test.c:366
tuple
const char * tuple
Definition isl_test.c:6860
str
const char * str
Definition isl_test.c:1937
ISL_DECLARE_EXPORTED_LIST_FN_READ
#define ISL_DECLARE_EXPORTED_LIST_FN_READ(EL)
Definition list.h:118
ISL_DECLARE_LIST_FN
#define ISL_DECLARE_LIST_FN(EL)
Definition list.h:108
ISL_DECLARE_EXPORTED_LIST_FN
#define ISL_DECLARE_EXPORTED_LIST_FN(EL)
Definition list.h:110
local_space.h
isl_map_has_range_tuple_id
__isl_export isl_bool isl_map_has_range_tuple_id(__isl_keep isl_map *map)
Definition isl_map.c:820
isl_basic_map_domain
__isl_give isl_basic_set * isl_basic_map_domain(__isl_take isl_basic_map *bmap)
Definition isl_map.c:6602
isl_basic_map_drop_constraints_not_involving_dims
__isl_give isl_basic_map * isl_basic_map_drop_constraints_not_involving_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3614
isl_basic_map_flat_product
__isl_give isl_basic_map * isl_basic_map_flat_product(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:11423
isl_map_flat_domain_product
__isl_give isl_map * isl_map_flat_domain_product(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:11827
isl_basic_map_nat_universe
__isl_give isl_basic_map * isl_basic_map_nat_universe(__isl_take isl_space *space)
Definition isl_map.c:6918
isl_map_plain_unshifted_simple_hull
__isl_give isl_basic_map * isl_map_plain_unshifted_simple_hull(__isl_take isl_map *map)
Definition isl_convex_hull.c:2653
isl_basic_map_total_dim
isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap)
Definition isl_map.c:233
isl_basic_map_affine_hull
__isl_export __isl_give isl_basic_map * isl_basic_map_affine_hull(__isl_take isl_basic_map *bmap)
Definition isl_affine_hull.c:994
isl_map_preimage_range_multi_aff
__isl_overload __isl_give isl_map * isl_map_preimage_range_multi_aff(__isl_take isl_map *map, __isl_take isl_multi_aff *ma)
Definition isl_map.c:14699
isl_map_detect_equalities
__isl_export __isl_give isl_map * isl_map_detect_equalities(__isl_take isl_map *map)
Definition isl_affine_hull.c:957
isl_basic_set_is_wrapping
__isl_export isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset)
Definition isl_map.c:12796
isl_map_eq_at_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_eq_at_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
Definition isl_aff.c:7563
isl_map_nat_universe
__isl_give isl_map * isl_map_nat_universe(__isl_take isl_space *space)
Definition isl_map.c:6947
isl_map_set_domain_tuple_id
__isl_overload __isl_give isl_map * isl_map_set_domain_tuple_id(__isl_take isl_map *map, __isl_take isl_id *id)
Definition isl_map.c:769
isl_map_domain_product
__isl_export __isl_give isl_map * isl_map_domain_product(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:11649
isl_basic_map_deltas_map
__isl_give isl_basic_map * isl_basic_map_deltas_map(__isl_take isl_basic_map *bmap)
Definition isl_map.c:9468
isl_map_intersect_range
__isl_export __isl_give isl_map * isl_map_intersect_range(__isl_take isl_map *map, __isl_take isl_set *set)
Definition isl_map.c:8973
isl_basic_map_list_intersect
__isl_give isl_basic_map * isl_basic_map_list_intersect(__isl_take isl_basic_map_list *list)
Definition isl_map.c:11273
isl_map_order_ge
__isl_give isl_map * isl_map_order_ge(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:14053
isl_map_is_identity
isl_bool isl_map_is_identity(__isl_keep isl_map *map)
Definition isl_map.c:12706
isl_basic_map_is_empty
__isl_export isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:10044
isl_map_sum
__isl_give isl_map * isl_map_sum(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:5502
isl_basic_map_equate
__isl_give isl_basic_map * isl_basic_map_equate(__isl_take isl_basic_map *bmap, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:13943
isl_map_domain
__isl_export __isl_give isl_set * isl_map_domain(__isl_take isl_map *bmap)
Definition isl_map.c:8777
isl_map_union
__isl_export __isl_give isl_map * isl_map_union(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:8894
isl_basic_map_get_space
__isl_give isl_space * isl_basic_map_get_space(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:417
isl_basic_map_plain_is_universe
isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:9950
isl_map_plain_is_single_valued
isl_bool isl_map_plain_is_single_valued(__isl_keep isl_map *map)
Definition isl_map.c:12613
isl_map_n_basic_map
__isl_export isl_size isl_map_n_basic_map(__isl_keep isl_map *map)
Definition isl_map.c:11923
isl_map_max_multi_pw_aff
__isl_export __isl_give isl_multi_pw_aff * isl_map_max_multi_pw_aff(__isl_take isl_map *map)
Definition isl_aff.c:6845
isl_basic_map_equalities_matrix
__isl_give isl_mat * isl_basic_map_equalities_matrix(__isl_keep isl_basic_map *bmap, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4, enum isl_dim_type c5)
Definition isl_map.c:13516
isl_map_subtract_range
__isl_give isl_map * isl_map_subtract_range(__isl_take isl_map *map, __isl_take isl_set *dom)
Definition isl_map_subtract.c:622
isl_basic_map_remove_divs_involving_dims
__isl_give isl_basic_map * isl_basic_map_remove_divs_involving_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3398
isl_basic_map_zip
__isl_give isl_basic_map * isl_basic_map_zip(__isl_take isl_basic_map *bmap)
Definition isl_map.c:13716
isl_map_dim_min
__isl_give isl_pw_aff * isl_map_dim_min(__isl_take isl_map *map, int pos)
Definition isl_map.c:8122
isl_basic_map_equal
__isl_give isl_basic_map * isl_basic_map_equal(__isl_take isl_space *space, unsigned n_equal)
Definition isl_map.c:5836
isl_basic_map_lexmin_pw_multi_aff
__isl_give isl_pw_multi_aff * isl_basic_map_lexmin_pw_multi_aff(__isl_take isl_basic_map *bmap)
isl_map_is_single_valued
__isl_export isl_bool isl_map_is_single_valued(__isl_keep isl_map *map)
Definition isl_map.c:12632
isl_map_has_dim_id
isl_bool isl_map_has_dim_id(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:986
isl_map_get_dim_name
const char * isl_map_get_dim_name(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:897
isl_set_flatten
__isl_export __isl_give isl_set * isl_set_flatten(__isl_take isl_set *set)
Definition isl_map.c:13020
isl_map_apply_domain
__isl_export __isl_give isl_map * isl_map_apply_domain(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:9263
isl_map_involves_dims
isl_bool isl_map_involves_dims(__isl_keep isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3504
isl_map_upper_bound_val
__isl_give isl_map * isl_map_upper_bound_val(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, __isl_take isl_val *value)
Definition isl_map.c:7551
isl_map_range_factor_range
__isl_export __isl_give isl_map * isl_map_range_factor_range(__isl_take isl_map *map)
Definition isl_map.c:11802
isl_map_subtract
__isl_export __isl_give isl_map * isl_map_subtract(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map_subtract.c:533
isl_map_get_tuple_name
const char * isl_map_get_tuple_name(__isl_keep isl_map *map, enum isl_dim_type type)
Definition isl_map.c:742
isl_map_get_domain_tuple_id
__isl_export __isl_give isl_id * isl_map_get_domain_tuple_id(__isl_keep isl_map *map)
Definition isl_map.c:833
isl_basic_map_gist_domain
__isl_give isl_basic_map * isl_basic_map_gist_domain(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context)
Definition isl_map_simplify.c:4295
isl_map_range_reverse
__isl_export __isl_give isl_map * isl_map_range_reverse(__isl_take isl_map *map)
Definition isl_map.c:7817
isl_basic_map_drop_unused_params
__isl_give isl_basic_map * isl_basic_map_drop_unused_params(__isl_take isl_basic_map *bmap)
isl_map_intersect_params
__isl_export __isl_give isl_map * isl_map_intersect_params(__isl_take isl_map *map, __isl_take isl_set *params)
Definition isl_map.c:4531
isl_map_eliminate
__isl_give isl_map * isl_map_eliminate(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:2717
isl_basic_map_apply_range
__isl_export __isl_give isl_basic_map * isl_basic_map_apply_range(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:5355
isl_map_power
__isl_give isl_map * isl_map_power(__isl_take isl_map *map, isl_bool *exact)
Definition isl_transitive_closure.c:2044
isl_map_union_disjoint
__isl_give isl_map * isl_map_union_disjoint(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:8875
isl_basic_map_project_out
__isl_give isl_basic_map * isl_basic_map_project_out(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:5125
isl_multi_aff_as_map
__isl_export __isl_give isl_map * isl_multi_aff_as_map(__isl_take isl_multi_aff *ma)
Definition isl_aff_map.c:234
isl_map_intersect
__isl_export __isl_give isl_map * isl_map_intersect(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:4514
isl_printer_print_basic_map
__isl_give isl_printer * isl_printer_print_basic_map(__isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap)
Definition isl_output.c:1558
isl_map_make_disjoint
__isl_give isl_map * isl_map_make_disjoint(__isl_take isl_map *map)
Definition isl_map_subtract.c:888
isl_basic_map_apply_domain
__isl_export __isl_give isl_basic_map * isl_basic_map_apply_domain(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:5421
isl_map_is_empty
__isl_export isl_bool isl_map_is_empty(__isl_keep isl_map *map)
Definition isl_map.c:9801
isl_basic_map_from_constraint_matrices
__isl_give isl_basic_map * isl_basic_map_from_constraint_matrices(__isl_take isl_space *space, __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4, enum isl_dim_type c5)
Definition isl_map.c:13582
isl_basic_set_flatten
__isl_export __isl_give isl_basic_set * isl_basic_set_flatten(__isl_take isl_basic_set *bset)
Definition isl_map.c:12974
isl_map_universe
__isl_export __isl_give isl_map * isl_map_universe(__isl_take isl_space *space)
Definition isl_map.c:6967
isl_map_print_internal
void isl_map_print_internal(__isl_keep isl_map *map, FILE *out, int indent)
Definition isl_map.c:4080
isl_map_has_equal_space
isl_bool isl_map_has_equal_space(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
isl_map_lex_gt_map
__isl_give isl_map * isl_map_lex_gt_map(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:6095
isl_map_zip
__isl_export __isl_give isl_map * isl_map_zip(__isl_take isl_map *map)
Definition isl_map.c:13752
isl_basic_map_can_curry
isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:13770
isl_map_gist
__isl_export __isl_give isl_map * isl_map_gist(__isl_take isl_map *map, __isl_take isl_map *context)
Definition isl_map_simplify.c:4202
isl_basic_map_is_subset
__isl_export isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
Definition isl_map.c:9753
isl_map_drop_unused_params
__isl_export __isl_give isl_map * isl_map_drop_unused_params(__isl_take isl_map *map)
isl_basic_map_insert_dims
__isl_give isl_basic_map * isl_basic_map_insert_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, unsigned n)
Definition isl_map.c:4654
isl_map_apply_range
__isl_export __isl_give isl_map * isl_map_apply_range(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:9277
isl_map_sample
__isl_export __isl_give isl_basic_map * isl_map_sample(__isl_take isl_map *map)
Definition isl_sample.c:1270
isl_basic_map_partial_lexmin
__isl_give isl_map * isl_basic_map_partial_lexmin(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty)
isl_map_flat_product
__isl_give isl_map * isl_map_flat_product(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:11623
isl_basic_map_is_equal
__isl_export isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
Definition isl_map.c:9780
isl_basic_map_plain_is_empty
isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:10089
isl_basic_map_drop_constraints_involving_dims
__isl_give isl_basic_map * isl_basic_map_drop_constraints_involving_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3666
isl_map_remove_inputs
__isl_give isl_map * isl_map_remove_inputs(__isl_take isl_map *map, unsigned first, unsigned n)
Definition isl_map.c:3903
isl_basic_map_from_range
__isl_give isl_basic_map * isl_basic_map_from_range(__isl_take isl_basic_set *bset)
Definition isl_map.c:6809
isl_map_bind_domain
__isl_export __isl_give isl_set * isl_map_bind_domain(__isl_take isl_map *map, __isl_take isl_multi_id *tuple)
Definition isl_map.c:13398
isl_basic_map_is_disjoint
isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
Definition isl_map_simplify.c:4564
isl_map_factor_domain
__isl_export __isl_give isl_map * isl_map_factor_domain(__isl_take isl_map *map)
Definition isl_map.c:11669
isl_map_unshifted_simple_hull_from_map_list
__isl_give isl_basic_map * isl_map_unshifted_simple_hull_from_map_list(__isl_take isl_map *map, __isl_take isl_map_list *list)
Definition isl_convex_hull.c:3039
isl_map_preimage_domain_pw_multi_aff
__isl_overload __isl_give isl_map * isl_map_preimage_domain_pw_multi_aff(__isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma)
Definition isl_map.c:14814
isl_basic_map_neg
__isl_give isl_basic_map * isl_basic_map_neg(__isl_take isl_basic_map *bmap)
Definition isl_map.c:5545
isl_map_lex_ge_first
__isl_give isl_map * isl_map_lex_ge_first(__isl_take isl_space *space, unsigned n)
Definition isl_map.c:6009
isl_map_copy
__isl_give isl_map * isl_map_copy(__isl_keep isl_map *map)
Definition isl_map.c:1494
isl_map_move_dims
__isl_give isl_map * isl_map_move_dims(__isl_take isl_map *map, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
Definition isl_map.c:4937
isl_basic_map_from_aff_list
__isl_give isl_basic_map * isl_basic_map_from_aff_list(__isl_take isl_space *domain_space, __isl_take isl_aff_list *list)
Definition isl_aff_map.c:265
isl_basic_map_partial_lexmax
__isl_give isl_map * isl_basic_map_partial_lexmax(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty)
isl_basic_map_partial_lexmin_pw_multi_aff
__isl_give isl_pw_multi_aff * isl_basic_map_partial_lexmin_pw_multi_aff(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty)
isl_basic_map_flatten
__isl_export __isl_give isl_basic_map * isl_basic_map_flatten(__isl_take isl_basic_map *bmap)
Definition isl_map.c:12961
isl_set_identity
__isl_export __isl_give isl_map * isl_set_identity(__isl_take isl_set *set)
Definition isl_map.c:9563
isl_map_lower_bound_si
__isl_give isl_map * isl_map_lower_bound_si(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, int value)
Definition isl_map.c:7410
isl_basic_map_get_div
__isl_give isl_aff * isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, int pos)
Definition isl_map.c:14153
isl_map_partial_lexmin
__isl_give isl_map * isl_map_partial_lexmin(__isl_take isl_map *map, __isl_take isl_set *dom, __isl_give isl_set **empty)
Definition isl_map.c:7997
isl_map_lex_gt
__isl_give isl_map * isl_map_lex_gt(__isl_take isl_space *set_space)
Definition isl_map.c:6015
isl_map_domain_factor_domain
__isl_export __isl_give isl_map * isl_map_domain_factor_domain(__isl_take isl_map *map)
Definition isl_map.c:11727
isl_basic_map_free
__isl_null isl_basic_map * isl_basic_map_free(__isl_take isl_basic_map *bmap)
Definition isl_map.c:1503
isl_basic_map_domain_map
__isl_give isl_basic_map * isl_basic_map_domain_map(__isl_take isl_basic_map *bmap)
Definition isl_map.c:6650
isl_basic_map_get_ctx
isl_ctx * isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:382
isl_basic_map_read_from_str
__isl_constructor __isl_give isl_basic_map * isl_basic_map_read_from_str(isl_ctx *ctx, const char *str)
isl_basic_map_remove_dims
__isl_give isl_basic_map * isl_basic_map_remove_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:2813
isl_basic_map_range_product
__isl_give isl_basic_map * isl_basic_map_range_product(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:11486
isl_map_intersect_range_factor_domain
__isl_export __isl_give isl_map * isl_map_intersect_range_factor_domain(__isl_take isl_map *map, __isl_take isl_map *factor)
Definition isl_map.c:9141
isl_map_align_divs
ISL_DEPRECATED __isl_give isl_map * isl_map_align_divs(__isl_take isl_map *map)
Definition isl_map.c:10423
isl_map_complement
__isl_export __isl_give isl_map * isl_map_complement(__isl_take isl_map *map)
Definition isl_map_subtract.c:929
isl_map_set_tuple_name
__isl_give isl_map * isl_map_set_tuple_name(__isl_take isl_map *map, enum isl_dim_type type, const char *s)
Definition isl_map.c:686
isl_map_get_space
__isl_export __isl_give isl_space * isl_map_get_space(__isl_keep isl_map *map)
Definition isl_map.c:599
isl_map_from_domain_and_range
__isl_give isl_map * isl_map_from_domain_and_range(__isl_take isl_set *domain, __isl_take isl_set *range)
Definition isl_map.c:6847
isl_map_drop_constraints_involving_dims
__isl_give isl_map * isl_map_drop_constraints_involving_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3727
isl_basic_map_from_aff
__isl_give isl_basic_map * isl_basic_map_from_aff(__isl_take isl_aff *aff)
Definition isl_aff_map.c:110
isl_map_order_gt
__isl_give isl_map * isl_map_order_gt(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:14132
isl_basic_map_eliminate
__isl_give isl_basic_map * isl_basic_map_eliminate(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map_simplify.c:2350
isl_map_intersect_domain_wrapped_domain
__isl_export __isl_give isl_map * isl_map_intersect_domain_wrapped_domain(__isl_take isl_map *map, __isl_take isl_set *domain)
isl_map_fix_val
__isl_give isl_map * isl_map_fix_val(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, __isl_take isl_val *v)
Definition isl_map.c:7288
isl_map_plain_get_val_if_fixed
__isl_give isl_val * isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:10822
isl_map_uncurry
__isl_export __isl_give isl_map * isl_map_uncurry(__isl_take isl_map *map)
Definition isl_map.c:13893
isl_basic_map_set_dim_name
__isl_give isl_basic_map * isl_basic_map_set_dim_name(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, const char *s)
Definition isl_map.c:919
isl_basic_map_dim
isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, enum isl_dim_type type)
Definition isl_map.c:83
isl_map_plain_is_universe
isl_bool isl_map_plain_is_universe(__isl_keep isl_map *map)
Definition isl_map.c:10023
isl_map_get_ctx
isl_ctx * isl_map_get_ctx(__isl_keep isl_map *map)
Definition isl_map.c:392
isl_basic_map_less_at
__isl_give isl_basic_map * isl_basic_map_less_at(__isl_take isl_space *space, unsigned pos)
Definition isl_map.c:5851
isl_map_intersect_domain
__isl_export __isl_give isl_map * isl_map_intersect_domain(__isl_take isl_map *map, __isl_take isl_set *set)
Definition isl_map.c:9001
isl_basic_map_more_at
__isl_give isl_basic_map * isl_basic_map_more_at(__isl_take isl_space *space, unsigned pos)
Definition isl_map.c:5883
isl_basic_map_preimage_range_multi_aff
__isl_give isl_basic_map * isl_basic_map_preimage_range_multi_aff(__isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma)
Definition isl_map.c:14560
isl_basic_map_has_dim_id
isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:972
isl_map_to_str
__isl_give char * isl_map_to_str(__isl_keep isl_map *map)
isl_map_lex_le_map
__isl_give isl_map * isl_map_lex_le_map(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:6065
isl_basic_map_to_str
__isl_give char * isl_basic_map_to_str(__isl_keep isl_basic_map *bmap)
isl_map_plain_is_injective
isl_bool isl_map_plain_is_injective(__isl_keep isl_map *map)
Definition isl_map.c:12671
isl_map_set_dim_name
__isl_give isl_map * isl_map_set_dim_name(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, const char *s)
Definition isl_map.c:931
isl_map_can_zip
isl_bool isl_map_can_zip(__isl_keep isl_map *map)
Definition isl_map.c:13705
isl_map_domain_is_wrapping
isl_bool isl_map_domain_is_wrapping(__isl_keep isl_map *map)
Definition isl_map.c:12843
isl_map_lex_le_first
__isl_give isl_map * isl_map_lex_le_first(__isl_take isl_space *space, unsigned n)
Definition isl_map.c:5953
isl_map_lex_lt
__isl_give isl_map * isl_map_lex_lt(__isl_take isl_space *set_space)
Definition isl_map.c:5959
isl_map_from_aff
__isl_give isl_map * isl_map_from_aff(__isl_take isl_aff *aff)
Definition isl_aff_map.c:118
isl_map_foreach_basic_map
__isl_export isl_stat isl_map_foreach_basic_map(__isl_keep isl_map *map, isl_stat(*fn)(__isl_take isl_basic_map *bmap, void *user), void *user)
Definition isl_map.c:11933
isl_map_reaching_path_lengths
__isl_give isl_map * isl_map_reaching_path_lengths(__isl_take isl_map *map, isl_bool *exact)
Definition isl_transitive_closure.c:2097
isl_map_oppose
__isl_give isl_map * isl_map_oppose(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:13971
isl_map_lower_bound_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_lower_bound_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *lower)
Definition isl_map.c:7735
isl_map_find_dim_by_name
int isl_map_find_dim_by_name(__isl_keep isl_map *map, enum isl_dim_type type, const char *name)
Definition isl_map.c:1054
isl_set_is_wrapping
__isl_export isl_bool isl_set_is_wrapping(__isl_keep isl_set *set)
Definition isl_map.c:12804
isl_map_transitive_closure
__isl_give isl_map * isl_map_transitive_closure(__isl_take isl_map *map, isl_bool *exact)
Definition isl_transitive_closure.c:2557
isl_map_can_range_curry
isl_bool isl_map_can_range_curry(__isl_keep isl_map *map)
Definition isl_map.c:13827
isl_basic_map_remove_divs
__isl_give isl_basic_map * isl_basic_map_remove_divs(__isl_take isl_basic_map *bmap)
Definition isl_map.c:2763
isl_basic_map_sample
__isl_export __isl_give isl_basic_map * isl_basic_map_sample(__isl_take isl_basic_map *bmap)
Definition isl_sample.c:1243
isl_map_remove_divs_involving_dims
__isl_give isl_map * isl_map_remove_divs_involving_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3440
isl_map_lex_ge_map
__isl_give isl_map * isl_map_lex_ge_map(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:6085
isl_map_read_from_file
__isl_give isl_map * isl_map_read_from_file(isl_ctx *ctx, FILE *input)
Definition isl_input.c:3320
isl_map_deltas
__isl_export __isl_give isl_set * isl_map_deltas(__isl_take isl_map *map)
Definition isl_map.c:9442
isl_map_is_translation
int isl_map_is_translation(__isl_keep isl_map *map)
Definition isl_map.c:12722
isl_basic_map_flat_range_product
__isl_give isl_basic_map * isl_basic_map_flat_range_product(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:11540
isl_basic_map_uncurry
__isl_give isl_basic_map * isl_basic_map_uncurry(__isl_take isl_basic_map *bmap)
Definition isl_map.c:13870
isl_map_lexmin
__isl_export __isl_give isl_map * isl_map_lexmin(__isl_take isl_map *map)
isl_map_find_dim_by_id
int isl_map_find_dim_by_id(__isl_keep isl_map *map, enum isl_dim_type type, __isl_keep isl_id *id)
Definition isl_map.c:1028
isl_basic_map_preimage_domain_multi_aff
__isl_give isl_basic_map * isl_basic_map_preimage_domain_multi_aff(__isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma)
Definition isl_map.c:14548
isl_basic_map_fix_si
__isl_give isl_basic_map * isl_basic_map_fix_si(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value)
Definition isl_map.c:7110
isl_map_preimage_domain_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_preimage_domain_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
Definition isl_map.c:14886
isl_basic_map_is_single_valued
isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:12585
isl_basic_map_get_local_space
__isl_give isl_local_space * isl_basic_map_get_local_space(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:512
isl_map_set_dim_id
__isl_give isl_map * isl_map_set_dim_id(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, __isl_take isl_id *id)
Definition isl_map.c:1010
isl_map_plain_is_empty
isl_bool isl_map_plain_is_empty(__isl_keep isl_map *map)
Definition isl_map.c:9818
isl_map_can_uncurry
isl_bool isl_map_can_uncurry(__isl_keep isl_map *map)
Definition isl_map.c:13859
isl_basic_map_upper_bound_si
__isl_give isl_basic_map * isl_basic_map_upper_bound_si(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value)
Definition isl_map.c:7382
isl_map_order_le
__isl_give isl_map * isl_map_order_le(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:14071
isl_map_dump
void isl_map_dump(__isl_keep isl_map *map)
isl_map_lex_lt_at_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_lex_lt_at_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
isl_basic_map_flatten_domain
__isl_export __isl_give isl_basic_map * isl_basic_map_flatten_domain(__isl_take isl_basic_map *bmap)
Definition isl_map.c:12979
isl_map_range_map
__isl_give isl_map * isl_map_range_map(__isl_take isl_map *map)
Definition isl_map.c:6777
isl_map_lex_gt_first
__isl_give isl_map * isl_map_lex_gt_first(__isl_take isl_space *space, unsigned n)
Definition isl_map.c:6003
isl_map_intersect_domain_factor_domain
__isl_export __isl_give isl_map * isl_map_intersect_domain_factor_domain(__isl_take isl_map *map, __isl_take isl_map *factor)
Definition isl_map.c:9111
isl_basic_map_reverse
__isl_export __isl_give isl_basic_map * isl_basic_map_reverse(__isl_take isl_basic_map *bmap)
Definition isl_map.c:4544
isl_map_lexmin_pw_multi_aff
__isl_export __isl_give isl_pw_multi_aff * isl_map_lexmin_pw_multi_aff(__isl_take isl_map *map)
isl_map_intersect_domain_factor_range
__isl_export __isl_give isl_map * isl_map_intersect_domain_factor_range(__isl_take isl_map *map, __isl_take isl_map *factor)
Definition isl_map.c:9126
isl_map_get_hash
uint32_t isl_map_get_hash(__isl_keep isl_map *map)
Definition isl_map.c:11892
isl_map_is_equal
__isl_export isl_bool isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
Definition isl_map.c:9902
isl_basic_map_read_from_file
__isl_give isl_basic_map * isl_basic_map_read_from_file(isl_ctx *ctx, FILE *input)
Definition isl_input.c:3288
isl_basic_map_is_universe
isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:9990
isl_map_empty
__isl_export __isl_give isl_map * isl_map_empty(__isl_take isl_space *space)
Definition isl_map.c:6957
isl_map_get_dim_id
__isl_give isl_id * isl_map_get_dim_id(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:992
isl_set_unwrap
__isl_export __isl_give isl_map * isl_set_unwrap(__isl_take isl_set *set)
Definition isl_map.c:12909
isl_map_flat_range_product
__isl_give isl_map * isl_map_flat_range_product(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:11839
isl_basic_map_remove_redundancies
__isl_give isl_basic_map * isl_basic_map_remove_redundancies(__isl_take isl_basic_map *bmap)
Definition isl_convex_hull.c:51
isl_map_read_from_str
__isl_constructor __isl_give isl_map * isl_map_read_from_str(isl_ctx *ctx, const char *str)
isl_map_dim_max
__isl_give isl_pw_aff * isl_map_dim_max(__isl_take isl_map *map, int pos)
Definition isl_map.c:8131
isl_map_set_range_tuple_id
__isl_overload __isl_give isl_map * isl_map_set_range_tuple_id(__isl_take isl_map *map, __isl_take isl_id *id)
Definition isl_map.c:777
isl_printer_print_map
__isl_give isl_printer * isl_printer_print_map(__isl_take isl_printer *printer, __isl_keep isl_map *map)
Definition isl_output.c:1616
isl_map_affine_hull
__isl_export __isl_give isl_basic_map * isl_map_affine_hull(__isl_take isl_map *map)
Definition isl_affine_hull.c:1209
isl_basic_map_get_dim_name
const char * isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:875
isl_map_lex_le_at_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_lex_le_at_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
isl_basic_map_sum
__isl_give isl_basic_map * isl_basic_map_sum(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:5443
isl_space_universe_map
__isl_export __isl_give isl_map * isl_space_universe_map(__isl_take isl_space *space)
Definition isl_map.c:6980
isl_map_can_curry
isl_bool isl_map_can_curry(__isl_keep isl_map *map)
Definition isl_map.c:13781
isl_map_wrap
__isl_export __isl_give isl_set * isl_map_wrap(__isl_take isl_map *map)
Definition isl_map.c:12883
isl_map_factor_range
__isl_export __isl_give isl_map * isl_map_factor_range(__isl_take isl_map *map)
Definition isl_map.c:11698
isl_basic_map_can_zip
isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:13697
isl_map_lex_lt_first
__isl_give isl_map * isl_map_lex_lt_first(__isl_take isl_space *space, unsigned n)
Definition isl_map.c:5947
isl_map_curry
__isl_export __isl_give isl_map * isl_map_curry(__isl_take isl_map *map)
Definition isl_map.c:13817
isl_map_order_lt
__isl_give isl_map * isl_map_order_lt(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:14147
isl_map_align_params
__isl_give isl_map * isl_map_align_params(__isl_take isl_map *map, __isl_take isl_space *model)
Definition isl_map.c:13143
isl_map_flatten_range
__isl_export __isl_give isl_map * isl_map_flatten_range(__isl_take isl_map *map)
Definition isl_map.c:13054
isl_map_dim
isl_size isl_map_dim(__isl_keep isl_map *map, enum isl_dim_type type)
Definition isl_map.c:113
isl_map_domain_factor_range
__isl_export __isl_give isl_map * isl_map_domain_factor_range(__isl_take isl_map *map)
Definition isl_map.c:11752
isl_map_reset_user
__isl_give isl_map * isl_map_reset_user(__isl_take isl_map *map)
Definition isl_map.c:1117
isl_basic_map_dump
void isl_basic_map_dump(__isl_keep isl_basic_map *bmap)
isl_map_has_tuple_id
isl_bool isl_map_has_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type)
Definition isl_map.c:806
isl_basic_map_order_ge
__isl_give isl_basic_map * isl_basic_map_order_ge(__isl_take isl_basic_map *bmap, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:14035
isl_map_set_tuple_id
__isl_give isl_map * isl_map_set_tuple_id(__isl_take isl_map *map, enum isl_dim_type type, __isl_take isl_id *id)
Definition isl_map.c:755
isl_map_is_injective
__isl_export isl_bool isl_map_is_injective(__isl_keep isl_map *map)
Definition isl_map.c:12657
isl_map_is_strict_subset
__isl_export isl_bool isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
Definition isl_map.c:9926
isl_basic_map_intersect_domain
__isl_export __isl_give isl_basic_map * isl_basic_map_intersect_domain(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)
Definition isl_map.c:4118
isl_map_lex_le
__isl_give isl_map * isl_map_lex_le(__isl_take isl_space *set_space)
Definition isl_map.c:5964
isl_map_fix_input_si
__isl_give isl_map * isl_map_fix_input_si(__isl_take isl_map *map, unsigned input, int value)
Definition isl_map.c:7327
isl_map_lexmax
__isl_export __isl_give isl_map * isl_map_lexmax(__isl_take isl_map *map)
isl_basic_map_range_map
__isl_give isl_basic_map * isl_basic_map_range_map(__isl_take isl_basic_map *bmap)
Definition isl_map.c:6680
isl_map_intersect_range_wrapped_domain
__isl_export __isl_give isl_map * isl_map_intersect_range_wrapped_domain(__isl_take isl_map *map, __isl_take isl_set *domain)
Definition isl_map.c:9247
isl_map_reverse
__isl_export __isl_give isl_map * isl_map_reverse(__isl_take isl_map *map)
Definition isl_map.c:7801
isl_map_deltas_map
__isl_give isl_map * isl_map_deltas_map(__isl_take isl_map *map)
Definition isl_map.c:9517
isl_map_gist_params
__isl_export __isl_give isl_map * isl_map_gist_params(__isl_take isl_map *map, __isl_take isl_set *context)
Definition isl_map_simplify.c:4321
isl_basic_map_compute_divs
__isl_give isl_map * isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap)
Definition isl_map.c:8708
isl_map_flatten
__isl_export __isl_give isl_map * isl_map_flatten(__isl_take isl_map *map)
Definition isl_map.c:13009
isl_map_has_domain_tuple_id
__isl_export isl_bool isl_map_has_domain_tuple_id(__isl_keep isl_map *map)
Definition isl_map.c:813
isl_map_reset_tuple_id
__isl_give isl_map * isl_map_reset_tuple_id(__isl_take isl_map *map, enum isl_dim_type type)
Definition isl_map.c:789
isl_map_flatten_domain
__isl_export __isl_give isl_map * isl_map_flatten_domain(__isl_take isl_map *map)
Definition isl_map.c:13041
isl_map_gist_basic_map
__isl_give isl_map * isl_map_gist_basic_map(__isl_take isl_map *map, __isl_take isl_basic_map *context)
Definition isl_map_simplify.c:3866
isl_map_subtract_domain
__isl_give isl_map * isl_map_subtract_domain(__isl_take isl_map *map, __isl_take isl_set *dom)
Definition isl_map_subtract.c:597
isl_map_upper_bound_si
__isl_give isl_map * isl_map_upper_bound_si(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, int value)
Definition isl_map.c:7416
isl_map_range_tuple_dim
__isl_export isl_size isl_map_range_tuple_dim(__isl_keep isl_map *map)
Definition isl_map.c:127
isl_map_range_product
__isl_export __isl_give isl_map * isl_map_range_product(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:11659
isl_map_upper_bound_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_upper_bound_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *upper)
Definition isl_map.c:7745
isl_map_lex_ge_at_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_lex_ge_at_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
isl_set_translation
__isl_export __isl_give isl_map * isl_set_translation(__isl_take isl_set *deltas)
Definition isl_map.c:9528
isl_map_partial_lexmax
__isl_give isl_map * isl_map_partial_lexmax(__isl_take isl_map *map, __isl_take isl_set *dom, __isl_give isl_set **empty)
Definition isl_map.c:7990
isl_map_from_range
__isl_give isl_map * isl_map_from_range(__isl_take isl_set *set)
Definition isl_map.c:6823
isl_map_lexmax_pw_multi_aff
__isl_export __isl_give isl_pw_multi_aff * isl_map_lexmax_pw_multi_aff(__isl_take isl_map *map)
isl_basic_map_identity
__isl_give isl_basic_map * isl_basic_map_identity(__isl_take isl_space *space)
Definition isl_map.c:9540
isl_basic_map_curry
__isl_give isl_basic_map * isl_basic_map_curry(__isl_take isl_basic_map *bmap)
Definition isl_map.c:13792
isl_basic_map_order_gt
__isl_give isl_basic_map * isl_basic_map_order_gt(__isl_take isl_basic_map *bmap, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:14117
isl_map_unshifted_simple_hull
__isl_export __isl_give isl_basic_map * isl_map_unshifted_simple_hull(__isl_take isl_map *map)
Definition isl_convex_hull.c:2487
isl_basic_map_move_dims
__isl_give isl_basic_map * isl_basic_map_move_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
Definition isl_map.c:4818
isl_basic_map_intersect_params
__isl_export __isl_give isl_basic_map * isl_basic_map_intersect_params(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)
Definition isl_map.c:4323
isl_map_preimage_domain_multi_aff
__isl_overload __isl_give isl_map * isl_map_preimage_domain_multi_aff(__isl_take isl_map *map, __isl_take isl_multi_aff *ma)
Definition isl_map.c:14687
isl_map_get_range_tuple_id
__isl_export __isl_give isl_id * isl_map_get_range_tuple_id(__isl_keep isl_map *map)
Definition isl_map.c:840
isl_map_domain_map
__isl_give isl_map * isl_map_domain_map(__isl_take isl_map *map)
Definition isl_map.c:6771
isl_basic_set_unwrap
__isl_give isl_basic_map * isl_basic_set_unwrap(__isl_take isl_basic_set *bset)
Definition isl_map.c:12888
isl_map_domain_reverse
__isl_export __isl_give isl_map * isl_map_domain_reverse(__isl_take isl_map *map)
Definition isl_map.c:7809
isl_basic_map_lower_bound_si
__isl_give isl_basic_map * isl_basic_map_lower_bound_si(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value)
Definition isl_map.c:7373
isl_basic_map_inequalities_matrix
__isl_give isl_mat * isl_basic_map_inequalities_matrix(__isl_keep isl_basic_map *bmap, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4, enum isl_dim_type c5)
Definition isl_map.c:13549
isl_basic_map_plain_get_val_if_fixed
__isl_give isl_val * isl_basic_map_plain_get_val_if_fixed(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:10784
isl_basic_map_add_dims
__isl_give isl_basic_map * isl_basic_map_add_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned n)
Definition isl_map.c:4723
isl_basic_map_wrap
__isl_give isl_basic_set * isl_basic_map_wrap(__isl_take isl_basic_map *bmap)
Definition isl_map.c:12868
isl_map_gist_range
__isl_give isl_map * isl_map_gist_range(__isl_take isl_map *map, __isl_take isl_set *context)
Definition isl_map_simplify.c:4313
isl_map_equate
__isl_give isl_map * isl_map_equate(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2)
Definition isl_map.c:13957
isl_basic_map_is_strict_subset
isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
Definition isl_map.c:9912
isl_map_domain_tuple_dim
__isl_export isl_size isl_map_domain_tuple_dim(__isl_keep isl_map *map)
Definition isl_map.c:120
isl_basic_map_fix_val
__isl_give isl_basic_map * isl_basic_map_fix_val(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, __isl_take isl_val *v)
Definition isl_map.c:7131
isl_basic_map_partial_lexmax_pw_multi_aff
__isl_give isl_pw_multi_aff * isl_basic_map_partial_lexmax_pw_multi_aff(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty)
isl_map_product
__isl_export __isl_give isl_map * isl_map_product(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:11613
isl_map_remove_divs
__isl_give isl_map * isl_map_remove_divs(__isl_take isl_map *map)
Definition isl_map.c:2784
isl_map_is_disjoint
__isl_export isl_bool isl_map_is_disjoint(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
Definition isl_map_simplify.c:4524
isl_basic_map_get_tuple_name
const char * isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, enum isl_dim_type type)
Definition isl_map.c:680
isl_map_remove_redundancies
__isl_give isl_map * isl_map_remove_redundancies(__isl_take isl_map *map)
Definition isl_convex_hull.c:101
isl_map_lex_ge
__isl_give isl_map * isl_map_lex_ge(__isl_take isl_space *set_space)
Definition isl_map.c:6020
isl_map_range_factor_domain
__isl_export __isl_give isl_map * isl_map_range_factor_domain(__isl_take isl_map *map)
Definition isl_map.c:11777
isl_map_remove_unknown_divs
__isl_give isl_map * isl_map_remove_unknown_divs(__isl_take isl_map *map)
Definition isl_map.c:3832
isl_basic_map_involves_dims
isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3479
isl_map_range_curry
__isl_give isl_map * isl_map_range_curry(__isl_take isl_map *map)
Definition isl_map.c:13838
isl_basic_map_is_rational
isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:1136
isl_map_range_is_wrapping
isl_bool isl_map_range_is_wrapping(__isl_keep isl_map *map)
Definition isl_map.c:12860
isl_map_from_domain
__isl_give isl_map * isl_map_from_domain(__isl_take isl_set *set)
Definition isl_map.c:6836
isl_map_has_dim_name
isl_bool isl_map_has_dim_name(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos)
Definition isl_map.c:889
isl_map_fix_si
__isl_give isl_map * isl_map_fix_si(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, int value)
Definition isl_map.c:7235
isl_map_lex_gt_at_multi_pw_aff
__isl_overload __isl_give isl_map * isl_map_lex_gt_at_multi_pw_aff(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
isl_map_preimage_range_pw_multi_aff
__isl_overload __isl_give isl_map * isl_map_preimage_range_pw_multi_aff(__isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma)
Definition isl_map.c:14826
isl_map_project_out_all_params
__isl_export __isl_give isl_map * isl_map_project_out_all_params(__isl_take isl_map *map)
isl_basic_map_empty
__isl_give isl_basic_map * isl_basic_map_empty(__isl_take isl_space *space)
Definition isl_map.c:6886
isl_map_coalesce
__isl_export __isl_give isl_map * isl_map_coalesce(__isl_take isl_map *map)
Definition isl_coalesce.c:4197
isl_set_flatten_map
__isl_give isl_map * isl_set_flatten_map(__isl_take isl_set *set)
Definition isl_map.c:13025
isl_map_identity
__isl_give isl_map * isl_map_identity(__isl_take isl_space *space)
Definition isl_map.c:9558
isl_set_wrapped_domain_map
__isl_give isl_map * isl_set_wrapped_domain_map(__isl_take isl_set *set)
Definition isl_map.c:6786
isl_map_params
__isl_export __isl_give isl_set * isl_map_params(__isl_take isl_map *map)
Definition isl_map.c:6585
isl_map_convex_hull
__isl_give isl_basic_map * isl_map_convex_hull(__isl_take isl_map *map)
Definition isl_convex_hull.c:1930
isl_map_insert_dims
__isl_give isl_map * isl_map_insert_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, unsigned n)
Definition isl_map.c:4760
isl_map_add_dims
__isl_give isl_map * isl_map_add_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned n)
Definition isl_map.c:4795
isl_map_free
__isl_null isl_map * isl_map_free(__isl_take isl_map *map)
Definition isl_map.c:7040
isl_map_get_basic_map_list
__isl_give isl_basic_map_list * isl_map_get_basic_map_list(__isl_keep isl_map *map)
Definition isl_map.c:11248
isl_map_neg
__isl_give isl_map * isl_map_neg(__isl_take isl_map *map)
Definition isl_map.c:5577
isl_map_gist_domain
__isl_export __isl_give isl_map * isl_map_gist_domain(__isl_take isl_map *map, __isl_take isl_set *context)
Definition isl_map_simplify.c:4305
isl_basic_map_gist
__isl_export __isl_give isl_basic_map * isl_basic_map_gist(__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)
Definition isl_map_simplify.c:3792
isl_map_from_basic_map
__isl_constructor __isl_give isl_map * isl_map_from_basic_map(__isl_take isl_basic_map *bmap)
Definition isl_map.c:4037
isl_map_floordiv_val
__isl_give isl_map * isl_map_floordiv_val(__isl_take isl_map *map, __isl_take isl_val *d)
Definition isl_map.c:5684
isl_map_project_out
__isl_give isl_map * isl_map_project_out(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:5181
isl_basic_map_can_uncurry
isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:13848
isl_map_get_range_simple_fixed_box_hull
__isl_export __isl_give isl_fixed_box * isl_map_get_range_simple_fixed_box_hull(__isl_keep isl_map *map)
Definition isl_box.c:385
isl_basic_map_align_params
__isl_give isl_basic_map * isl_basic_map_align_params(__isl_take isl_basic_map *bmap, __isl_take isl_space *model)
Definition isl_map.c:13187
isl_basic_map_image_is_bounded
isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap)
Definition isl_convex_hull.c:829
isl_set_insert_domain
__isl_export __isl_give isl_map * isl_set_insert_domain(__isl_take isl_set *set, __isl_take isl_space *domain)
Definition isl_map.c:13493
isl_map_drop_constraints_not_involving_dims
__isl_give isl_map * isl_map_drop_constraints_not_involving_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3740
isl_map_lex_lt_map
__isl_give isl_map * isl_map_lex_lt_map(__isl_take isl_map *map1, __isl_take isl_map *map2)
Definition isl_map.c:6075
isl_basic_map_intersect_range
__isl_export __isl_give isl_basic_map * isl_basic_map_intersect_range(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)
Definition isl_map.c:4167
isl_map_intersect_range_factor_range
__isl_export __isl_give isl_map * isl_map_intersect_range_factor_range(__isl_take isl_map *map, __isl_take isl_map *factor)
Definition isl_map.c:9156
isl_basic_map_copy
__isl_give isl_basic_map * isl_basic_map_copy(__isl_keep isl_basic_map *bmap)
Definition isl_map.c:1479
isl_map_is_bijective
__isl_export isl_bool isl_map_is_bijective(__isl_keep isl_map *map)
Definition isl_map.c:12683
isl_map_remove_dims
__isl_give isl_map * isl_map_remove_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n)
Definition isl_map.c:3870
isl_basic_map_detect_equalities
__isl_export __isl_give isl_basic_map * isl_basic_map_detect_equalities(__isl_take isl_basic_map *bmap)
Definition isl_affine_hull.c:903
isl_basic_map_flatten_range
__isl_export __isl_give isl_basic_map * isl_basic_map_flatten_range(__isl_take isl_basic_map *bmap)
Definition isl_map.c:12993
isl_map_get_range_stride_info
__isl_give isl_stride_info * isl_map_get_range_stride_info(__isl_keep isl_map *map, int pos)
Definition isl_stride.c:368
isl_basic_map_find_dim_by_name
int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, const char *name)
Definition isl_map.c:1046
isl_map_polyhedral_hull
__isl_export __isl_give isl_basic_map * isl_map_polyhedral_hull(__isl_take isl_map *map)
Definition isl_convex_hull.c:1980
isl_map_plain_is_equal
isl_bool isl_map_plain_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
Definition isl_map.c:11204
isl_map_min_multi_pw_aff
__isl_export __isl_give isl_multi_pw_aff * isl_map_min_multi_pw_aff(__isl_take isl_map *map)
Definition isl_aff.c:6836
isl_basic_map_print_internal
void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, FILE *out, int indent)
Definition isl_map.c:3933
isl_basic_map_set_tuple_id
__isl_give isl_basic_map * isl_basic_map_set_tuple_id(__isl_take isl_basic_map *bmap, enum isl_dim_type type, __isl_take isl_id *id)
Definition isl_map.c:714
isl_map_get_range_lattice_tile
__isl_export __isl_give isl_fixed_box * isl_map_get_range_lattice_tile(__isl_keep isl_map *map)
Definition isl_box.c:455
isl_basic_map_union
__isl_export __isl_give isl_map * isl_basic_map_union(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:10128
isl_map_project_out_param_id_list
__isl_overload __isl_give isl_map * isl_map_project_out_param_id_list(__isl_take isl_map *map, __isl_take isl_id_list *list)
isl_basic_map_deltas
__isl_export __isl_give isl_basic_set * isl_basic_map_deltas(__isl_take isl_basic_map *bmap)
Definition isl_map.c:9344
isl_map_compute_divs
__isl_give isl_map * isl_map_compute_divs(__isl_take isl_map *map)
Definition isl_map.c:8734
isl_basic_map_from_domain
__isl_give isl_basic_map * isl_basic_map_from_domain(__isl_take isl_basic_set *bset)
Definition isl_map.c:6803
isl_basic_map_intersect
__isl_export __isl_give isl_basic_map * isl_basic_map_intersect(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:4246
isl_basic_map_from_domain_and_range
__isl_give isl_basic_map * isl_basic_map_from_domain_and_range(__isl_take isl_basic_set *domain, __isl_take isl_basic_set *range)
Definition isl_map.c:6841
isl_basic_map_lexmin
__isl_export __isl_give isl_map * isl_basic_map_lexmin(__isl_take isl_basic_map *bmap)
isl_basic_map_from_multi_aff
__isl_give isl_basic_map * isl_basic_map_from_multi_aff(__isl_take isl_multi_aff *maff)
Definition isl_aff_map.c:186
isl_map_fixed_power_val
__isl_overload __isl_give isl_map * isl_map_fixed_power_val(__isl_take isl_map *map, __isl_take isl_val *exp)
isl_basic_map_product
__isl_give isl_basic_map * isl_basic_map_product(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:11378
isl_map_simple_hull
__isl_give isl_basic_map * isl_map_simple_hull(__isl_take isl_map *map)
Definition isl_convex_hull.c:2474
isl_basic_map_set_tuple_name
__isl_give isl_basic_map * isl_basic_map_set_tuple_name(__isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s)
Definition isl_map.c:662
isl_map_bind_range
__isl_export __isl_give isl_set * isl_map_bind_range(__isl_take isl_map *map, __isl_take isl_multi_id *tuple)
Definition isl_map.c:13419
isl_map_range
__isl_export __isl_give isl_set * isl_map_range(__isl_take isl_map *map)
Definition isl_map.c:6728
isl_map_get_tuple_id
__isl_give isl_id * isl_map_get_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type)
Definition isl_map.c:825
isl_map_has_tuple_name
isl_bool isl_map_has_tuple_name(__isl_keep isl_map *map, enum isl_dim_type type)
Definition isl_map.c:737
isl_map_lower_bound_val
__isl_give isl_map * isl_map_lower_bound_val(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, __isl_take isl_val *value)
Definition isl_map.c:7519
isl_basic_map_range
__isl_give isl_basic_set * isl_basic_map_range(__isl_take isl_basic_map *bmap)
Definition isl_map.c:6635
isl_basic_map_domain_product
__isl_give isl_basic_map * isl_basic_map_domain_product(__isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
Definition isl_map.c:11439
isl_basic_map_lexmax
__isl_export __isl_give isl_map * isl_basic_map_lexmax(__isl_take isl_basic_map *bmap)
Definition isl_map.c:8029
isl_map_project_out_param_id
__isl_overload __isl_give isl_map * isl_map_project_out_param_id(__isl_take isl_map *map, __isl_take isl_id *id)
isl_map_is_subset
__isl_export isl_bool isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
Definition isl_map_subtract.c:877
isl_map_is_product
isl_bool isl_map_is_product(__isl_keep isl_map *map)
Definition isl_map.c:12853
isl_basic_map_universe
__isl_give isl_basic_map * isl_basic_map_universe(__isl_take isl_space *space)
Definition isl_map.c:6902
isl_map_from_multi_aff
__isl_give isl_map * isl_map_from_multi_aff(__isl_take isl_multi_aff *maff)
Definition isl_aff_map.c:224
map_type.h
space_type.h
isl_dim_type
isl_dim_type
Definition space_type.h:13
stride_info.h
isl_aff
Definition isl_aff_private.h:17
isl_basic_map
Definition isl_map_private.h:37
isl_ctx
Definition isl_ctx_private.h:11
isl_fixed_box
Definition isl_box.c:29
isl_id
Definition isl_id_private.h:21
isl_local_space
Definition isl_local_space_private.h:8
isl_map
Definition isl_map_private.h:97
isl_mat
Definition isl_mat_private.h:7
isl_printer
Definition isl_printer_private.h:26
isl_pw_aff
Definition isl_aff_private.h:34
isl_pw_multi_aff
Definition isl_aff_private.h:60
isl_space
Definition isl_space_private.h:10
isl_stride_info
Definition isl_stride.c:20
isl_val
Definition isl_val_private.h:17
params
static Kind params
Definition template_cpp.cc:987
range
static Signature range
Definition template_cpp.cc:603
domain
static Signature domain
Definition template_cpp.cc:602
val_type.h
n
n
Definition youcefn.c:8
Generated on for Polly by doxygen 1.14.0