| commit | 891e850a2f175e0dac1b0eb469a38f95e4c6ea39 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 1 Nov 2010 10:12:28 +0000 (1 11:12 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 1 Nov 2010 10:12:56 +0000 (1 11:12 +0100) | ||
| tree | f1008a9cf0c2b50c28ca7d037cf191fc131497b0 | treesnapshot (tar.gz zip) |
| parent | 6ff74d71b9fd90e5722467427f50e266e1793ca8 | commitdiff |
isl_pw_qpolynomial_sum: handle existentials in wrapped domains
If there are any existentially quantified variables, then
isl_pw_qpolynomial_foreach_lifted_piece will destroy the internal
structure of the space. We therefore need to construct the right
space for the output before calling this function.
If there are any existentially quantified variables, then
isl_pw_qpolynomial_foreach_lifted_piece will destroy the internal
structure of the space. We therefore need to construct the right
space for the output before calling this function.
| isl | diffblobblamehistory | |
| summate.c | diffblobblamehistory |