isl_basic_set_gist: remove redundant constraints with same normal without lp
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 4 Oct 2008 19:11:17 +0000 (21:11 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Oct 2008 08:22:00 +0000 (10:22 +0200)
commitf29bbc10b26854f140b427d111d93bf7d21a9737
tree2837300e97dcee1490b13e2c17024232757497ef
parentc7afc410b0f1df1261a742c9bb46eabf6b991d01
isl_basic_set_gist: remove redundant constraints with same normal without lp
isl_map.c