isl_set_overlaps: implement in terms of isl_set_is_disjoint
commite18e4fd059d53adcff323298c9553803a068d9ec
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Sep 2016 15:05:21 +0000 (6 17:05 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 22 Jun 2019 14:42:31 +0000 (22 16:42 +0200)
tree71017ad8ae9b96a2389bbd0b81f433cffcd2880d
parent85347e1da817c7ea08e67cb03a864ea430a1a065
isl_set_overlaps: implement in terms of isl_set_is_disjoint

This removes some code duplication and should be more efficient
because isl_set_is_disjoint avoids computing the entire intersection
in some cases.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_transitive_closure.c