| commit | f469f4125e90882af7f8c577268d2c60f644c99a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 14 Jun 2016 11:07:48 +0000 (14 13:07 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 27 Jun 2016 13:36:04 +0000 (27 15:36 +0200) | ||
| tree | 76aefe8b0948bf11753c93359702c4d1be8e16fb | treesnapshot (tar.gz zip) |
| parent | 5aef6330dc7801d0495d585c72432515facb5c65 | commitdiff |
add isl_basic_set_lexmin_compute_divs
One of the side effects of the parametric integer programming
algorithm is that any existentially quantified variable is
given an explicit representation corresponding to the minimal
value. isl_basic_map_compute_divs exploits this property
by calling isl_basic_set_lexmin internally.
Introduce an isl_basic_set_lexmin_compute_divs that makes
this expectation of the result being free of existentially
quantified variables (without explicit representation) more explicit.
isl_basic_set_lexmin_compute_divs then sets a flag to keep
track of this requirement. This flag, or rather the absence
of this flag being set, will be exploited in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
One of the side effects of the parametric integer programming
algorithm is that any existentially quantified variable is
given an explicit representation corresponding to the minimal
value. isl_basic_map_compute_divs exploits this property
by calling isl_basic_set_lexmin internally.
Introduce an isl_basic_set_lexmin_compute_divs that makes
this expectation of the result being free of existentially
quantified variables (without explicit representation) more explicit.
isl_basic_set_lexmin_compute_divs then sets a flag to keep
track of this requirement. This flag, or rather the absence
of this flag being set, will be exploited in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory | |
| isl_tab.h | diffblobblamehistory |