add isl_pw_qpolynomial_read_from_str

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

diff --git a/include/isl_polynomial.h b/include/isl_polynomial.h
index 0a3e0bd..f2564c6 100644 (file)
--- a/include/isl_polynomial.h
+++ b/include/isl_polynomial.h
@@ -193,6 +193,8 @@ int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *pwqp,
        int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
                    void *user), void *user);
 
+__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ctx,
+               const char *str);
 __isl_give isl_printer *isl_printer_print_pw_qpolynomial(
        __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp);
 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *out,

diff --git a/isl_input.c b/isl_input.c
index 32cb037..21d53ba 100644 (file)
--- a/isl_input.c
+++ b/isl_input.c
@@ -1889,3 +1889,15 @@ error:
        obj.type->free(obj.v);
        return NULL;
 }
+
+__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ctx,
+               const char *str)
+{
+       isl_pw_qpolynomial *pwqp;
+       struct isl_stream *s = isl_stream_new_str(ctx, str);
+       if (!s)
+               return NULL;
+       pwqp = isl_stream_read_pw_qpolynomial(s);
+       isl_stream_free(s);
+       return pwqp;
+}