add isl_union_map_remove_map_if
commit47ebc2eecceb20a8f6e2baf1ecf9903a62c0a02c
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 19 Jul 2017 13:49:21 +0000 (19 15:49 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 27 Sep 2017 07:23:33 +0000 (27 09:23 +0200)
treef786df303344c3f3f428828afddf9f667662bf12
parent68211a577b4174cdacd6daaeb4b2d56666e5c3f8
add isl_union_map_remove_map_if

There are already several functions for selecting/removing
specific groups of elements in a union map.
This function is more generic and leaves it up to the user
to decide which maps is a union map to remove.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod
include/isl/union_map.h
isl_union_map.c