isl_map_read: forget existentially quantified variables after each disjunct
commitcbc78edde4dafa3c9aa2897896099380bfc709ab
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 10 Feb 2010 10:14:17 +0000 (10 11:14 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 10 Feb 2010 10:14:17 +0000 (10 11:14 +0100)
tree4aac2000fa82083c1304d2f18e79603882b33982
parentba241e6eaeb007c30b005f59454561f0aed59980
isl_map_read: forget existentially quantified variables after each disjunct
isl_input.c