1#ifndef ISL_UNION_SET_H
2#define ISL_UNION_SET_H
3
4#include <isl/point.h>
5#include <isl/union_map.h>
6
7#if defined(__cplusplus)
8extern "C" {
9#endif
10
11isl_size isl_union_set_dim(__isl_keep isl_union_set *uset,
12 enum isl_dim_type type);
13
14__isl_constructor
15__isl_give isl_union_set *isl_union_set_from_basic_set(
16 __isl_take isl_basic_set *bset);
17__isl_export
18__isl_give isl_union_set *isl_set_to_union_set(__isl_take isl_set *set);
19__isl_constructor
20__isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set);
21__isl_overload
22__isl_give isl_union_set *isl_union_set_empty_ctx(isl_ctx *ctx);
23__isl_give isl_union_set *isl_union_set_empty_space(
24 __isl_take isl_space *space);
25__isl_give isl_union_set *isl_union_set_empty(__isl_take isl_space *space);
26__isl_give isl_union_set *isl_union_set_copy(__isl_keep isl_union_set *uset);
27__isl_null isl_union_set *isl_union_set_free(__isl_take isl_union_set *uset);
28
29isl_ctx *isl_union_set_get_ctx(__isl_keep isl_union_set *uset);
30__isl_export
31__isl_give isl_space *isl_union_set_get_space(__isl_keep isl_union_set *uset);
32
33__isl_give isl_union_set *isl_union_set_reset_user(
34 __isl_take isl_union_set *uset);
35
36__isl_export
37__isl_give isl_union_set *isl_union_set_universe(
38 __isl_take isl_union_set *uset);
39__isl_give isl_set *isl_union_set_params(__isl_take isl_union_set *uset);
40
41__isl_export
42__isl_give isl_union_set *isl_union_set_detect_equalities(
43 __isl_take isl_union_set *uset);
44__isl_export
45__isl_give isl_union_set *isl_union_set_affine_hull(
46 __isl_take isl_union_set *uset);
47__isl_export
48__isl_give isl_union_set *isl_union_set_polyhedral_hull(
49 __isl_take isl_union_set *uset);
50__isl_give isl_union_set *isl_union_set_remove_redundancies(
51 __isl_take isl_union_set *uset);
52__isl_give isl_union_set *isl_union_set_simple_hull(
53 __isl_take isl_union_set *uset);
54__isl_export
55__isl_give isl_union_set *isl_union_set_coalesce(
56 __isl_take isl_union_set *uset);
57__isl_export
58__isl_give isl_union_set *isl_union_set_compute_divs(
59 __isl_take isl_union_set *uset);
60__isl_export
61__isl_give isl_union_set *isl_union_set_lexmin(__isl_take isl_union_set *uset);
62__isl_export
63__isl_give isl_union_set *isl_union_set_lexmax(__isl_take isl_union_set *uset);
64
65__isl_give isl_union_set *isl_union_set_add_set(__isl_take isl_union_set *uset,
66 __isl_take isl_set *set);
67__isl_export
68__isl_give isl_union_set *isl_union_set_union(__isl_take isl_union_set *uset1,
69 __isl_take isl_union_set *uset2);
70__isl_export
71__isl_give isl_union_set *isl_union_set_subtract(
72 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
73__isl_export
74__isl_give isl_union_set *isl_union_set_intersect(
75 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
76__isl_export
77__isl_give isl_union_set *isl_union_set_intersect_params(
78 __isl_take isl_union_set *uset, __isl_take isl_set *set);
79__isl_give isl_union_set *isl_union_set_product(__isl_take isl_union_set *uset1,
80 __isl_take isl_union_set *uset2);
81__isl_export
82__isl_give isl_union_set *isl_union_set_gist(__isl_take isl_union_set *uset,
83 __isl_take isl_union_set *context);
84__isl_export
85__isl_give isl_union_set *isl_union_set_gist_params(
86 __isl_take isl_union_set *uset, __isl_take isl_set *set);
87
88__isl_export
89__isl_give isl_union_set *isl_union_set_apply(
90 __isl_take isl_union_set *uset, __isl_take isl_union_map *umap);
91__isl_overload
92__isl_give isl_union_set *isl_union_set_preimage_multi_aff(
93 __isl_take isl_union_set *uset, __isl_take isl_multi_aff *ma);
94__isl_overload
95__isl_give isl_union_set *isl_union_set_preimage_pw_multi_aff(
96 __isl_take isl_union_set *uset, __isl_take isl_pw_multi_aff *pma);
97__isl_overload
98__isl_give isl_union_set *isl_union_set_preimage_union_pw_multi_aff(
99 __isl_take isl_union_set *uset,
100 __isl_take isl_union_pw_multi_aff *upma);
101
102__isl_give isl_union_set *isl_union_set_project_out(
103 __isl_take isl_union_set *uset,
104 enum isl_dim_type type, unsigned first, unsigned n);
105__isl_give isl_union_set *isl_union_set_project_out_all_params(
106 __isl_take isl_union_set *uset);
107__isl_give isl_union_set *isl_union_set_remove_divs(
108 __isl_take isl_union_set *bset);
109
110isl_bool isl_union_set_is_params(__isl_keep isl_union_set *uset);
111__isl_export
112isl_bool isl_union_set_is_empty(__isl_keep isl_union_set *uset);
113
114__isl_export
115isl_bool isl_union_set_is_subset(__isl_keep isl_union_set *uset1,
116 __isl_keep isl_union_set *uset2);
117__isl_export
118isl_bool isl_union_set_is_equal(__isl_keep isl_union_set *uset1,
119 __isl_keep isl_union_set *uset2);
120__isl_export
121isl_bool isl_union_set_is_disjoint(__isl_keep isl_union_set *uset1,
122 __isl_keep isl_union_set *uset2);
123__isl_export
124isl_bool isl_union_set_is_strict_subset(__isl_keep isl_union_set *uset1,
125 __isl_keep isl_union_set *uset2);
126
127uint32_t isl_union_set_get_hash(__isl_keep isl_union_set *uset);
128
129isl_size isl_union_set_n_set(__isl_keep isl_union_set *uset);
130__isl_export
131isl_stat isl_union_set_foreach_set(__isl_keep isl_union_set *uset,
132 isl_stat (*fn)(__isl_take isl_set *set, void *user), void *user);
133__isl_export
134isl_bool isl_union_set_every_set(__isl_keep isl_union_set *uset,
135 isl_bool (*test)(__isl_keep isl_set *set, void *user), void *user);
136__isl_give isl_basic_set_list *isl_union_set_get_basic_set_list(
137 __isl_keep isl_union_set *uset);
138__isl_export
139__isl_give isl_set_list *isl_union_set_get_set_list(
140 __isl_keep isl_union_set *uset);
141isl_bool isl_union_set_contains(__isl_keep isl_union_set *uset,
142 __isl_keep isl_space *space);
143__isl_export
144__isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *uset,
145 __isl_take isl_space *space);
146__isl_export
147isl_bool isl_union_set_isa_set(__isl_keep isl_union_set *uset);
148__isl_export
149__isl_give isl_set *isl_union_set_as_set(__isl_take isl_union_set *uset);
150__isl_give isl_set *isl_set_from_union_set(__isl_take isl_union_set *uset);
151__isl_export
152isl_stat isl_union_set_foreach_point(__isl_keep isl_union_set *uset,
153 isl_stat (*fn)(__isl_take isl_point *pnt, void *user), void *user);
154
155__isl_give isl_basic_set *isl_union_set_sample(__isl_take isl_union_set *uset);
156__isl_export
157__isl_give isl_point *isl_union_set_sample_point(
158 __isl_take isl_union_set *uset);
159
160__isl_constructor
161__isl_give isl_union_set *isl_union_set_from_point(__isl_take isl_point *pnt);
162
163__isl_give isl_union_set *isl_union_set_lift(__isl_take isl_union_set *uset);
164
165__isl_give isl_union_map *isl_union_set_lex_lt_union_set(
166 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
167__isl_give isl_union_map *isl_union_set_lex_le_union_set(
168 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
169__isl_give isl_union_map *isl_union_set_lex_gt_union_set(
170 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
171__isl_give isl_union_map *isl_union_set_lex_ge_union_set(
172 __isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2);
173
174__isl_give isl_union_set *isl_union_set_coefficients(
175 __isl_take isl_union_set *bset);
176__isl_give isl_union_set *isl_union_set_solutions(
177 __isl_take isl_union_set *bset);
178
179__isl_give isl_union_set *isl_union_set_read_from_file(isl_ctx *ctx,
180 FILE *input);
181__isl_constructor
182__isl_give isl_union_set *isl_union_set_read_from_str(isl_ctx *ctx,
183 const char *str);
184__isl_give char *isl_union_set_to_str(__isl_keep isl_union_set *uset);
185__isl_give isl_printer *isl_printer_print_union_set(__isl_take isl_printer *p,
186 __isl_keep isl_union_set *uset);
187void isl_union_set_dump(__isl_keep isl_union_set *uset);
188
189ISL_DECLARE_EXPORTED_LIST_FN(union_set)
190ISL_DECLARE_EXPORTED_LIST_FN_READ(union_set)
191
192__isl_give isl_union_set *isl_union_set_list_union(
193 __isl_take isl_union_set_list *list);
194
195#if defined(__cplusplus)
196}
197#endif
198
199#endif
200

source code of polly/lib/External/isl/include/isl/union_set.h