add isl_qpolynomial_fold_gist_params

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

diff --git a/doc/user.pod b/doc/user.pod
index 2abe0c7..b4a8510 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3730,6 +3730,9 @@ obviously equal, use
        __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coalesce(
                __isl_take isl_union_pw_qpolynomial_fold *upwf);
 
+       __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params(
+               __isl_take isl_qpolynomial_fold *fold,
+               __isl_take isl_set *context);
        __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist(
                __isl_take isl_qpolynomial_fold *fold,
                __isl_take isl_set *context);

diff --git a/include/isl/polynomial.h b/include/isl/polynomial.h
index 9f2c9e4..64162f1 100644 (file)
--- a/include/isl/polynomial.h
+++ b/include/isl/polynomial.h
@@ -295,6 +295,8 @@ __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute(
 __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval(
        __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt);
 
+__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params(
+       __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);
 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist(
        __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);
 

diff --git a/isl_fold.c b/isl_fold.c
index fcafa15..6992326 100644 (file)
--- a/isl_fold.c
+++ b/isl_fold.c
@@ -611,6 +611,15 @@ error:
        return NULL;
 }
 
+__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params(
+       __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
+{
+       isl_space *space = isl_qpolynomial_fold_get_domain_space(fold);
+       isl_set *dom_context = isl_set_universe(space);
+       dom_context = isl_set_intersect_params(dom_context, context);
+       return isl_qpolynomial_fold_gist(fold, dom_context);
+}
+
 #define HAS_TYPE
 
 #undef PW