add isl_constraint_get_dim

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

diff --git a/doc/user.pod b/doc/user.pod
index 89ddf4c..9d8aa05 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -456,6 +456,10 @@ specification of the original object.
        __isl_give isl_dim *isl_union_map_get_dim(
                __isl_keep isl_union_map *umap);
 
+       #include <isl/constraint.h>
+       __isl_give isl_dim *isl_constraint_get_dim(
+               __isl_keep isl_constraint *constraint);
+
        #include <isl/polynomial.h>
        __isl_give isl_dim *isl_qpolynomial_get_dim(
                __isl_keep isl_qpolynomial *qp);

diff --git a/include/isl/constraint.h b/include/isl/constraint.h
index 970709a..4a8b6c3 100644 (file)
--- a/include/isl/constraint.h
+++ b/include/isl/constraint.h
@@ -69,6 +69,8 @@ int isl_basic_set_has_defining_inequalities(
        struct isl_constraint **lower,
        struct isl_constraint **upper);
 
+__isl_give isl_dim *isl_constraint_get_dim(
+       __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 9a8050c..be7ceed 100644 (file)
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -306,6 +306,12 @@ error:
        return NULL;
 }
 
+__isl_give isl_dim *isl_constraint_get_dim(
+       __isl_keep isl_constraint *constraint)
+{
+       return constraint ? isl_basic_map_get_dim(constraint->bmap) : NULL;
+}
+
 int isl_constraint_dim(struct isl_constraint *constraint,
        enum isl_dim_type type)
 {