document isl_*_fix functions

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

diff --git a/doc/user.pod b/doc/user.pod
index b885501..f8ce0bf 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1417,6 +1417,29 @@ that maps (a wrapped version of) the input relation to its domain or range.
 Eliminate the coefficients for the given dimensions from the constraints,
 without removing the dimensions.
 
+=item * Slicing
+
+       __isl_give isl_basic_set *isl_basic_set_fix(
+               __isl_take isl_basic_set *bset,
+               enum isl_dim_type type, unsigned pos,
+               isl_int value);
+       __isl_give isl_basic_set *isl_basic_set_fix_si(
+               __isl_take isl_basic_set *bset,
+               enum isl_dim_type type, unsigned pos, int value);
+       __isl_give isl_set *isl_set_fix(__isl_take isl_set *set,
+               enum isl_dim_type type, unsigned pos,
+               isl_int value);
+       __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
+               enum isl_dim_type type, unsigned pos, int value);
+       __isl_give isl_basic_map *isl_basic_map_fix_si(
+               __isl_take isl_basic_map *bmap,
+               enum isl_dim_type type, unsigned pos, int value);
+       __isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
+               enum isl_dim_type type, unsigned pos, int value);
+
+Intersect the set or relation with the hyperplane where the given
+dimension has the fixed given value.
+
 =item * Identity
 
        __isl_give isl_map *isl_set_identity(

diff --git a/include/isl/map.h b/include/isl/map.h
index fab2885..306f8a9 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -179,7 +179,7 @@ __isl_give isl_printer *isl_printer_print_basic_map(
        __isl_take isl_printer *printer, __isl_keep isl_basic_map *bmap);
 __isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *printer,
        __isl_keep isl_map *map);
-struct isl_basic_map *isl_basic_map_fix_si(struct isl_basic_map *bmap,
+__isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap,
                enum isl_dim_type type, unsigned pos, int value);
 __isl_give isl_basic_map *isl_basic_map_lower_bound_si(
                __isl_take isl_basic_map *bmap,
@@ -304,7 +304,7 @@ __isl_give isl_map *isl_map_subtract(
                __isl_take isl_map *map2);
 struct isl_map *isl_map_fix_input_si(struct isl_map *map,
                unsigned input, int value);
-struct isl_map *isl_map_fix_si(struct isl_map *map,
+__isl_give isl_map *isl_map_fix_si(__isl_take isl_map *map,
                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);

diff --git a/include/isl/set.h b/include/isl/set.h
index e50a77c..9c058a3 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -120,7 +120,7 @@ void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent,
        unsigned output_format);
 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,
                enum isl_dim_type type, unsigned pos, isl_int value);
-struct isl_basic_set *isl_basic_set_fix_si(struct isl_basic_set *bset,
+__isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset,
                enum isl_dim_type type, unsigned pos, int value);
 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
                enum isl_dim_type type, unsigned pos, int value);