polly/isl/set.h

0001 /*
0002  * Copyright 2008-2009 Katholieke Universiteit Leuven
0003  *
0004  * Use of this software is governed by the MIT license
0005  *
0006  * Written by Sven Verdoolaege, K.U.Leuven, Departement
0007  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
0008  */
0009
0010 #ifndef ISL_SET_H
0011 #define ISL_SET_H
0012
0013 #include <isl/id_type.h>
0014 #include <isl/map_type.h>
0015 #include <isl/aff_type.h>
0016 #include <isl/list.h>
0017 #include <isl/mat.h>
0018 #include <isl/point.h>
0019 #include <isl/local_space.h>
0020 #include <isl/val_type.h>
0021 #include <isl/stdint.h>
0022 #include <isl/stride_info.h>
0023 #include <isl/fixed_box.h>
0024
0025 #if defined(__cplusplus)
0026 extern "C" {
0027 #endif
0028
0029 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset);
0030 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset);
0031 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset);
0032 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset,
0033                 enum isl_dim_type type);
0034
0035 isl_size isl_set_n_dim(__isl_keep isl_set *set);
0036 isl_size isl_set_n_param(__isl_keep isl_set *set);
0037 __isl_export
0038 isl_size isl_set_tuple_dim(__isl_keep isl_set *set);
0039 isl_size isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type);
0040
0041 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset);
0042 isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set);
0043 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset);
0044 __isl_export
0045 __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set);
0046 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
0047     __isl_take isl_space *space);
0048
0049 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset,
0050     int pos);
0051
0052 __isl_give isl_local_space *isl_basic_set_get_local_space(
0053     __isl_keep isl_basic_set *bset);
0054
0055 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
0056 isl_bool isl_set_has_tuple_name(__isl_keep isl_set *set);
0057 const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
0058 __isl_give isl_basic_set *isl_basic_set_set_tuple_name(
0059     __isl_take isl_basic_set *set, const char *s);
0060 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
0061     const char *s);
0062 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,
0063     enum isl_dim_type type, unsigned pos);
0064 __isl_give isl_basic_set *isl_basic_set_set_dim_name(
0065     __isl_take isl_basic_set *bset,
0066     enum isl_dim_type type, unsigned pos, const char *s);
0067 isl_bool isl_set_has_dim_name(__isl_keep isl_set *set,
0068     enum isl_dim_type type, unsigned pos);
0069 const char *isl_set_get_dim_name(__isl_keep isl_set *set,
0070     enum isl_dim_type type, unsigned pos);
0071 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
0072     enum isl_dim_type type, unsigned pos, const char *s);
0073
0074 __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset,
0075     enum isl_dim_type type, unsigned pos);
0076 __isl_give isl_basic_set *isl_basic_set_set_tuple_id(
0077     __isl_take isl_basic_set *bset, __isl_take isl_id *id);
0078 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
0079     enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
0080 isl_bool isl_set_has_dim_id(__isl_keep isl_set *set,
0081     enum isl_dim_type type, unsigned pos);
0082 __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set,
0083     enum isl_dim_type type, unsigned pos);
0084 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
0085     __isl_take isl_id *id);
0086 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set);
0087 isl_bool isl_set_has_tuple_id(__isl_keep isl_set *set);
0088 __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set);
0089 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set);
0090
0091 int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type,
0092     __isl_keep isl_id *id);
0093 int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type type,
0094     const char *name);
0095
0096 int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset);
0097
0098 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset);
0099 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset);
0100 __isl_give isl_basic_set *isl_basic_set_empty(__isl_take isl_space *space);
0101 __isl_give isl_basic_set *isl_basic_set_universe(__isl_take isl_space *space);
0102 __isl_give isl_basic_set *isl_basic_set_nat_universe(
0103     __isl_take isl_space *space);
0104 __isl_give isl_basic_set *isl_basic_set_positive_orthant(
0105     __isl_take isl_space *space);
0106 void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset,
0107                 FILE *out, int indent);
0108 __isl_export
0109 __isl_give isl_basic_set *isl_basic_set_intersect(
0110         __isl_take isl_basic_set *bset1,
0111         __isl_take isl_basic_set *bset2);
0112 __isl_export
0113 __isl_give isl_basic_set *isl_basic_set_intersect_params(
0114     __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
0115 __isl_export
0116 __isl_give isl_basic_set *isl_basic_set_apply(
0117         __isl_take isl_basic_set *bset,
0118         __isl_take isl_basic_map *bmap);
0119 __isl_give isl_basic_set *isl_basic_set_preimage_multi_aff(
0120     __isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma);
0121 __isl_export
0122 __isl_give isl_basic_set *isl_basic_set_affine_hull(
0123         __isl_take isl_basic_set *bset);
0124 __isl_give isl_basic_set *isl_basic_set_remove_dims(
0125     __isl_take isl_basic_set *bset,
0126     enum isl_dim_type type, unsigned first, unsigned n);
0127 __isl_export
0128 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset);
0129 __isl_export
0130 __isl_give isl_basic_set *isl_basic_set_detect_equalities(
0131                         __isl_take isl_basic_set *bset);
0132 __isl_give isl_basic_set *isl_basic_set_remove_redundancies(
0133     __isl_take isl_basic_set *bset);
0134 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set);
0135 __isl_give isl_basic_set *isl_basic_set_list_intersect(
0136     __isl_take struct isl_basic_set_list *list);
0137
0138 __isl_give isl_set *isl_set_list_union(__isl_take isl_set_list *list);
0139
0140 __isl_give isl_basic_set *isl_basic_set_read_from_file(isl_ctx *ctx,
0141     FILE *input);
0142 __isl_constructor
0143 __isl_give isl_basic_set *isl_basic_set_read_from_str(isl_ctx *ctx,
0144     const char *str);
0145 __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, FILE *input);
0146 __isl_constructor
0147 __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, const char *str);
0148 void isl_basic_set_dump(__isl_keep isl_basic_set *bset);
0149 void isl_set_dump(__isl_keep isl_set *set);
0150 __isl_give isl_printer *isl_printer_print_basic_set(
0151     __isl_take isl_printer *printer, __isl_keep isl_basic_set *bset);
0152 __isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *printer,
0153     __isl_keep isl_set *map);
0154 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset,
0155         enum isl_dim_type type, unsigned pos, int value);
0156 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,
0157     enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
0158 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
0159         enum isl_dim_type type, unsigned pos, int value);
0160 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
0161         enum isl_dim_type type, unsigned pos, int value);
0162 __isl_give isl_basic_set *isl_basic_set_lower_bound_val(
0163     __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
0164     __isl_take isl_val *value);
0165 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
0166     enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
0167 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
0168     enum isl_dim_type type, unsigned pos, int value);
0169 __isl_give isl_basic_set *isl_basic_set_upper_bound_val(
0170     __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,
0171     __isl_take isl_val *value);
0172 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
0173     enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
0174 __isl_overload
0175 __isl_give isl_set *isl_set_lower_bound_multi_val(__isl_take isl_set *set,
0176     __isl_take isl_multi_val *lower);
0177 __isl_overload
0178 __isl_give isl_set *isl_set_upper_bound_multi_val(__isl_take isl_set *set,
0179     __isl_take isl_multi_val *upper);
0180 __isl_overload
0181 __isl_give isl_set *isl_set_lower_bound_multi_pw_aff(__isl_take isl_set *set,
0182     __isl_take isl_multi_pw_aff *lower);
0183 __isl_overload
0184 __isl_give isl_set *isl_set_upper_bound_multi_pw_aff(__isl_take isl_set *set,
0185     __isl_take isl_multi_pw_aff *upper);
0186
0187 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
0188     enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2);
0189
0190 __isl_export
0191 isl_bool isl_basic_set_is_equal(__isl_keep isl_basic_set *bset1,
0192     __isl_keep isl_basic_set *bset2);
0193 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1,
0194     __isl_keep isl_basic_set *bset2);
0195
0196 __isl_give isl_set *isl_basic_set_partial_lexmin(
0197         __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
0198         __isl_give isl_set **empty);
0199 __isl_give isl_set *isl_basic_set_partial_lexmax(
0200         __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
0201         __isl_give isl_set **empty);
0202 __isl_give isl_set *isl_set_partial_lexmin(
0203         __isl_take isl_set *set, __isl_take isl_set *dom,
0204         __isl_give isl_set **empty);
0205 __isl_give isl_set *isl_set_partial_lexmax(
0206         __isl_take isl_set *set, __isl_take isl_set *dom,
0207         __isl_give isl_set **empty);
0208 __isl_export
0209 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset);
0210 __isl_export
0211 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset);
0212 __isl_export
0213 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
0214 __isl_export
0215 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
0216 __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmin_pw_multi_aff(
0217     __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
0218     __isl_give isl_set **empty);
0219 __isl_give isl_pw_multi_aff *isl_basic_set_partial_lexmax_pw_multi_aff(
0220     __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
0221     __isl_give isl_set **empty);
0222 __isl_export
0223 __isl_give isl_pw_multi_aff *isl_set_lexmin_pw_multi_aff(
0224     __isl_take isl_set *set);
0225 __isl_export
0226 __isl_give isl_pw_multi_aff *isl_set_lexmax_pw_multi_aff(
0227     __isl_take isl_set *set);
0228 __isl_export
0229 __isl_give isl_multi_pw_aff *isl_set_min_multi_pw_aff(__isl_take isl_set *set);
0230 __isl_export
0231 __isl_give isl_multi_pw_aff *isl_set_max_multi_pw_aff(__isl_take isl_set *set);
0232
0233 __isl_export
0234 __isl_give isl_set *isl_basic_set_union(
0235         __isl_take isl_basic_set *bset1,
0236         __isl_take isl_basic_set *bset2);
0237
0238 int isl_basic_set_compare_at(__isl_keep isl_basic_set *bset1,
0239     __isl_keep isl_basic_set *bset2, int pos);
0240 int isl_set_follows_at(__isl_keep isl_set *set1,
0241     __isl_keep isl_set *set2, int pos);
0242
0243 __isl_export
0244 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset);
0245 __isl_give isl_basic_set *isl_basic_set_from_params(
0246     __isl_take isl_basic_set *bset);
0247 __isl_export
0248 __isl_give isl_set *isl_set_params(__isl_take isl_set *set);
0249 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set);
0250
0251 __isl_export
0252 __isl_give isl_set *isl_set_bind(__isl_take isl_set *set,
0253     __isl_take isl_multi_id *tuple);
0254 __isl_export
0255 __isl_give isl_set *isl_set_unbind_params(__isl_take isl_set *set,
0256     __isl_take isl_multi_id *tuple);
0257 __isl_export
0258 __isl_give isl_map *isl_set_unbind_params_insert_domain(
0259     __isl_take isl_set *set, __isl_take isl_multi_id *domain);
0260
0261 isl_stat isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,
0262     enum isl_dim_type type, unsigned pos, unsigned n, int *signs);
0263
0264 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset);
0265 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
0266 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset);
0267 __isl_export
0268 isl_bool isl_basic_set_is_empty(__isl_keep isl_basic_set *bset);
0269 isl_bool isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset);
0270 __isl_export
0271 isl_bool isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1,
0272     __isl_keep isl_basic_set *bset2);
0273 isl_bool isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1,
0274     __isl_keep isl_basic_set *bset2);
0275
0276 __isl_export
0277 __isl_give isl_set *isl_set_empty(__isl_take isl_space *space);
0278 __isl_export
0279 __isl_give isl_set *isl_set_universe(__isl_take isl_space *space);
0280 __isl_export
0281 __isl_give isl_set *isl_space_universe_set(__isl_take isl_space *space);
0282 __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *space);
0283 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set);
0284 __isl_null isl_set *isl_set_free(__isl_take isl_set *set);
0285 __isl_export
0286 __isl_give isl_set *isl_basic_set_to_set(__isl_take isl_basic_set *bset);
0287 __isl_constructor
0288 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset);
0289 __isl_export
0290 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set);
0291 __isl_export
0292 __isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *bset);
0293 __isl_export
0294 __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set);
0295 __isl_export
0296 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
0297 __isl_export
0298 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set);
0299 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set);
0300 __isl_export
0301 __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set);
0302 __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set);
0303 __isl_export
0304 __isl_give isl_basic_set *isl_set_unshifted_simple_hull(
0305     __isl_take isl_set *set);
0306 __isl_give isl_basic_set *isl_set_plain_unshifted_simple_hull(
0307     __isl_take isl_set *set);
0308 __isl_give isl_basic_set *isl_set_unshifted_simple_hull_from_set_list(
0309     __isl_take isl_set *set, __isl_take isl_set_list *list);
0310 __isl_give isl_basic_set *isl_set_bounded_simple_hull(__isl_take isl_set *set);
0311
0312 __isl_give isl_set *isl_set_union_disjoint(
0313     __isl_take isl_set *set1, __isl_take isl_set *set2);
0314 __isl_export
0315 __isl_give isl_set *isl_set_union(
0316         __isl_take isl_set *set1,
0317         __isl_take isl_set *set2);
0318 __isl_export
0319 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,
0320     __isl_take isl_set *set2);
0321 __isl_give isl_basic_set *isl_basic_set_flat_product(
0322     __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
0323 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
0324     __isl_take isl_set *set2);
0325 __isl_export
0326 __isl_give isl_set *isl_set_intersect(
0327         __isl_take isl_set *set1,
0328         __isl_take isl_set *set2);
0329 __isl_export
0330 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
0331         __isl_take isl_set *params);
0332 __isl_give isl_set *isl_set_intersect_factor_domain(__isl_take isl_set *set,
0333     __isl_take isl_set *domain);
0334 __isl_give isl_set *isl_set_intersect_factor_range(__isl_take isl_set *set,
0335     __isl_take isl_set *range);
0336 __isl_export
0337 __isl_give isl_set *isl_set_subtract(
0338         __isl_take isl_set *set1,
0339         __isl_take isl_set *set2);
0340 __isl_export
0341 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set);
0342 __isl_export
0343 __isl_give isl_set *isl_set_apply(
0344         __isl_take isl_set *set,
0345         __isl_take isl_map *map);
0346 __isl_overload
0347 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
0348     __isl_take isl_multi_aff *ma);
0349 __isl_overload
0350 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
0351     __isl_take isl_pw_multi_aff *pma);
0352 __isl_overload
0353 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,
0354     __isl_take isl_multi_pw_aff *mpa);
0355 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
0356     enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
0357 __isl_give isl_set *isl_set_fix_dim_si(__isl_take isl_set *set,
0358         unsigned dim, int value);
0359 __isl_give isl_basic_set *isl_basic_set_insert_dims(
0360     __isl_take isl_basic_set *bset,
0361     enum isl_dim_type type, unsigned pos, unsigned n);
0362 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
0363         enum isl_dim_type type, unsigned pos, unsigned n);
0364 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset,
0365         enum isl_dim_type type, unsigned n);
0366 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
0367         enum isl_dim_type type, unsigned n);
0368 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,
0369     enum isl_dim_type dst_type, unsigned dst_pos,
0370     enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0371 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
0372     enum isl_dim_type dst_type, unsigned dst_pos,
0373     enum isl_dim_type src_type, unsigned src_pos, unsigned n);
0374 __isl_give isl_basic_set *isl_basic_set_project_out(
0375         __isl_take isl_basic_set *bset,
0376         enum isl_dim_type type, unsigned first, unsigned n);
0377 __isl_overload
0378 __isl_give isl_set *isl_set_project_out_param_id(__isl_take isl_set *set,
0379     __isl_take isl_id *id);
0380 __isl_overload
0381 __isl_give isl_set *isl_set_project_out_param_id_list(__isl_take isl_set *set,
0382     __isl_take isl_id_list *list);
0383 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
0384         enum isl_dim_type type, unsigned first, unsigned n);
0385 __isl_export
0386 __isl_give isl_set *isl_set_project_out_all_params(__isl_take isl_set *set);
0387 __isl_give isl_map *isl_set_project_onto_map(__isl_take isl_set *set,
0388     enum isl_dim_type type, unsigned first, unsigned n);
0389 __isl_give isl_basic_set *isl_basic_set_remove_divs(
0390     __isl_take isl_basic_set *bset);
0391 __isl_give isl_basic_set *isl_basic_set_eliminate(
0392     __isl_take isl_basic_set *bset,
0393     enum isl_dim_type type, unsigned first, unsigned n);
0394 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
0395     enum isl_dim_type type, unsigned first, unsigned n);
0396 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
0397         unsigned first, unsigned n);
0398 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
0399     enum isl_dim_type type, unsigned first, unsigned n);
0400 __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims(
0401     __isl_take isl_basic_set *bset,
0402     enum isl_dim_type type, unsigned first, unsigned n);
0403 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
0404     enum isl_dim_type type, unsigned first, unsigned n);
0405 __isl_give isl_basic_set *isl_basic_set_remove_unknown_divs(
0406     __isl_take isl_basic_set *bset);
0407 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);
0408 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set);
0409 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
0410     enum isl_dim_type type, unsigned first, unsigned n);
0411
0412 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving_dims(
0413     __isl_take isl_basic_set *bset,
0414     enum isl_dim_type type, unsigned first, unsigned n);
0415 __isl_give isl_basic_set *isl_basic_set_drop_constraints_not_involving_dims(
0416     __isl_take isl_basic_set *bset,
0417     enum isl_dim_type type, unsigned first, unsigned n);
0418 __isl_give isl_set *isl_set_drop_constraints_involving_dims(
0419     __isl_take isl_set *set,
0420     enum isl_dim_type type, unsigned first, unsigned n);
0421 __isl_give isl_set *isl_set_drop_constraints_not_involving_dims(
0422     __isl_take isl_set *set,
0423     enum isl_dim_type type, unsigned first, unsigned n);
0424
0425 __isl_export
0426 isl_bool isl_set_involves_locals(__isl_keep isl_set *set);
0427
0428 isl_bool isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset,
0429     enum isl_dim_type type, unsigned first, unsigned n);
0430 isl_bool isl_set_involves_dims(__isl_keep isl_set *set,
0431     enum isl_dim_type type, unsigned first, unsigned n);
0432
0433 void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent);
0434 isl_bool isl_set_plain_is_empty(__isl_keep isl_set *set);
0435 isl_bool isl_set_plain_is_universe(__isl_keep isl_set *set);
0436 isl_bool isl_set_is_params(__isl_keep isl_set *set);
0437 __isl_export
0438 isl_bool isl_set_is_empty(__isl_keep isl_set *set);
0439 isl_bool isl_set_is_bounded(__isl_keep isl_set *set);
0440 __isl_export
0441 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
0442 __isl_export
0443 isl_bool isl_set_is_strict_subset(__isl_keep isl_set *set1,
0444     __isl_keep isl_set *set2);
0445 __isl_export
0446 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
0447 __isl_export
0448 isl_bool isl_set_is_disjoint(__isl_keep isl_set *set1,
0449     __isl_keep isl_set *set2);
0450 __isl_export
0451 isl_bool isl_set_is_singleton(__isl_keep isl_set *set);
0452 isl_bool isl_set_is_box(__isl_keep isl_set *set);
0453 isl_bool isl_set_has_equal_space(__isl_keep isl_set *set1,
0454     __isl_keep isl_set *set2);
0455
0456 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
0457     __isl_take isl_set *set2);
0458 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset);
0459 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
0460
0461 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
0462 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset);
0463 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
0464 ISL_DEPRECATED
0465 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
0466
0467 __isl_export
0468 __isl_give isl_multi_val *isl_set_get_plain_multi_val_if_fixed(
0469     __isl_keep isl_set *set);
0470 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
0471     enum isl_dim_type type, unsigned pos);
0472 isl_bool isl_set_dim_is_bounded(__isl_keep isl_set *set,
0473     enum isl_dim_type type, unsigned pos);
0474 isl_bool isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
0475     enum isl_dim_type type, unsigned pos);
0476 isl_bool isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
0477     enum isl_dim_type type, unsigned pos);
0478 isl_bool isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
0479     enum isl_dim_type type, unsigned pos);
0480 isl_bool isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
0481     enum isl_dim_type type, unsigned pos);
0482
0483 __isl_export
0484 __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset,
0485                         __isl_take isl_basic_set *context);
0486 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
0487     __isl_take isl_basic_set *context);
0488 __isl_export
0489 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
0490     __isl_take isl_set *context);
0491 __isl_export
0492 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
0493     __isl_take isl_set *context);
0494 isl_stat isl_set_dim_residue_class_val(__isl_keep isl_set *set,
0495     int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue);
0496
0497 __isl_give isl_stride_info *isl_set_get_stride_info(__isl_keep isl_set *set,
0498     int pos);
0499 __isl_export
0500 __isl_give isl_val *isl_set_get_stride(__isl_keep isl_set *set, int pos);
0501 __isl_export
0502 __isl_give isl_fixed_box *isl_set_get_lattice_tile(__isl_keep isl_set *set);
0503 __isl_export
0504 __isl_give isl_fixed_box *isl_set_get_simple_fixed_box_hull(
0505     __isl_keep isl_set *set);
0506
0507 __isl_export
0508 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
0509
0510 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
0511 isl_bool isl_set_plain_is_equal(__isl_keep isl_set *set1,
0512     __isl_keep isl_set *set2);
0513 isl_bool isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
0514     __isl_keep isl_set *set2);
0515
0516 uint32_t isl_set_get_hash(__isl_keep isl_set *set);
0517
0518 __isl_export
0519 isl_size isl_set_n_basic_set(__isl_keep isl_set *set);
0520 __isl_export
0521 isl_stat isl_set_foreach_basic_set(__isl_keep isl_set *set,
0522     isl_stat (*fn)(__isl_take isl_basic_set *bset, void *user), void *user);
0523 __isl_give isl_basic_set_list *isl_set_get_basic_set_list(
0524     __isl_keep isl_set *set);
0525
0526 __isl_export
0527 isl_stat isl_set_foreach_point(__isl_keep isl_set *set,
0528     isl_stat (*fn)(__isl_take isl_point *pnt, void *user), void *user);
0529 __isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set);
0530
0531 __isl_constructor
0532 __isl_give isl_basic_set *isl_basic_set_from_point(__isl_take isl_point *pnt);
0533 __isl_export
0534 __isl_give isl_set *isl_point_to_set(__isl_take isl_point *pnt);
0535 __isl_constructor
0536 __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt);
0537 __isl_give isl_basic_set *isl_basic_set_box_from_points(
0538     __isl_take isl_point *pnt1, __isl_take isl_point *pnt2);
0539 __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1,
0540     __isl_take isl_point *pnt2);
0541
0542 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset);
0543 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set);
0544
0545 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1,
0546     __isl_take isl_set *set2);
0547 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,
0548     __isl_take isl_set *set2);
0549 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,
0550     __isl_take isl_set *set2);
0551 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,
0552     __isl_take isl_set *set2);
0553
0554 int isl_set_size(__isl_keep isl_set *set);
0555
0556 __isl_give isl_basic_set *isl_basic_set_align_params(
0557     __isl_take isl_basic_set *bset, __isl_take isl_space *model);
0558 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
0559     __isl_take isl_space *model);
0560 __isl_give isl_basic_set *isl_basic_set_drop_unused_params(
0561     __isl_take isl_basic_set *bset);
0562 __isl_give isl_set *isl_set_drop_unused_params(__isl_take isl_set *set);
0563
0564 __isl_give isl_mat *isl_basic_set_equalities_matrix(
0565     __isl_keep isl_basic_set *bset, enum isl_dim_type c1,
0566     enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);
0567 __isl_give isl_mat *isl_basic_set_inequalities_matrix(
0568     __isl_keep isl_basic_set *bset, enum isl_dim_type c1,
0569     enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);
0570 __isl_give isl_basic_set *isl_basic_set_from_constraint_matrices(
0571     __isl_take isl_space *space,
0572     __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
0573     enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4);
0574
0575 __isl_give isl_basic_set *isl_basic_set_from_multi_aff(
0576     __isl_take isl_multi_aff *ma);
0577
0578 __isl_export
0579 __isl_give isl_set *isl_multi_aff_as_set(__isl_take isl_multi_aff *ma);
0580 __isl_give isl_set *isl_set_from_multi_aff(__isl_take isl_multi_aff *ma);
0581
0582 __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *bset);
0583
0584 __isl_give isl_basic_set *isl_basic_set_coefficients(
0585     __isl_take isl_basic_set *bset);
0586 __isl_give isl_basic_set_list *isl_basic_set_list_coefficients(
0587     __isl_take isl_basic_set_list *list);
0588 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set);
0589 __isl_give isl_basic_set *isl_basic_set_solutions(
0590     __isl_take isl_basic_set *bset);
0591 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set);
0592
0593 __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos);
0594 __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos);
0595
0596 __isl_give char *isl_basic_set_to_str(__isl_keep isl_basic_set *bset);
0597 __isl_give char *isl_set_to_str(__isl_keep isl_set *set);
0598
0599 #if defined(__cplusplus)
0600 }
0601 #endif
0602
0603 #endif