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_SET_H 11 #define ISL_SET_H 12 13 #include <isl/map_type.h> 14 #include <isl/aff_type.h> 15 #include <isl/list.h> 16 #include <isl/mat.h> 17 #include <isl/point.h> 18 #include <isl/local_space.h> 19 20 #if defined(__cplusplus) 21 extern "C" { 22 #endif 23 24 unsigned isl_basic_set_n_dim(__isl_keep isl_basic_set *bset); 25 unsigned isl_basic_set_n_param(__isl_keep isl_basic_set *bset); 26 unsigned isl_basic_set_total_dim(const struct isl_basic_set *bset); 27 unsigned isl_basic_set_dim(__isl_keep isl_basic_set *bset, 28 enum isl_dim_type type); 29 30 unsigned isl_set_n_dim(__isl_keep isl_set *set); 31 unsigned isl_set_n_param(__isl_keep isl_set *set); 32 unsigned isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type); 33 34 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset); 35 isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set); 36 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset); 37 __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set); 38 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set, 39 __isl_take isl_space *dim); 40 41 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset, 42 int pos); 43 44 __isl_give isl_local_space *isl_basic_set_get_local_space( 45 __isl_keep isl_basic_set *bset); 46 47 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset); 48 int isl_set_has_tuple_name(__isl_keep isl_set *set); 49 const char *isl_set_get_tuple_name(__isl_keep isl_set *set); 50 __isl_give isl_basic_set *isl_basic_set_set_tuple_name( 51 __isl_take isl_basic_set *set, const char *s); 52 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set, 53 const char *s); 54 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset, 55 enum isl_dim_type type, unsigned pos); 56 __isl_give isl_basic_set *isl_basic_set_set_dim_name( 57 __isl_take isl_basic_set *bset, 58 enum isl_dim_type type, unsigned pos, const char *s); 59 int isl_set_has_dim_name(__isl_keep isl_set *set, 60 enum isl_dim_type type, unsigned pos); 61 const char *isl_set_get_dim_name(__isl_keep isl_set *set, 62 enum isl_dim_type type, unsigned pos); 63 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set, 64 enum isl_dim_type type, unsigned pos, const char *s); 65 66 __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset, 67 enum isl_dim_type type, unsigned pos); 68 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set, 69 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); 70 int isl_set_has_dim_id(__isl_keep isl_set *set, 71 enum isl_dim_type type, unsigned pos); 72 __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set, 73 enum isl_dim_type type, unsigned pos); 74 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set, 75 __isl_take isl_id *id); 76 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set); 77 int isl_set_has_tuple_id(__isl_keep isl_set *set); 78 __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set); 79 80 int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type, 81 __isl_keep isl_id *id); 82 int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type type, 83 const char *name); 84 85 int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset); 86 87 struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx, 88 unsigned nparam, unsigned dim, unsigned extra, 89 unsigned n_eq, unsigned n_ineq); 90 struct isl_basic_set *isl_basic_set_extend(struct isl_basic_set *base, 91 unsigned nparam, unsigned dim, unsigned extra, 92 unsigned n_eq, unsigned n_ineq); 93 struct isl_basic_set *isl_basic_set_extend_constraints( 94 struct isl_basic_set *base, unsigned n_eq, unsigned n_ineq); 95 struct isl_basic_set *isl_basic_set_finalize(struct isl_basic_set *bset); 96 void *isl_basic_set_free(__isl_take isl_basic_set *bset); 97 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset); 98 struct isl_basic_set *isl_basic_set_dup(struct isl_basic_set *bset); 99 __isl_give isl_basic_set *isl_basic_set_empty(__isl_take isl_space *dim); 100 struct isl_basic_set *isl_basic_set_empty_like(struct isl_basic_set *bset); 101 __isl_give isl_basic_set *isl_basic_set_universe(__isl_take isl_space *dim); 102 __isl_give isl_basic_set *isl_basic_set_nat_universe(__isl_take isl_space *dim); 103 struct isl_basic_set *isl_basic_set_universe_like(struct isl_basic_set *bset); 104 __isl_give isl_basic_set *isl_basic_set_universe_like_set( 105 __isl_keep isl_set *model); 106 struct isl_basic_set *isl_basic_set_interval(struct isl_ctx *ctx, 107 isl_int min, isl_int max); 108 __isl_give isl_basic_set *isl_basic_set_positive_orthant( 109 __isl_take isl_space *space); 110 void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset, 111 FILE *out, int indent); 112 __isl_export 113 __isl_give isl_basic_set *isl_basic_set_intersect( 114 __isl_take isl_basic_set *bset1, 115 __isl_take isl_basic_set *bset2); 116 __isl_export 117 __isl_give isl_basic_set *isl_basic_set_intersect_params( 118 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2); 119 __isl_export 120 __isl_give isl_basic_set *isl_basic_set_apply( 121 __isl_take isl_basic_set *bset, 122 __isl_take isl_basic_map *bmap); 123 __isl_give isl_basic_set *isl_basic_set_preimage_multi_aff( 124 __isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma); 125 __isl_export 126 __isl_give isl_basic_set *isl_basic_set_affine_hull( 127 __isl_take isl_basic_set *bset); 128 __isl_give isl_basic_set *isl_basic_set_remove_dims( 129 __isl_take isl_basic_set *bset, 130 enum isl_dim_type type, unsigned first, unsigned n); 131 __isl_export 132 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset); 133 struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset); 134 __isl_export 135 __isl_give isl_basic_set *isl_basic_set_detect_equalities( 136 __isl_take isl_basic_set *bset); 137 __isl_give isl_basic_set *isl_basic_set_remove_redundancies( 138 __isl_take isl_basic_set *bset); 139 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set); 140 __isl_give isl_basic_set *isl_basic_set_list_product( 141 __isl_take struct isl_basic_set_list *list); 142 143 __isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx, 144 FILE *input); 145 __isl_constructor 146 __isl_give isl_basic_set *isl_basic_set_read_from_str(isl_ctx *ctx, 147 const char *str); 148 __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, FILE *input); 149 __isl_constructor 150 __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, const char *str); 151 void isl_basic_set_dump(__isl_keep isl_basic_set *bset); 152 void isl_set_dump(__isl_keep isl_set *set); 153 __isl_give isl_printer *isl_printer_print_basic_set( 154 __isl_take isl_printer *printer, __isl_keep isl_basic_set *bset); 155 __isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *printer, 156 __isl_keep isl_set *map); 157 void isl_basic_set_print(__isl_keep isl_basic_set *bset, FILE *out, int indent, 158 const char *prefix, const char *suffix, unsigned output_format); 159 void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent, 160 unsigned output_format); 161 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset, 162 enum isl_dim_type type, unsigned pos, isl_int value); 163 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset, 164 enum isl_dim_type type, unsigned pos, int value); 165 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set, 166 enum isl_dim_type type, unsigned pos, int value); 167 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set, 168 enum isl_dim_type type, unsigned pos, int value); 169 __isl_give isl_set *isl_set_lower_bound(__isl_take isl_set *set, 170 enum isl_dim_type type, unsigned pos, isl_int value); 171 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set, 172 enum isl_dim_type type, unsigned pos, int value); 173 __isl_give isl_set *isl_set_upper_bound(__isl_take isl_set *set, 174 enum isl_dim_type type, unsigned pos, isl_int value); 175 176 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set, 177 enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2); 178 179 struct isl_basic_set *isl_basic_set_from_underlying_set( 180 struct isl_basic_set *bset, struct isl_basic_set *like); 181 struct isl_set *isl_set_from_underlying_set( 182 struct isl_set *set, struct isl_basic_set *like); 183 struct isl_set *isl_set_to_underlying_set(struct isl_set *set); 184 185 __isl_export 186 int isl_basic_set_is_equal( 187 struct isl_basic_set *bset1, struct isl_basic_set *bset2); 188 189 __isl_give isl_set *isl_basic_set_partial_lexmin( 190 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, 191 __isl_give isl_set **empty); 192 __isl_give isl_set *isl_basic_set_partial_lexmax( 193 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, 194 __isl_give isl_set **empty); 195 __isl_give isl_set *isl_set_partial_lexmin( 196 __isl_take isl_set *set, __isl_take isl_set *dom, 197 __isl_give isl_set **empty); 198 __isl_give isl_set *isl_set_partial_lexmax( 199 __isl_take isl_set *set, __isl_take isl_set *dom, 200 __isl_give isl_set **empty); 201 __isl_export 202 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset); 203 __isl_export 204 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset); 205 __isl_export 206 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set); 207 __isl_export 208 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set); 209 __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmin_pw_multi_aff( 210 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, 211 __isl_give isl_set **empty); 212 __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmax_pw_multi_aff( 213 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, 214 __isl_give isl_set **empty); 215 216 __isl_export 217 __isl_give isl_set *isl_basic_set_union( 218 __isl_take isl_basic_set *bset1, 219 __isl_take isl_basic_set *bset2); 220 221 int isl_basic_set_compare_at(struct isl_basic_set *bset1, 222 struct isl_basic_set *bset2, int pos); 223 int isl_set_follows_at(__isl_keep isl_set *set1, 224 __isl_keep isl_set *set2, int pos); 225 226 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset); 227 __isl_give isl_basic_set *isl_basic_set_from_params( 228 __isl_take isl_basic_set *bset); 229 __isl_give isl_set *isl_set_params(__isl_take isl_set *set); 230 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set); 231 232 int isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset, 233 enum isl_dim_type type, unsigned pos, unsigned n, int *signs); 234 235 int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset); 236 int isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset); 237 int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset); 238 __isl_export 239 int isl_basic_set_is_empty(__isl_keep isl_basic_set *bset); 240 int isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset); 241 __isl_export 242 int isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1, 243 __isl_keep isl_basic_set *bset2); 244 245 struct isl_set *isl_set_alloc(struct isl_ctx *ctx, 246 unsigned nparam, unsigned dim, int n, unsigned flags); 247 struct isl_set *isl_set_extend(struct isl_set *base, 248 unsigned nparam, unsigned dim); 249 __isl_give isl_set *isl_set_empty(__isl_take isl_space *dim); 250 struct isl_set *isl_set_empty_like(struct isl_set *set); 251 __isl_give isl_set *isl_set_universe(__isl_take isl_space *dim); 252 __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *dim); 253 __isl_give isl_set *isl_set_universe_like(__isl_keep isl_set *model); 254 __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set, 255 __isl_take isl_basic_set *bset); 256 struct isl_set *isl_set_finalize(struct isl_set *set); 257 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set); 258 void *isl_set_free(__isl_take isl_set *set); 259 struct isl_set *isl_set_dup(struct isl_set *set); 260 __isl_constructor 261 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset); 262 __isl_export 263 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set); 264 __isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *bset); 265 __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set); 266 __isl_export 267 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set); 268 __isl_export 269 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set); 270 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set); 271 __isl_export 272 __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set); 273 __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set); 274 __isl_give isl_basic_set *isl_set_unshifted_simple_hull( 275 __isl_take isl_set *set); 276 struct isl_basic_set *isl_set_bounded_simple_hull(struct isl_set *set); 277 __isl_give isl_set *isl_set_recession_cone(__isl_take isl_set *set); 278 279 struct isl_set *isl_set_union_disjoint( 280 struct isl_set *set1, struct isl_set *set2); 281 __isl_export 282 __isl_give isl_set *isl_set_union( 283 __isl_take isl_set *set1, 284 __isl_take isl_set *set2); 285 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1, 286 __isl_take isl_set *set2); 287 __isl_give isl_basic_set *isl_basic_set_flat_product( 288 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2); 289 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1, 290 __isl_take isl_set *set2); 291 __isl_export 292 __isl_give isl_set *isl_set_intersect( 293 __isl_take isl_set *set1, 294 __isl_take isl_set *set2); 295 __isl_export 296 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set, 297 __isl_take isl_set *params); 298 __isl_export 299 __isl_give isl_set *isl_set_subtract( 300 __isl_take isl_set *set1, 301 __isl_take isl_set *set2); 302 __isl_export 303 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set); 304 __isl_export 305 __isl_give isl_set *isl_set_apply( 306 __isl_take isl_set *set, 307 __isl_take isl_map *map); 308 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set, 309 __isl_take isl_multi_aff *ma); 310 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set, 311 __isl_take isl_pw_multi_aff *pma); 312 __isl_give isl_set *isl_set_fix(__isl_take isl_set *set, 313 enum isl_dim_type type, unsigned pos, isl_int value); 314 struct isl_set *isl_set_fix_dim_si(struct isl_set *set, 315 unsigned dim, int value); 316 struct isl_set *isl_set_lower_bound_dim(struct isl_set *set, 317 unsigned dim, isl_int value); 318 __isl_give isl_basic_set *isl_basic_set_insert_dims( 319 __isl_take isl_basic_set *bset, 320 enum isl_dim_type type, unsigned pos, unsigned n); 321 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set, 322 enum isl_dim_type type, unsigned pos, unsigned n); 323 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset, 324 enum isl_dim_type type, unsigned n); 325 /* deprecated */ 326 __isl_give isl_basic_set *isl_basic_set_add(__isl_take isl_basic_set *bset, 327 enum isl_dim_type type, unsigned n); 328 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set, 329 enum isl_dim_type type, unsigned n); 330 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset, 331 enum isl_dim_type dst_type, unsigned dst_pos, 332 enum isl_dim_type src_type, unsigned src_pos, unsigned n); 333 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set, 334 enum isl_dim_type dst_type, unsigned dst_pos, 335 enum isl_dim_type src_type, unsigned src_pos, unsigned n); 336 __isl_give isl_basic_set *isl_basic_set_project_out( 337 __isl_take isl_basic_set *bset, 338 enum isl_dim_type type, unsigned first, unsigned n); 339 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, 340 enum isl_dim_type type, unsigned first, unsigned n); 341 __isl_give isl_basic_set *isl_basic_set_remove_divs( 342 __isl_take isl_basic_set *bset); 343 __isl_give isl_basic_set *isl_basic_set_eliminate( 344 __isl_take isl_basic_set *bset, 345 enum isl_dim_type type, unsigned first, unsigned n); 346 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set, 347 enum isl_dim_type type, unsigned first, unsigned n); 348 struct isl_set *isl_set_eliminate_dims(struct isl_set *set, 349 unsigned first, unsigned n); 350 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, 351 enum isl_dim_type type, unsigned first, unsigned n); 352 __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims( 353 __isl_take isl_basic_set *bset, 354 enum isl_dim_type type, unsigned first, unsigned n); 355 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set, 356 enum isl_dim_type type, unsigned first, unsigned n); 357 __isl_give isl_basic_set *isl_basic_set_remove_unknown_divs( 358 __isl_take isl_basic_set *bset); 359 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set); 360 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set); 361 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set, 362 enum isl_dim_type type, unsigned first, unsigned n); 363 364 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving_dims( 365 __isl_take isl_basic_set *bset, 366 enum isl_dim_type type, unsigned first, unsigned n); 367 __isl_give isl_basic_set *isl_basic_set_drop_constraints_not_involving_dims( 368 __isl_take isl_basic_set *bset, 369 enum isl_dim_type type, unsigned first, unsigned n); 370 __isl_give isl_set *isl_set_drop_constraints_involving_dims( 371 __isl_take isl_set *set, 372 enum isl_dim_type type, unsigned first, unsigned n); 373 374 int isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset, 375 enum isl_dim_type type, unsigned first, unsigned n); 376 int isl_set_involves_dims(__isl_keep isl_set *set, 377 enum isl_dim_type type, unsigned first, unsigned n); 378 379 void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent); 380 int isl_set_plain_is_empty(__isl_keep isl_set *set); 381 int isl_set_fast_is_empty(__isl_keep isl_set *set); 382 int isl_set_plain_is_universe(__isl_keep isl_set *set); 383 int isl_set_fast_is_universe(__isl_keep isl_set *set); 384 int isl_set_is_params(__isl_keep isl_set *set); 385 __isl_export 386 int isl_set_is_empty(__isl_keep isl_set *set); 387 int isl_set_is_bounded(__isl_keep isl_set *set); 388 __isl_export 389 int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 390 __isl_export 391 int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 392 __isl_export 393 int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 394 __isl_export 395 int isl_set_is_disjoint(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 396 int isl_set_is_singleton(__isl_keep isl_set *set); 397 int isl_set_is_box(__isl_keep isl_set *set); 398 int isl_set_has_equal_space(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 399 400 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1, 401 __isl_take isl_set *set2); 402 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset); 403 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set); 404 405 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set); 406 struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset); 407 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set); 408 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set); 409 410 struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set); 411 struct isl_set *isl_set_drop_basic_set(struct isl_set *set, 412 struct isl_basic_set *bset); 413 414 int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset, 415 unsigned dim, isl_int *val); 416 417 int isl_set_plain_is_fixed(__isl_keep isl_set *set, 418 enum isl_dim_type type, unsigned pos, isl_int *val); 419 int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set, 420 unsigned dim, isl_int *val); 421 int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set, 422 unsigned dim, isl_int *val); 423 int isl_set_plain_dim_has_fixed_lower_bound(__isl_keep isl_set *set, 424 unsigned dim, isl_int *val); 425 int isl_set_dim_is_bounded(__isl_keep isl_set *set, 426 enum isl_dim_type type, unsigned pos); 427 int isl_set_dim_has_lower_bound(__isl_keep isl_set *set, 428 enum isl_dim_type type, unsigned pos); 429 int isl_set_dim_has_upper_bound(__isl_keep isl_set *set, 430 enum isl_dim_type type, unsigned pos); 431 int isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set, 432 enum isl_dim_type type, unsigned pos); 433 int isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set, 434 enum isl_dim_type type, unsigned pos); 435 436 __isl_export 437 __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset, 438 __isl_take isl_basic_set *context); 439 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set, 440 __isl_take isl_basic_set *context); 441 __isl_export 442 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set, 443 __isl_take isl_set *context); 444 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set, 445 __isl_take isl_set *context); 446 int isl_basic_set_dim_residue_class(struct isl_basic_set *bset, 447 int pos, isl_int *modulo, isl_int *residue); 448 int isl_set_dim_residue_class(struct isl_set *set, 449 int pos, isl_int *modulo, isl_int *residue); 450 451 __isl_export 452 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set); 453 454 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 455 int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 456 int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2); 457 int isl_set_plain_is_disjoint(__isl_keep isl_set *set1, 458 __isl_keep isl_set *set2); 459 int isl_set_fast_is_disjoint(__isl_keep isl_set *set1, 460 __isl_keep isl_set *set2); 461 462 uint32_t isl_set_get_hash(struct isl_set *set); 463 464 int isl_set_dim_is_unique(struct isl_set *set, unsigned dim); 465 466 int isl_set_n_basic_set(__isl_keep isl_set *set); 467 __isl_export 468 int isl_set_foreach_basic_set(__isl_keep isl_set *set, 469 int (*fn)(__isl_take isl_basic_set *bset, void *user), void *user); 470 471 int isl_set_foreach_point(__isl_keep isl_set *set, 472 int (*fn)(__isl_take isl_point *pnt, void *user), void *user); 473 int isl_set_count(__isl_keep isl_set *set, isl_int *count); 474 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, 475 isl_int max, isl_int *count); 476 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count); 477 478 __isl_give isl_basic_set *isl_basic_set_from_point(__isl_take isl_point *pnt); 479 __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt); 480 __isl_give isl_basic_set *isl_basic_set_box_from_points( 481 __isl_take isl_point *pnt1, __isl_take isl_point *pnt2); 482 __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1, 483 __isl_take isl_point *pnt2); 484 485 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset); 486 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set); 487 488 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1, 489 __isl_take isl_set *set2); 490 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1, 491 __isl_take isl_set *set2); 492 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1, 493 __isl_take isl_set *set2); 494 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1, 495 __isl_take isl_set *set2); 496 497 int isl_set_size(__isl_keep isl_set *set); 498 499 __isl_give isl_basic_set *isl_basic_set_align_params( 500 __isl_take isl_basic_set *bset, __isl_take isl_space *model); 501 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set, 502 __isl_take isl_space *model); 503 504 __isl_give isl_mat *isl_basic_set_equalities_matrix( 505 __isl_keep isl_basic_set *bset, enum isl_dim_type c1, 506 enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); 507 __isl_give isl_mat *isl_basic_set_inequalities_matrix( 508 __isl_keep isl_basic_set *bset, enum isl_dim_type c1, 509 enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); 510 __isl_give isl_basic_set *isl_basic_set_from_constraint_matrices( 511 __isl_take isl_space *dim, 512 __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1, 513 enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4); 514 515 __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *bset); 516 517 __isl_give isl_basic_set *isl_basic_set_coefficients( 518 __isl_take isl_basic_set *bset); 519 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set); 520 __isl_give isl_basic_set *isl_basic_set_solutions( 521 __isl_take isl_basic_set *bset); 522 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set); 523 524 __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos); 525 __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos); 526 527 __isl_give char *isl_set_to_str(__isl_keep isl_set *set); 528 529 #if defined(__cplusplus) 530 } 531 #endif 532 533 #include <isl/dim.h> 534 535 #endif 536