From cf5902d515e2933ba0945524e7c38a5863750305 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 3 Jan 2011 12:53:55 +0100 Subject: [PATCH] add isl_qpolynomial_dump Signed-off-by: Sven Verdoolaege --- include/isl/polynomial.h | 1 + isl_output.c | 14 ++++++++++++++ 2 files changed, 15 insertions(+) diff --git a/include/isl/polynomial.h b/include/isl/polynomial.h index ed8cd39..b33728c 100644 --- a/include/isl/polynomial.h +++ b/include/isl/polynomial.h @@ -120,6 +120,7 @@ __isl_give isl_printer *isl_printer_print_qpolynomial( __isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp); void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out, unsigned output_format); +void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp); struct isl_pw_qpolynomial; typedef struct isl_pw_qpolynomial isl_pw_qpolynomial; diff --git a/isl_output.c b/isl_output.c index 67a4195..7df6bcb 100644 --- a/isl_output.c +++ b/isl_output.c @@ -1265,6 +1265,20 @@ void isl_union_pw_qpolynomial_dump(__isl_keep isl_union_pw_qpolynomial *upwqp) isl_printer_free(printer); } +void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp) +{ + isl_printer *printer; + + if (!qp) + return; + + printer = isl_printer_to_file(isl_qpolynomial_get_ctx(qp), stderr); + printer = isl_printer_print_qpolynomial(printer, qp); + printer = isl_printer_end_line(printer); + + isl_printer_free(printer); +} + void isl_qpolynomial_fold_dump(__isl_keep isl_qpolynomial_fold *fold) { isl_printer *printer; -- 2.7.4