From 6115ad92663b0a9b494468f06fcb7b061be3f519 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 3 Jul 2011 13:52:03 +0200 Subject: [PATCH] add isl_pw_qpolynomial_read_from_file Signed-off-by: Sven Verdoolaege --- include/isl/polynomial.h | 2 ++ isl_input.c | 12 ++++++++++++ 2 files changed, 14 insertions(+) diff --git a/include/isl/polynomial.h b/include/isl/polynomial.h index 85bc716..389d6ce 100644 --- a/include/isl/polynomial.h +++ b/include/isl/polynomial.h @@ -225,6 +225,8 @@ int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *pwqp, __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ctx, const char *str); +__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_file(isl_ctx *ctx, + FILE *input); __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 2037998..458ec71 100644 --- a/isl_input.c +++ b/isl_input.c @@ -2536,3 +2536,15 @@ __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_str(isl_ctx *ctx, isl_stream_free(s); return pwqp; } + +__isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_read_from_file(isl_ctx *ctx, + FILE *input) +{ + isl_pw_qpolynomial *pwqp; + struct isl_stream *s = isl_stream_new_file(ctx, input); + if (!s) + return NULL; + pwqp = isl_stream_read_pw_qpolynomial(s); + isl_stream_free(s); + return pwqp; +} -- 2.7.4