add isl_constraint_get_local_space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index ee73c6a..8fefa70 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -801,9 +801,13 @@ the name and the internal structure are lost.
 
 A local space is essentially a space with
 zero or more existentially quantified variables.
-The local space of a basic set or relation can be obtained
+The local space of a (constraint of a) basic set or relation can be obtained
 using the following functions.
 
+       #include <isl/constraint.h>
+       __isl_give isl_local_space *isl_constraint_get_local_space(
+               __isl_keep isl_constraint *constraint);
+
        #include <isl/set.h>
        __isl_give isl_local_space *isl_basic_set_get_local_space(
                __isl_keep isl_basic_set *bset);

diff --git a/include/isl/constraint.h b/include/isl/constraint.h
index c395d7a..0dce397 100644 (file)
--- a/include/isl/constraint.h
+++ b/include/isl/constraint.h
@@ -68,6 +68,8 @@ int isl_basic_set_has_defining_inequalities(
 
 __isl_give isl_space *isl_constraint_get_space(
        __isl_keep isl_constraint *constraint);
+__isl_give isl_local_space *isl_constraint_get_local_space(
+       __isl_keep isl_constraint *constraint);
 int isl_constraint_dim(struct isl_constraint *constraint,
        enum isl_dim_type type);
 

diff --git a/isl_constraint.c b/isl_constraint.c
index a5c6e17..822a82f 100644 (file)
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -303,6 +303,12 @@ __isl_give isl_space *isl_constraint_get_space(
        return constraint ? isl_local_space_get_space(constraint->ls) : NULL;
 }
 
+__isl_give isl_local_space *isl_constraint_get_local_space(
+       __isl_keep isl_constraint *constraint)
+{
+       return constraint ? isl_local_space_copy(constraint->ls) : NULL;
+}
+
 int isl_constraint_dim(struct isl_constraint *constraint,
        enum isl_dim_type type)
 {