isl_map_plain_is_disjoint: extract out isl_map_plain_is_disjoint_global
commitfacf2502afa4b52c14ba40f6d47f80ce7e316b96
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 9 Mar 2016 16:09:07 +0000 (9 17:09 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Mar 2016 13:21:15 +0000 (10 14:21 +0100)
tree8c28e16c9af3e533349d751a06fe20faa0d471c1
parent3e9473dfd3b84da891e508aebe3d418abfa7c19c
isl_map_plain_is_disjoint: extract out isl_map_plain_is_disjoint_global

This function will be reused in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_simplify.c