export isl_pw_aff_plain_is_equal

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

diff --git a/doc/user.pod b/doc/user.pod
index 8a504be..e6bb3a7 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2676,6 +2676,9 @@ or obviously equal to some other affine expression, use
        int isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
        int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1,
                __isl_keep isl_aff *aff2);
+       int isl_pw_aff_plain_is_equal(
+               __isl_keep isl_pw_aff *pwaff1,
+               __isl_keep isl_pw_aff *pwaff2);
 
 Operations include
 

diff --git a/include/isl/aff.h b/include/isl/aff.h
index 80472c9..82078b0 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -103,6 +103,8 @@ __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
        __isl_take isl_aff *aff);
 
 int isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
+int isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
+       __isl_keep isl_pw_aff *pwaff2);
 
 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
        __isl_take isl_pw_aff *pwaff2);