declare isl_basic_map_product

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

diff --git a/doc/user.pod b/doc/user.pod
index c87394a..fcc2ca3 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2588,6 +2588,9 @@ a parametric set as well.
        __isl_give isl_basic_map *isl_basic_map_range_product(
                __isl_take isl_basic_map *bmap1,
                __isl_take isl_basic_map *bmap2);
+       __isl_give isl_basic_map *isl_basic_map_product(
+               __isl_take isl_basic_map *bmap1,
+               __isl_take isl_basic_map *bmap2);
        __isl_give isl_map *isl_map_domain_product(
                __isl_take isl_map *map1,
                __isl_take isl_map *map2);

diff --git a/include/isl/map.h b/include/isl/map.h
index c5378e0..435a7ad 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -331,6 +331,8 @@ __isl_export
 __isl_give isl_map *isl_map_apply_range(
                __isl_take isl_map *map1,
                __isl_take isl_map *map2);
+__isl_give isl_basic_map *isl_basic_map_product(
+       __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
 __isl_give isl_map *isl_map_product(__isl_take isl_map *map1,
        __isl_take isl_map *map2);
 __isl_give isl_basic_map *isl_basic_map_domain_product(