1 #ifndef ISL_UNION_MAP_H
2 #define ISL_UNION_MAP_H
5 #include <isl/map_type.h>
6 #include <isl/union_map_type.h>
7 #include <isl/printer.h>
9 #if defined(__cplusplus)
14 __isl_give isl_union_map
*isl_union_map_from_map(__isl_take isl_map
*map
);
15 __isl_give isl_union_map
*isl_union_map_empty(__isl_take isl_space
*dim
);
16 __isl_give isl_union_map
*isl_union_map_copy(__isl_keep isl_union_map
*umap
);
17 void *isl_union_map_free(__isl_take isl_union_map
*umap
);
19 isl_ctx
*isl_union_map_get_ctx(__isl_keep isl_union_map
*umap
);
20 __isl_give isl_space
*isl_union_map_get_space(__isl_keep isl_union_map
*umap
);
22 __isl_give isl_union_map
*isl_union_map_universe(
23 __isl_take isl_union_map
*umap
);
24 __isl_give isl_set
*isl_union_map_params(__isl_take isl_union_map
*umap
);
25 __isl_give isl_union_set
*isl_union_map_domain(__isl_take isl_union_map
*umap
);
26 __isl_give isl_union_set
*isl_union_map_range(__isl_take isl_union_map
*umap
);
27 __isl_give isl_union_map
*isl_union_map_domain_map(
28 __isl_take isl_union_map
*umap
);
29 __isl_give isl_union_map
*isl_union_map_range_map(
30 __isl_take isl_union_map
*umap
);
31 __isl_give isl_union_map
*isl_union_map_from_domain(
32 __isl_take isl_union_set
*uset
);
33 __isl_give isl_union_map
*isl_union_map_from_range(
34 __isl_take isl_union_set
*uset
);
37 __isl_give isl_union_map
*isl_union_map_affine_hull(
38 __isl_take isl_union_map
*umap
);
40 __isl_give isl_union_map
*isl_union_map_polyhedral_hull(
41 __isl_take isl_union_map
*umap
);
42 __isl_give isl_union_map
*isl_union_map_simple_hull(
43 __isl_take isl_union_map
*umap
);
45 __isl_give isl_union_map
*isl_union_map_coalesce(
46 __isl_take isl_union_map
*umap
);
47 __isl_give isl_union_map
*isl_union_map_compute_divs(
48 __isl_take isl_union_map
*umap
);
50 __isl_give isl_union_map
*isl_union_map_lexmin(__isl_take isl_union_map
*umap
);
52 __isl_give isl_union_map
*isl_union_map_lexmax(__isl_take isl_union_map
*umap
);
54 __isl_give isl_union_map
*isl_union_map_add_map(__isl_take isl_union_map
*umap
,
55 __isl_take isl_map
*map
);
57 __isl_give isl_union_map
*isl_union_map_union(__isl_take isl_union_map
*umap1
,
58 __isl_take isl_union_map
*umap2
);
60 __isl_give isl_union_map
*isl_union_map_subtract(
61 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
63 __isl_give isl_union_map
*isl_union_map_intersect(
64 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
66 __isl_give isl_union_map
*isl_union_map_intersect_params(
67 __isl_take isl_union_map
*umap
, __isl_take isl_set
*set
);
68 __isl_give isl_union_map
*isl_union_map_product(__isl_take isl_union_map
*umap1
,
69 __isl_take isl_union_map
*umap2
);
70 __isl_give isl_union_map
*isl_union_map_range_product(
71 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
72 __isl_give isl_union_map
*isl_union_map_flat_range_product(
73 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
75 __isl_give isl_union_map
*isl_union_map_gist(__isl_take isl_union_map
*umap
,
76 __isl_take isl_union_map
*context
);
78 __isl_give isl_union_map
*isl_union_map_gist_params(
79 __isl_take isl_union_map
*umap
, __isl_take isl_set
*set
);
81 __isl_give isl_union_map
*isl_union_map_gist_domain(
82 __isl_take isl_union_map
*umap
, __isl_take isl_union_set
*uset
);
84 __isl_give isl_union_map
*isl_union_map_gist_range(
85 __isl_take isl_union_map
*umap
, __isl_take isl_union_set
*uset
);
88 __isl_give isl_union_map
*isl_union_map_intersect_domain(
89 __isl_take isl_union_map
*umap
, __isl_take isl_union_set
*uset
);
91 __isl_give isl_union_map
*isl_union_map_intersect_range(
92 __isl_take isl_union_map
*umap
, __isl_take isl_union_set
*uset
);
95 __isl_give isl_union_map
*isl_union_map_apply_domain(
96 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
98 __isl_give isl_union_map
*isl_union_map_apply_range(
99 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
101 __isl_give isl_union_map
*isl_union_map_reverse(__isl_take isl_union_map
*umap
);
102 __isl_give isl_union_map
*isl_union_map_from_domain_and_range(
103 __isl_take isl_union_set
*domain
, __isl_take isl_union_set
*range
);
106 __isl_give isl_union_map
*isl_union_map_detect_equalities(
107 __isl_keep isl_union_map
*umap
);
109 __isl_give isl_union_set
*isl_union_map_deltas(__isl_take isl_union_map
*umap
);
110 __isl_give isl_union_map
*isl_union_map_deltas_map(
111 __isl_take isl_union_map
*umap
);
113 __isl_give isl_union_map
*isl_union_set_identity(__isl_take isl_union_set
*uset
);
116 int isl_union_map_is_empty(__isl_keep isl_union_map
*umap
);
118 int isl_union_map_is_single_valued(__isl_keep isl_union_map
*umap
);
119 int isl_union_map_plain_is_injective(__isl_keep isl_union_map
*umap
);
121 int isl_union_map_is_injective(__isl_keep isl_union_map
*umap
);
123 int isl_union_map_is_bijective(__isl_keep isl_union_map
*umap
);
126 int isl_union_map_is_subset(__isl_keep isl_union_map
*umap1
,
127 __isl_keep isl_union_map
*umap2
);
129 int isl_union_map_is_equal(__isl_keep isl_union_map
*umap1
,
130 __isl_keep isl_union_map
*umap2
);
132 int isl_union_map_is_strict_subset(__isl_keep isl_union_map
*umap1
,
133 __isl_keep isl_union_map
*umap2
);
135 int isl_union_map_n_map(__isl_keep isl_union_map
*umap
);
137 int isl_union_map_foreach_map(__isl_keep isl_union_map
*umap
,
138 int (*fn
)(__isl_take isl_map
*map
, void *user
), void *user
);
139 __isl_give
int isl_union_map_contains(__isl_keep isl_union_map
*umap
,
140 __isl_keep isl_space
*dim
);
141 __isl_give isl_map
*isl_union_map_extract_map(__isl_keep isl_union_map
*umap
,
142 __isl_take isl_space
*dim
);
143 __isl_give isl_map
*isl_map_from_union_map(__isl_take isl_union_map
*umap
);
145 __isl_give isl_basic_map
*isl_union_map_sample(__isl_take isl_union_map
*umap
);
147 __isl_give isl_union_map
*isl_union_map_fixed_power(
148 __isl_take isl_union_map
*umap
, isl_int exp
);
149 __isl_give isl_union_map
*isl_union_map_power(__isl_take isl_union_map
*umap
,
151 __isl_give isl_union_map
*isl_union_map_transitive_closure(
152 __isl_take isl_union_map
*umap
, int *exact
);
154 __isl_give isl_union_map
*isl_union_map_lex_lt_union_map(
155 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
156 __isl_give isl_union_map
*isl_union_map_lex_le_union_map(
157 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
158 __isl_give isl_union_map
*isl_union_map_lex_gt_union_map(
159 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
160 __isl_give isl_union_map
*isl_union_map_lex_ge_union_map(
161 __isl_take isl_union_map
*umap1
, __isl_take isl_union_map
*umap2
);
163 __isl_give isl_union_map
*isl_union_map_read_from_file(isl_ctx
*ctx
,
166 __isl_give isl_union_map
*isl_union_map_read_from_str(isl_ctx
*ctx
,
168 __isl_give isl_printer
*isl_printer_print_union_map(__isl_take isl_printer
*p
,
169 __isl_keep isl_union_map
*umap
);
170 void isl_union_map_dump(__isl_keep isl_union_map
*umap
);
172 __isl_give isl_union_set
*isl_union_map_wrap(__isl_take isl_union_map
*umap
);
173 __isl_give isl_union_map
*isl_union_set_unwrap(__isl_take isl_union_set
*uset
);
175 __isl_give isl_union_map
*isl_union_map_zip(__isl_take isl_union_map
*umap
);
177 __isl_give isl_union_map
*isl_union_map_align_params(
178 __isl_take isl_union_map
*umap
, __isl_take isl_space
*model
);
179 __isl_give isl_union_set
*isl_union_set_align_params(
180 __isl_take isl_union_set
*uset
, __isl_take isl_space
*model
);
182 #if defined(__cplusplus)