1 #ifndef ISL_UNION_MAP_H
2 #define ISL_UNION_MAP_H
5 #include <isl/map_type.h>
6 #include <isl/printer.h>
8 #if defined(__cplusplus)
14 typedef struct isl_union_map isl_union_map;
18 typedef struct isl_union_set isl_union_set;
22 __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map);
23 __isl_give isl_union_map *isl_union_map_empty(__isl_take isl_space *dim);
24 __isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap);
25 void *isl_union_map_free(__isl_take isl_union_map *umap);
27 isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap);
28 __isl_give isl_space *isl_union_map_get_space(__isl_keep isl_union_map *umap);
30 __isl_give isl_union_map *isl_union_map_universe(
31 __isl_take isl_union_map *umap);
32 __isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *umap);
33 __isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *umap);
34 __isl_give isl_union_map *isl_union_map_domain_map(
35 __isl_take isl_union_map *umap);
36 __isl_give isl_union_map *isl_union_map_range_map(
37 __isl_take isl_union_map *umap);
38 __isl_give isl_union_map *isl_union_map_from_domain(
39 __isl_take isl_union_set *uset);
40 __isl_give isl_union_map *isl_union_map_from_range(
41 __isl_take isl_union_set *uset);
44 __isl_give isl_union_map *isl_union_map_affine_hull(
45 __isl_take isl_union_map *umap);
47 __isl_give isl_union_map *isl_union_map_polyhedral_hull(
48 __isl_take isl_union_map *umap);
49 __isl_give isl_union_map *isl_union_map_simple_hull(
50 __isl_take isl_union_map *umap);
52 __isl_give isl_union_map *isl_union_map_coalesce(
53 __isl_take isl_union_map *umap);
54 __isl_give isl_union_map *isl_union_map_compute_divs(
55 __isl_take isl_union_map *umap);
57 __isl_give isl_union_map *isl_union_map_lexmin(__isl_take isl_union_map *umap);
59 __isl_give isl_union_map *isl_union_map_lexmax(__isl_take isl_union_map *umap);
61 __isl_give isl_union_map *isl_union_map_add_map(__isl_take isl_union_map *umap,
62 __isl_take isl_map *map);
64 __isl_give isl_union_map *isl_union_map_union(__isl_take isl_union_map *umap1,
65 __isl_take isl_union_map *umap2);
67 __isl_give isl_union_map *isl_union_map_subtract(
68 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
70 __isl_give isl_union_map *isl_union_map_intersect(
71 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
72 __isl_give isl_union_map *isl_union_map_product(__isl_take isl_union_map *umap1,
73 __isl_take isl_union_map *umap2);
74 __isl_give isl_union_map *isl_union_map_range_product(
75 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
76 __isl_give isl_union_map *isl_union_map_flat_range_product(
77 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
79 __isl_give isl_union_map *isl_union_map_gist(__isl_take isl_union_map *umap,
80 __isl_take isl_union_map *context);
83 __isl_give isl_union_map *isl_union_map_intersect_domain(
84 __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
86 __isl_give isl_union_map *isl_union_map_intersect_range(
87 __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
90 __isl_give isl_union_map *isl_union_map_apply_domain(
91 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
93 __isl_give isl_union_map *isl_union_map_apply_range(
94 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
96 __isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *umap);
97 __isl_give isl_union_map *isl_union_map_from_domain_and_range(
98 __isl_take isl_union_set *domain, __isl_take isl_union_set *range);
101 __isl_give isl_union_map *isl_union_map_detect_equalities(
102 __isl_keep isl_union_map *umap);
104 __isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *umap);
105 __isl_give isl_union_map *isl_union_map_deltas_map(
106 __isl_take isl_union_map *umap);
108 __isl_give isl_union_map *isl_union_set_identity(__isl_take isl_union_set *uset);
111 int isl_union_map_is_empty(__isl_keep isl_union_map *umap);
113 int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap);
114 int isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap);
116 int isl_union_map_is_injective(__isl_keep isl_union_map *umap);
118 int isl_union_map_is_bijective(__isl_keep isl_union_map *umap);
121 int isl_union_map_is_subset(__isl_keep isl_union_map *umap1,
122 __isl_keep isl_union_map *umap2);
124 int isl_union_map_is_equal(__isl_keep isl_union_map *umap1,
125 __isl_keep isl_union_map *umap2);
127 int isl_union_map_is_strict_subset(__isl_keep isl_union_map *umap1,
128 __isl_keep isl_union_map *umap2);
130 int isl_union_map_n_map(__isl_keep isl_union_map *umap);
132 int isl_union_map_foreach_map(__isl_keep isl_union_map *umap,
133 int (*fn)(__isl_take isl_map *map, void *user), void *user);
134 __isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap,
135 __isl_keep isl_space *dim);
136 __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *umap,
137 __isl_take isl_space *dim);
138 __isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap);
140 __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *umap);
142 __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *umap,
144 __isl_give isl_union_map *isl_union_map_transitive_closure(
145 __isl_take isl_union_map *umap, int *exact);
147 __isl_give isl_union_map *isl_union_map_lex_lt_union_map(
148 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
149 __isl_give isl_union_map *isl_union_map_lex_le_union_map(
150 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
151 __isl_give isl_union_map *isl_union_map_lex_gt_union_map(
152 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
153 __isl_give isl_union_map *isl_union_map_lex_ge_union_map(
154 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
156 __isl_give isl_union_map *isl_union_map_read_from_file(isl_ctx *ctx,
159 __isl_give isl_union_map *isl_union_map_read_from_str(isl_ctx *ctx,
161 __isl_give isl_printer *isl_printer_print_union_map(__isl_take isl_printer *p,
162 __isl_keep isl_union_map *umap);
163 void isl_union_map_dump(__isl_keep isl_union_map *umap);
165 __isl_give isl_union_set *isl_union_map_wrap(__isl_take isl_union_map *umap);
166 __isl_give isl_union_map *isl_union_set_unwrap(__isl_take isl_union_set *uset);
168 __isl_give isl_union_map *isl_union_map_zip(__isl_take isl_union_map *umap);
170 __isl_give isl_union_map *isl_union_map_align_params(
171 __isl_take isl_union_map *umap, __isl_take isl_space *model);
172 __isl_give isl_union_set *isl_union_set_align_params(
173 __isl_take isl_union_set *uset, __isl_take isl_space *model);
175 #if defined(__cplusplus)