| commit | 4c44c6245cf0234a9af5e1cf971d2a26b40e4243 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 5 Oct 2009 10:22:56 +0000 (5 12:22 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 10 Oct 2009 11:16:33 +0000 (10 13:16 +0200) | ||
| tree | c86530d776a17825f858e451a4038c6456829400 | treesnapshot (tar.gz zip) |
| parent | 1453eb1ef0aff6fb416782c09a90eaf00914fb9a | commitdiff |
isl_tab_pip.c: detect equalities in gbr context on each parametric cut
A new div that was introduced to express a parametric cut may,
within the current context, be an affine combination of other divs.
If so, we want to find these equalities as soon as possible
as this may allow us to more easily determine feasibility of
a constraint.
A new div that was introduced to express a parametric cut may,
within the current context, be an affine combination of other divs.
If so, we want to find these equalities as soon as possible
as this may allow us to more easily determine feasibility of
a constraint.
| isl_tab_pip.c | diffblobblamehistory |