isl_map_is_subset: break off as soon as difference is known to be non-empty
authorSven Verdoolaege <sven@cs.kuleuven.be>
Sat, 5 Dec 2009 17:50:12 +0000 (18:50 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 8 Dec 2009 09:55:58 +0000 (10:55 +0100)
commitf6a7793a0b2a9e3a5c39fc64f796de6b7690de44
tree6a18b7879f245f07f2c63c4733c329b1055fd5ce
parent7363f6815120c3bf0b7e67df5e169ffc8d037318
isl_map_is_subset: break off as soon as difference is known to be non-empty
isl_map_subtract.c