projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fa52719
)
export isl_basic_map_is_subset
author
Sven Verdoolaege
<skimo@kotnet.org>
Fri, 24 Feb 2012 14:36:51 +0000
(15:36 +0100)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Fri, 24 Feb 2012 14:37:09 +0000
(15:37 +0100)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/isl/map.h
patch
|
blob
|
history
diff --git
a/include/isl/map.h
b/include/isl/map.h
index
f17d46b
..
a4969e6
100644
(file)
--- a/
include/isl/map.h
+++ b/
include/isl/map.h
@@
-272,6
+272,7
@@
int isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
int isl_basic_map_fast_is_empty(__isl_keep isl_basic_map *bmap);
__isl_export
int isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
+__isl_export
int isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
__isl_keep isl_basic_map *bmap2);
int isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1,