add isl_div_dim

diff --git a/include/isl_div.h b/include/isl_div.h
index 1c97f0e..8d21510 100644 (file)
--- a/include/isl_div.h
+++ b/include/isl_div.h
@@ -40,6 +40,8 @@ void isl_div_set_denominator(struct isl_div *div, isl_int v);
 void isl_div_set_coefficient(struct isl_div *div,
        enum isl_dim_type type, int pos, isl_int v);
 
+unsigned isl_div_dim(__isl_keep isl_div *div, enum isl_dim_type type);
+
 #if defined(__cplusplus)
 }
 #endif

diff --git a/isl_div.c b/isl_div.c
index a446b54..68eac18 100644 (file)
--- a/isl_div.c
+++ b/isl_div.c
@@ -23,6 +23,11 @@ static unsigned n(struct isl_div *d, enum isl_dim_type type)
        }
 }
 
+unsigned isl_div_dim(__isl_keep isl_div *div, enum isl_dim_type type)
+{
+       return n(div, type);
+}
+
 static unsigned offset(struct isl_div *d, enum isl_dim_type type)
 {
        struct isl_dim *dim = d->bmap->dim;