From 2f909e4d3e604db2e55654f4640c4b520d5c00f5 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 21 Sep 2011 14:13:53 +0200 Subject: [PATCH] export isl_pw_aff_plain_is_equal Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/aff.h | 2 ++ 2 files changed, 5 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 8a504be..e6bb3a7 100644 --- 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 --- 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); -- 2.7.4