isl_printer_print_qpolynomial: support proper isl output
commite3bcdd8be8b68f18d82ed14cfd07747d672f4c61
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 6 May 2011 13:33:38 +0000 (6 15:33 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 16 May 2011 16:01:22 +0000 (16 18:01 +0200)
tree489906a9ac5637a60cf78a44fde398a66a5ab9e8
parentda67b6367996cf58f94fa40c8bd0014a3a9590b1
isl_printer_print_qpolynomial: support proper isl output

That is, print description of the space associated to the isl_qpolynomial
in the isl format.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
isl_output.c