isl_space_unwrap: fix error message

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

diff --git a/isl_local_space_private.h b/isl_local_space_private.h
index 85ecfe1..8d106bd 100644 (file)
--- a/isl_local_space_private.h
+++ b/isl_local_space_private.h
@@ -1,7 +1,6 @@
 #ifndef ISL_LOCAL_SPACE_PRIVATE_H
 #define ISL_LOCAL_SPACE_PRIVATE_H
 
-#include <isl/div.h>
 #include <isl/mat.h>
 #include <isl/set.h>
 #include <isl/local_space.h>
@@ -15,6 +14,8 @@ struct isl_local_space {
 
 __isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *dim,
        unsigned n_div);
+__isl_give isl_local_space *isl_local_space_alloc_div(__isl_take isl_space *dim,
+       __isl_take isl_mat *div);
 
 __isl_give isl_local_space *isl_local_space_add_div(
        __isl_take isl_local_space *ls, __isl_take isl_vec *div);
@@ -45,4 +46,11 @@ int isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
 
 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
 
+__isl_give isl_local_space *isl_local_space_substitute(
+       __isl_take isl_local_space *ls,
+       enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
+
+__isl_give isl_local_space *isl_local_space_lift(
+       __isl_take isl_local_space *ls);
+
 #endif