From 72b7369ff5add954792626b0ca72552a4d054fb9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 4 Jun 2010 20:41:00 +0200 Subject: [PATCH] doc: document isl_constraint_is_equality --- doc/user.pod | 6 ++++++ include/isl_constraint.h | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/doc/user.pod b/doc/user.pod index 8925fc07..2833ef9e 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -772,6 +772,12 @@ To iterate over the constraints of a basic set or map, use Again, the callback function C should return 0 if successful and -1 if an error occurs. In the latter case, or if any other error occurs, the above functions will return -1. +The constraint C represents either an equality or an inequality. +Use the following function to find out whether a constraint +represents an equality. If not, it represents an inequality. + + int isl_constraint_is_equality( + __isl_keep isl_constraint *constraint); The coefficients of the constraints can be inspected using the following functions. diff --git a/include/isl_constraint.h b/include/isl_constraint.h index e1900665..f7ee5630 100644 --- a/include/isl_constraint.h +++ b/include/isl_constraint.h @@ -85,7 +85,7 @@ struct isl_constraint *isl_constraint_add_div(struct isl_constraint *constraint, void isl_constraint_clear(struct isl_constraint *constraint); struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint); -int isl_constraint_is_equality(struct isl_constraint *constraint); +int isl_constraint_is_equality(__isl_keep isl_constraint *constraint); __isl_give isl_basic_map *isl_basic_map_from_constraint( __isl_take isl_constraint *constraint); -- 2.11.4.GIT