add isl_basic_set_is_subset
commit47c29b05d2b35599bd319780334f38a909efb1dd
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 24 Feb 2012 08:55:43 +0000 (24 09:55 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 24 Feb 2012 15:03:39 +0000 (24 16:03 +0100)
treec97af21e5198dfb8211bab3cb861b6d14e088cc0
parent5f1289e96857360d083b85f30e9e75bdcc2faa70
add isl_basic_set_is_subset

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/set.h
isl_map.c