temporarily make isl_val_int_from_isl_int available

[platform/upstream/isl.git] / isl_space_private.h

diff --git a/isl_space_private.h b/isl_space_private.h
index 28cb586..8c4a682 100644 (file)
--- a/isl_space_private.h
+++ b/isl_space_private.h
@@ -1,3 +1,6 @@
+#ifndef ISL_SPACE_PRIVATE
+#define ISL_SPACE_PRIVATE
+
 #include <isl/space.h>
 #include <isl/hash.h>
 #include <isl/id.h>
@@ -26,7 +29,9 @@ __isl_give isl_space *isl_space_underlying(__isl_take isl_space *dim,
 
 uint32_t isl_space_get_hash(__isl_keep isl_space *dim);
 
-int isl_space_is_domain(__isl_keep isl_space *space1,
+int isl_space_is_domain_internal(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2);
+int isl_space_is_range_internal(__isl_keep isl_space *space1,
        __isl_keep isl_space *space2);
 
 __isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim);
@@ -46,3 +51,8 @@ __isl_give isl_space *isl_space_replace(__isl_take isl_space *dst,
        enum isl_dim_type type, __isl_keep isl_space *src);
 
 __isl_give isl_space *isl_space_lift(__isl_take isl_space *dim, unsigned n_local);
+
+__isl_give isl_space *isl_space_extend_domain_with_range(
+       __isl_take isl_space *domain, __isl_take isl_space *model);
+
+#endif