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 1232440..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,6 +29,11 @@ __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_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);
 
 unsigned isl_space_offset(__isl_keep isl_space *dim, enum isl_dim_type type);
@@ -36,9 +44,15 @@ int isl_space_has_named_params(__isl_keep isl_space *dim);
 __isl_give isl_space *isl_space_reset(__isl_take isl_space *dim,
        enum isl_dim_type type);
 __isl_give isl_space *isl_space_flatten(__isl_take isl_space *dim);
+__isl_give isl_space *isl_space_flatten_domain(__isl_take isl_space *dim);
 __isl_give isl_space *isl_space_flatten_range(__isl_take isl_space *dim);
 
 __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