drop isl_basic_set_constraint_is_redundant
commitfb72e7034cf6fa5ce05aa5411b52a68ffa88f07c
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 1 Aug 2016 09:03:29 +0000 (1 11:03 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Feb 2017 11:31:07 +0000 (22 12:31 +0100)
tree4443ea3b26990a59ce7c2c31c94e2586215e5b27
parent28011352f1f9d3d4f1e14cad0610acde65572cdf
drop isl_basic_set_constraint_is_redundant

Its last use was removed in 9f3099a (isl_basic_map_gist: replace by new
version based on tableaus, Wed Mar 18 18:30:39 2009 +0100).

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