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 fc5a776..ddbb6ca 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -88,6 +88,12 @@ unsigned isl_set_dim(const struct isl_set *set, enum isl_dim_type type);
 __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,
                unsigned n_eq, unsigned n_ineq);
@@ -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);
@@ -270,9 +280,12 @@ 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);
@@ -296,8 +309,8 @@ 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);
+__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,
@@ -322,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,