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