privately export isl_basic_map_fast_cmp and isl_basic_map_fast_is_equal

[platform/upstream/isl.git] / include / isl_set.h

diff --git a/include/isl_set.h b/include/isl_set.h
index 8af864f..ddbb6ca 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -85,8 +85,14 @@ unsigned isl_set_n_dim(const struct isl_set *set);
 unsigned isl_set_n_param(const struct isl_set *set);
 unsigned isl_set_dim(const struct isl_set *set, enum isl_dim_type type);
 
-struct isl_dim *isl_basic_set_get_dim(struct isl_basic_set *bset);
-struct isl_dim *isl_set_get_dim(struct isl_set *set);
+__isl_give isl_dim *isl_basic_set_get_dim(__isl_keep isl_basic_set *bset);
+__isl_give isl_dim *isl_set_get_dim(__isl_keep isl_set *set);
+
+__isl_give isl_basic_set *isl_basic_set_set_dim_name(
+       __isl_take isl_basic_set *bset,
+       enum isl_dim_type type, unsigned pos, const char *s);
+__isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
+       enum isl_dim_type type, unsigned pos, const char *s);
 
 struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx,
                unsigned nparam, unsigned dim, unsigned extra,
@@ -187,9 +193,13 @@ int isl_basic_set_compare_at(struct isl_basic_set *bset1,
 int isl_set_follows_at(__isl_keep isl_set *set1,
        __isl_keep isl_set *set2, int pos);
 
+int isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,
+       enum isl_dim_type type, unsigned pos, unsigned n, int *signs);
+
 int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
 int isl_basic_set_fast_is_empty(__isl_keep isl_basic_set *bset);
 int isl_basic_set_is_empty(__isl_keep isl_basic_set *bset);
+int isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset);
 
 struct isl_set *isl_set_alloc(struct isl_ctx *ctx,
                unsigned nparam, unsigned dim, int n, unsigned flags);
@@ -211,8 +221,9 @@ __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set);
 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set);
-struct isl_basic_set *isl_set_simple_hull(struct isl_set *set);
+__isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set);
 struct isl_basic_set *isl_set_bounded_simple_hull(struct isl_set *set);
+__isl_give isl_set *isl_set_recession_cone(__isl_take isl_set *set);
 
 struct isl_set *isl_set_union_disjoint(
                        struct isl_set *set1, struct isl_set *set2);
@@ -240,7 +251,10 @@ __isl_give isl_basic_set *isl_basic_set_add(__isl_take isl_basic_set *bset,
                enum isl_dim_type type, unsigned n);
 __isl_give isl_set *isl_set_add(__isl_take isl_set *set,
                enum isl_dim_type type, unsigned n);
-__isl_give isl_set *isl_set_move(__isl_take isl_set *set,
+__isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,
+       enum isl_dim_type dst_type, unsigned dst_pos,
+       enum isl_dim_type src_type, unsigned src_pos, unsigned n);
+__isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
        enum isl_dim_type dst_type, unsigned dst_pos,
        enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 __isl_give isl_basic_set *isl_basic_set_project_out(
@@ -258,15 +272,24 @@ __isl_give isl_set *isl_set_remove(__isl_take isl_set *bset,
 struct isl_set *isl_set_remove_dims(struct isl_set *set,
                unsigned first, unsigned n);
 struct isl_set *isl_set_remove_divs(struct isl_set *set);
+__isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
+       enum isl_dim_type type, unsigned first, unsigned n);
 
 void isl_set_dump(__isl_keep isl_set *set, FILE *out, int indent);
 struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n);
 int isl_set_fast_is_empty(__isl_keep isl_set *set);
 int isl_set_fast_is_universe(__isl_keep isl_set *set);
 int isl_set_is_empty(__isl_keep isl_set *set);
+int isl_set_is_bounded(__isl_keep isl_set *set);
 int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
+int isl_set_is_singleton(__isl_keep isl_set *set);
+int isl_set_is_box(__isl_keep isl_set *set);
+
+__isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
+       __isl_take isl_set *set2);
+__isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
 
 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
 struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
@@ -286,10 +309,12 @@ int isl_set_fast_dim_has_fixed_lower_bound(struct isl_set *set,
 int isl_set_dim_is_bounded(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos);
 
-struct isl_basic_set *isl_basic_set_gist(struct isl_basic_set *bset,
-                                               struct isl_basic_set *context);
-struct isl_set *isl_set_gist(struct isl_set *set,
-       struct isl_basic_set *context);
+__isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset,
+                                           __isl_take isl_basic_set *context);
+__isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
+       __isl_take isl_basic_set *context);
+__isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
+       __isl_take isl_set *context);
 int isl_basic_set_dim_residue_class(struct isl_basic_set *bset,
        int pos, isl_int *modulo, isl_int *residue);
 int isl_set_dim_residue_class(struct isl_set *set,
@@ -310,6 +335,7 @@ int isl_set_foreach_basic_set(__isl_keep isl_set *set,
 int isl_set_foreach_point(__isl_keep isl_set *set,
        int (*fn)(__isl_take isl_point *pnt, void *user), void *user);
 int isl_set_count(__isl_keep isl_set *set, isl_int *count);
+int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count);
 
 __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt);
 __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1,