export isl_space_is_domain

[platform/upstream/isl.git] / doc / user.pod

diff --git a/doc/user.pod b/doc/user.pod
index b2f6483..159dba3 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -614,6 +614,20 @@ or whether it is a parameter space, use these functions:
        #include <isl/space.h>
        int isl_space_is_params(__isl_keep isl_space *space);
        int isl_space_is_set(__isl_keep isl_space *space);
+       int isl_space_is_map(__isl_keep isl_space *space);
+
+Spaces can be compared using the following functions:
+
+       #include <isl/space.h>
+       int isl_space_is_equal(__isl_keep isl_space *space1,
+               __isl_keep isl_space *space2);
+       int isl_space_is_domain(__isl_keep isl_space *space1,
+               __isl_keep isl_space *space2);
+
+C<isl_space_is_domain> checks whether the first argument is equal
+to the domain of the second argument.  This requires in particular that
+the first argument is a set space and that the second argument
+is a map space.
 
 It is often useful to create objects that live in the
 same space as some other object.  This can be accomplished
@@ -1004,7 +1018,7 @@ be created.
        __isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx,
                FILE *file);
        __isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx);
-       void isl_printer_free(__isl_take isl_printer *printer);
+       void *isl_printer_free(__isl_take isl_printer *printer);
        __isl_give char *isl_printer_get_str(
                __isl_keep isl_printer *printer);
 
@@ -1631,6 +1645,8 @@ or relation can be read off or set using the following functions.
        __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
                __isl_take isl_basic_map *bmap,
                enum isl_dim_type type, const char *s);
+       int isl_map_has_tuple_name(__isl_keep isl_map *map,
+               enum isl_dim_type type);
        const char *isl_map_get_tuple_name(
                __isl_keep isl_map *map,
                enum isl_dim_type type);
@@ -3579,6 +3595,9 @@ Operations include
        __isl_give isl_multi_aff *isl_multi_aff_align_params(
                __isl_take isl_multi_aff *multi,
                __isl_take isl_space *model);
+       __isl_give isl_pw_multi_aff *
+       isl_pw_multi_aff_project_domain_on_params(
+               __isl_take isl_pw_multi_aff *pma);
        __isl_give isl_multi_aff *isl_multi_aff_gist_params(
                __isl_take isl_multi_aff *maff,
                __isl_take isl_set *context);