projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4bcb615) | patch
isl_basic_map_affine_hull: fix search for integer points
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Feb 2009 15:12:53 +0000 (16:12 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Feb 2009 17:01:11 +0000 (18:01 +0100)
commit27ca31df7d89d1f26e7934aa8ce8c2dfc1105d92
tree67b027f6a0c73a5ea7d105d4be54645217329664tree | snapshot
parent4bcb615903f5bb5201fa00a81b9e28d0bb0dd664commit | diff
isl_basic_map_affine_hull: fix search for integer points

Before, we would mistakenly only look for integer points
in adjacent hyperplanes.  This would be sufficient if we
were looking instead for rational points, although we could
then obtain an over-approximation of the integer affine hull.
isl_affine_hull.c diff | blob | history
isl_test.c diff | blob | history
test_inputs/affine3.polylib [new file with mode: 0644] blob
Domain: System / Uncategorized;