isl_basic_map_affine_hull: compute integer affine hull

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

diff --git a/include/isl_set.h b/include/isl_set.h
index 7ab4f2e..0539b1c 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -69,6 +69,10 @@ struct isl_basic_set *isl_basic_set_finalize(struct isl_ctx *ctx,
 void isl_basic_set_free(struct isl_ctx *ctx, struct isl_basic_set *bset);
 struct isl_basic_set *isl_basic_set_copy(struct isl_ctx *ctx,
                                        struct isl_basic_set *bset);
+struct isl_basic_set *isl_basic_set_empty(struct isl_ctx *ctx,
+               unsigned nparam, unsigned dim);
+struct isl_basic_set *isl_basic_set_universe(struct isl_ctx *ctx,
+               unsigned nparam, unsigned dim);
 void isl_basic_set_dump(struct isl_ctx *ctx, struct isl_basic_set *bset,
                                FILE *out, int indent);
 struct isl_basic_set *isl_basic_set_swap_vars(struct isl_ctx *ctx,
@@ -82,6 +86,12 @@ struct isl_basic_set *isl_basic_set_affine_hull(struct isl_ctx *ctx,
                                                struct isl_basic_set *bset);
 struct isl_basic_set *isl_basic_set_simplify(
                struct isl_ctx *ctx, struct isl_basic_set *bset);
+#define ISL_FORMAT_POLYLIB     1
+struct isl_basic_set *isl_basic_set_read_from_file(struct isl_ctx *ctx,
+               FILE *input, unsigned input_format);
+
+int isl_basic_set_is_equal(struct isl_ctx *ctx,
+               struct isl_basic_set *bset1, struct isl_basic_set *bset2);
 
 struct isl_set *isl_basic_set_lexmin(struct isl_ctx *ctx,
                struct isl_basic_set *bset);
@@ -103,6 +113,8 @@ struct isl_set *isl_set_from_basic_set(struct isl_ctx *ctx,
                                struct isl_basic_set *bset);
 struct isl_basic_set *isl_set_affine_hull(struct isl_ctx *ctx,
                struct isl_set *set);
+struct isl_basic_set *isl_set_convex_hull(struct isl_ctx *ctx,
+               struct isl_set *set);
 
 struct isl_set *isl_set_union_disjoint(struct isl_ctx *ctx,
                        struct isl_set *set1, struct isl_set *set2);