add isl_pw_qpolynomial_fold_size

diff --git a/include/isl_polynomial.h b/include/isl_polynomial.h
index f824f92..80acbf0 100644 (file)
--- a/include/isl_polynomial.h
+++ b/include/isl_polynomial.h
@@ -195,6 +195,8 @@ void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);
 unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pwf,
        enum isl_dim_type type);
 
+size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf);
+
 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero(
        __isl_take isl_dim *dim);
 

diff --git a/isl_fold.c b/isl_fold.c
index ef74482..61a2884 100644 (file)
--- a/isl_fold.c
+++ b/isl_fold.c
@@ -579,3 +579,14 @@ error:
        isl_point_free(pnt);
        return NULL;
 }
+
+size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf)
+{
+       int i;
+       size_t n = 0;
+
+       for (i = 0; i < pwf->n; ++i)
+               n += pwf->p[i].fold->n;
+
+       return n;
+}