| commit | 239513e261653abee0bca3949ddaa23df404b870 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 11 Apr 2012 08:54:37 +0000 (11 10:54 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 13 Apr 2012 14:10:31 +0000 (13 16:10 +0200) | ||
| tree | f286c8981ad8cba52a35b91c195f4767122138da | treesnapshot (tar.gz zip) |
| parent | 77f8b4bf10067e3fab6694b1c9002cb0dab8791f | commitdiff |
isl_map_coalesce: optionally bound the coefficients of wrapping constraints
One of the methods for combining pairs of basic relations is based on wrapping.
The coefficients of these wrapping constraints may be much larger than
those of the constraints in the input. If isl_map_coalesce is called
to simplify the representation of a relation, then constraints with
large coefficients are typically undesirable. We therefore do not allow
the coefficients in the wrapping constraints to be larger than those
in the input, but we allow the user to override this choice.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
One of the methods for combining pairs of basic relations is based on wrapping.
The coefficients of these wrapping constraints may be much larger than
those of the constraints in the input. If isl_map_coalesce is called
to simplify the representation of a relation, then constraints with
large coefficients are typically undesirable. We therefore do not allow
the coefficients in the wrapping constraints to be larger than those
in the input, but we allow the user to override this choice.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>