add isl_set_remove_redundancies
commit6f9d4b7b61fb29ac9c3870f0f10d47a19fc1a070
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 28 Jun 2011 13:28:48 +0000 (28 15:28 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 30 Jun 2011 11:06:31 +0000 (30 13:06 +0200)
tree6ff187266d621c96fe681c625d418130e7fff3a7
parent9f56bb6ae497a84716e53c1531b8c02d6b1a41d8
add isl_set_remove_redundancies

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/map.h
include/isl/set.h
isl_affine_hull.c
isl_convex_hull.c
isl_map_private.h