diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2011-01-03 12:53:55 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2011-01-07 15:59:05 +0100 |
commit | cf5902d515e2933ba0945524e7c38a5863750305 (patch) | |
tree | 968d8994686f5b72bba413e8b0e2c5c4a2b7ea85 /isl_output.c | |
parent | 29de312701b7b90309a46213d7c38844b4b95029 (diff) | |
download | isl-cf5902d515e2933ba0945524e7c38a5863750305.tar.gz isl-cf5902d515e2933ba0945524e7c38a5863750305.tar.bz2 isl-cf5902d515e2933ba0945524e7c38a5863750305.zip |
add isl_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_output.c')
-rw-r--r-- | isl_output.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/isl_output.c b/isl_output.c index 67a41957..7df6bcbd 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; |