| commit | b4f91c610c42446555cb58631c541db8721ea063 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 1 Nov 2009 14:41:28 +0000 (1 15:41 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 1 Nov 2009 14:44:16 +0000 (1 15:44 +0100) | ||
| tree | c543b9b2935700e40bfc57b10980c953683e54c7 | treesnapshot (tar.gz zip) |
| parent | 7f9e6c9c39457a64a5aa310a5a7c16ba8e76e6ef | commitdiff |
isl_tab: row is only (obviously) redundant if it does not depend on variables
Variables are not assumed to be nonnegative, but are only marked as being
nonnegative based on the constraints. This nonnegativity can therefore
not be used to mark rows as being redundant as that could lead to
circular reasoning.
Variables are not assumed to be nonnegative, but are only marked as being
nonnegative based on the constraints. This nonnegativity can therefore
not be used to mark rows as being redundant as that could lead to
circular reasoning.
| isl_tab.c | diffblobblamehistory |