projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75147c9) | patch
isl_basic_set_compare_at: compute result in terms of maximal (integral) difference
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 24 Dec 2009 18:02:26 +0000 (19:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 24 Dec 2009 18:02:26 +0000 (19:02 +0100)
commitb3316c33d5aaad00fbcfa2bad9ca4846fb6a6f1a
tree3ffa0766a470739dc6b4e197a08306d604e09de5tree | snapshot
parent75147c93b0e2034e50b1046f4006b99ded53afdbcommit | diff
isl_basic_set_compare_at: compute result in terms of maximal (integral) difference

Computing the maximal instead of the minimal difference will allow
us to reuse much of the code in isl_basic_set_follows_at later.
Since we only need the sign of the optimum, we don't really need
the exact value.
isl_map.c diff | blob | history
Domain: System / Uncategorized;