diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2010-05-25 13:33:31 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-12 13:16:36 +0200 |
commit | c9aadb2cefbcf40dd19f4b7c463ab096b269d194 (patch) | |
tree | 5d2b34264e44a31218657ff275aead523b7ec090 /isl_sample.c | |
parent | 9f5152f19b26031e778dce2edac9f62a649d861a (diff) | |
download | isl-c9aadb2cefbcf40dd19f4b7c463ab096b269d194.tar.gz isl-c9aadb2cefbcf40dd19f4b7c463ab096b269d194.tar.bz2 isl-c9aadb2cefbcf40dd19f4b7c463ab096b269d194.zip |
add isl_tab_sign_of_max
Make sure it's not called on zero or redundant constraints, though.
A zero constraint, in particular a dead column, could mistakenly be
considered to be manifestly unbounded. Redundant constraints could
end up getting pivoted, which would destroy the invariant.
The internal code would never call sign_of_max on such constraints,
but external users may not be aware of this restriction.
Diffstat (limited to 'isl_sample.c')
0 files changed, 0 insertions, 0 deletions