add isl_map_remove_obvious_duplicates
commita1b0db001e8af7f96062612801b4e1c99016eb09
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 9 May 2014 14:23:08 +0000 (9 16:23 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 3 Sep 2014 11:00:31 +0000 (3 13:00 +0200)
treedd912f0e2cac439e65bbb45926ff6f8080739ebc
parent41fa86e14349fa38525a2ebd4b0f6bb689759699
add isl_map_remove_obvious_duplicates

This will be useful for removing duplicates in the results
of isl_map_domain_product and isl_map_range_product.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c
isl_map_private.h