isl_printer_print_multi_pw_aff: change output format to not lose information
commit15b81201e5b5642162f207622474f10dc056b19c
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 22 Jun 2013 14:02:10 +0000 (22 16:02 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 27 Jul 2013 09:03:59 +0000 (27 11:03 +0200)
treecac2f79fb6abf98fc5149a8c33d20b062c9edbd6
parent3184398e97a26ece3abeb221075b031bec655839
isl_printer_print_multi_pw_aff: change output format to not lose information

In particular, the original implementation would print the isl_multi_pw_aff
as a list of piecewise affine expressions, but this would lose the information
of the set or output space of the isl_multi_pw_aff.
We now print isl_multi_pw_affs in a similar way to isl_maps, except
that the conditions on the domains are encoded inside the set/output
tuple since each piecewise affine expression may have a different domain.

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