add isl_qpolynomial_substitute

[platform/upstream/isl.git] / include / isl_polynomial.h

diff --git a/include/isl_polynomial.h b/include/isl_polynomial.h
index d6ed55f..d07541d 100644 (file)
--- a/include/isl_polynomial.h
+++ b/include/isl_polynomial.h
@@ -56,6 +56,11 @@ __isl_give isl_qpolynomial *isl_qpolynomial_drop_dims(
        __isl_take isl_qpolynomial *qp,
        enum isl_dim_type type, unsigned first, unsigned n);
 
+__isl_give isl_qpolynomial *isl_qpolynomial_substitute(
+       __isl_take isl_qpolynomial *qp,
+       enum isl_dim_type type, unsigned first, unsigned n,
+       __isl_keep isl_qpolynomial **subs);
+
 struct isl_term;
 typedef struct isl_term isl_term;