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_name.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_name.c')
0 files changed, 0 insertions, 0 deletions