1 #ifndef ISL_UNION_MAP_H
2 #define ISL_UNION_MAP_H
6 #include <isl/printer.h>
8 #if defined(__cplusplus)
13 typedef struct isl_union_map isl_union_map;
16 typedef struct isl_union_set isl_union_set;
19 __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map);
20 __isl_give isl_union_map *isl_union_map_empty(__isl_take isl_dim *dim);
21 __isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap);
22 void isl_union_map_free(__isl_take isl_union_map *umap);
24 isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap);
25 __isl_give isl_dim *isl_union_map_get_dim(__isl_keep isl_union_map *umap);
27 __isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *umap);
28 __isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *umap);
29 __isl_give isl_union_map *isl_union_map_domain_map(
30 __isl_take isl_union_map *umap);
31 __isl_give isl_union_map *isl_union_map_range_map(
32 __isl_take isl_union_map *umap);
33 __isl_give isl_union_map *isl_union_map_from_domain(
34 __isl_take isl_union_set *uset);
35 __isl_give isl_union_map *isl_union_map_from_range(
36 __isl_take isl_union_set *uset);
38 __isl_give isl_union_map *isl_union_map_affine_hull(
39 __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);
44 __isl_give isl_union_map *isl_union_map_coalesce(
45 __isl_take isl_union_map *umap);
46 __isl_give isl_union_map *isl_union_map_compute_divs(
47 __isl_take isl_union_map *umap);
48 __isl_give isl_union_map *isl_union_map_lexmin(__isl_take isl_union_map *umap);
49 __isl_give isl_union_map *isl_union_map_lexmax(__isl_take isl_union_map *umap);
51 __isl_give isl_union_map *isl_union_map_add_map(__isl_take isl_union_map *umap,
52 __isl_take isl_map *map);
53 __isl_give isl_union_map *isl_union_map_union(__isl_take isl_union_map *umap1,
54 __isl_take isl_union_map *umap2);
55 __isl_give isl_union_map *isl_union_map_subtract(
56 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
57 __isl_give isl_union_map *isl_union_map_intersect(
58 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
59 __isl_give isl_union_map *isl_union_map_product(__isl_take isl_union_map *umap1,
60 __isl_take isl_union_map *umap2);
61 __isl_give isl_union_map *isl_union_map_range_product(
62 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
63 __isl_give isl_union_map *isl_union_map_gist(__isl_take isl_union_map *umap,
64 __isl_take isl_union_map *context);
66 __isl_give isl_union_map *isl_union_map_intersect_domain(
67 __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
68 __isl_give isl_union_map *isl_union_map_intersect_range(
69 __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
71 __isl_give isl_union_map *isl_union_map_apply_domain(
72 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
73 __isl_give isl_union_map *isl_union_map_apply_range(
74 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
75 __isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *umap);
76 __isl_give isl_union_map *isl_union_map_from_domain_and_range(
77 __isl_take isl_union_set *domain, __isl_take isl_union_set *range);
79 __isl_give isl_union_map *isl_union_map_detect_equalities(
80 __isl_keep isl_union_map *umap);
81 __isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *umap);
82 __isl_give isl_union_map *isl_union_map_deltas_map(
83 __isl_take isl_union_map *umap);
84 __isl_give isl_union_map *isl_union_set_identity(__isl_take isl_union_set *uset);
86 int isl_union_map_is_empty(__isl_keep isl_union_map *umap);
87 int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap);
88 int isl_union_map_is_injective(__isl_keep isl_union_map *umap);
89 int isl_union_map_is_bijective(__isl_keep isl_union_map *umap);
91 int isl_union_map_is_subset(__isl_keep isl_union_map *umap1,
92 __isl_keep isl_union_map *umap2);
93 int isl_union_map_is_equal(__isl_keep isl_union_map *umap1,
94 __isl_keep isl_union_map *umap2);
95 int isl_union_map_is_strict_subset(__isl_keep isl_union_map *umap1,
96 __isl_keep isl_union_map *umap2);
98 int isl_union_map_n_map(__isl_keep isl_union_map *umap);
99 int isl_union_map_foreach_map(__isl_keep isl_union_map *umap,
100 int (*fn)(__isl_take isl_map *map, void *user), void *user);
101 __isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap,
102 __isl_keep isl_dim *dim);
103 __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *umap,
104 __isl_take isl_dim *dim);
105 __isl_give isl_map *isl_union_map_copy_map(__isl_keep isl_union_map *umap);
107 __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *umap);
109 __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *umap,
111 __isl_give isl_union_map *isl_union_map_transitive_closure(
112 __isl_take isl_union_map *umap, int *exact);
114 __isl_give isl_union_map *isl_union_map_lex_lt_union_map(
115 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
116 __isl_give isl_union_map *isl_union_map_lex_le_union_map(
117 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
118 __isl_give isl_union_map *isl_union_map_lex_gt_union_map(
119 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
120 __isl_give isl_union_map *isl_union_map_lex_ge_union_map(
121 __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
123 __isl_give isl_union_map *isl_union_map_read_from_file(isl_ctx *ctx,
125 __isl_give isl_union_map *isl_union_map_read_from_str(struct isl_ctx *ctx,
127 __isl_give isl_printer *isl_printer_print_union_map(__isl_take isl_printer *p,
128 __isl_keep isl_union_map *umap);
129 void isl_union_map_dump(__isl_keep isl_union_map *umap);
131 __isl_give isl_union_set *isl_union_map_wrap(__isl_take isl_union_map *umap);
132 __isl_give isl_union_map *isl_union_set_unwrap(__isl_take isl_union_set *uset);
134 __isl_give isl_union_map *isl_union_map_zip(__isl_take isl_union_map *umap);
136 __isl_give isl_union_map *isl_union_map_align_params(
137 __isl_take isl_union_map *umap, __isl_take isl_dim *model);
138 __isl_give isl_union_set *isl_union_set_align_params(
139 __isl_take isl_union_set *uset, __isl_take isl_dim *model);
141 #if defined(__cplusplus)