From 735fa9f9fe631fb316bd69ffe6232d65dda5a2e8 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 2 Nov 2011 16:44:52 +0100 Subject: [PATCH] document *lower_bound_si functions Signed-off-by: Sven Verdoolaege --- doc/user.pod | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 13cb4b4..6862e2b 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1784,6 +1784,19 @@ without removing the dimensions. Intersect the set or relation with the hyperplane where the given dimension has the fixed given value. + __isl_give isl_basic_map *isl_basic_map_lower_bound_si( + __isl_take isl_basic_map *bmap, + enum isl_dim_type type, unsigned pos, int value); + __isl_give isl_set *isl_set_lower_bound_si( + __isl_take isl_set *set, + enum isl_dim_type type, unsigned pos, int value); + __isl_give isl_map *isl_map_lower_bound_si( + __isl_take isl_map *map, + enum isl_dim_type type, unsigned pos, int value); + +Intersect the set or relation with the half-space where the given +dimension has a value bounded the fixed given value. + __isl_give isl_set *isl_set_equate(__isl_take isl_set *set, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2); -- 2.7.4