isl_basic_map_eliminate_vars: remove all redundant constraints after each step
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Sep 2008 22:00:46 +0000 (00:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 12 Oct 2008 10:11:32 +0000 (12:11 +0200)
commitd31290af7effc0a0aba34004b43bddab856e5065
tree6a3f4b6ec4b7d5e339518741496d4bb5a4122764
parent0db9d6314bdcf9b759a5265dfa6d4c083b2a1a5e
isl_basic_map_eliminate_vars: remove all redundant constraints after each step
include/isl_map.h
isl_map.c