diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2011-02-05 21:01:22 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2011-02-05 21:01:22 +0100 |
commit | b9791ad473737122c50378d6d0eaff7f5e414234 (patch) | |
tree | 2bf12f4a2f641d64edb0ba07210c0b40b9e321c9 /isl_dim.c | |
parent | 0d462e9fee37e2f7bbeaaacb12a001888fc2f735 (diff) | |
download | isl-b9791ad473737122c50378d6d0eaff7f5e414234.tar.gz isl-b9791ad473737122c50378d6d0eaff7f5e414234.tar.bz2 isl-b9791ad473737122c50378d6d0eaff7f5e414234.zip |
isl_tab_pip.c: correctly detect non-negativity of divs in lexmin contexts
In particular, the variables used to encode the div in the context
tableau is always non-negative, but the actual variable used in the main
tableau may not be non-negative.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_dim.c')
0 files changed, 0 insertions, 0 deletions