From 4d45b72db1981322fd745c7675aff5e32abd519f Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 28 Jan 2014 14:36:14 +0100 Subject: [PATCH] doc: move isl_local_space operations to unary/binary operations sections This move should clarify the relation between these operations and the corresponding operations on sets and relations. Signed-off-by: Sven Verdoolaege --- doc/user.pod | 124 ++++++++++++++++++++++++++++++++++++----------------------- 1 file changed, 76 insertions(+), 48 deletions(-) diff --git a/doc/user.pod b/doc/user.pod index deda5611..30d301ff 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1052,26 +1052,8 @@ Two local spaces can be compared using __isl_keep isl_local_space *ls2); Local spaces can be created from other local spaces -using the following functions. - - __isl_give isl_local_space *isl_local_space_domain( - __isl_take isl_local_space *ls); - __isl_give isl_local_space *isl_local_space_range( - __isl_take isl_local_space *ls); - __isl_give isl_local_space *isl_local_space_from_domain( - __isl_take isl_local_space *ls); - __isl_give isl_local_space *isl_local_space_intersect( - __isl_take isl_local_space *ls1, - __isl_take isl_local_space *ls2); - __isl_give isl_local_space *isl_local_space_add_dims( - __isl_take isl_local_space *ls, - enum isl_dim_type type, unsigned n); - __isl_give isl_local_space *isl_local_space_insert_dims( - __isl_take isl_local_space *ls, - enum isl_dim_type type, unsigned first, unsigned n); - __isl_give isl_local_space *isl_local_space_drop_dims( - __isl_take isl_local_space *ls, - enum isl_dim_type type, unsigned first, unsigned n); +using the functions described in L +and L. =head2 Input and Output @@ -2175,30 +2157,43 @@ change over different versions of C. =item * Projection + #include + __isl_give isl_local_space *isl_local_space_domain( + __isl_take isl_local_space *ls); + __isl_give isl_local_space *isl_local_space_range( + __isl_take isl_local_space *ls); + + #include __isl_give isl_basic_set *isl_basic_set_project_out( __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first, unsigned n); + __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, + enum isl_dim_type type, unsigned first, unsigned n); + __isl_give isl_basic_set *isl_basic_set_params( + __isl_take isl_basic_set *bset); + __isl_give isl_set *isl_set_params(__isl_take isl_set *set); + + #include __isl_give isl_basic_map *isl_basic_map_project_out( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n); - __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set, - enum isl_dim_type type, unsigned first, unsigned n); __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n); - __isl_give isl_basic_set *isl_basic_set_params( - __isl_take isl_basic_set *bset); __isl_give isl_basic_set *isl_basic_map_domain( __isl_take isl_basic_map *bmap); __isl_give isl_basic_set *isl_basic_map_range( __isl_take isl_basic_map *bmap); - __isl_give isl_set *isl_set_params(__isl_take isl_set *set); __isl_give isl_set *isl_map_params(__isl_take isl_map *map); __isl_give isl_set *isl_map_domain( __isl_take isl_map *bmap); __isl_give isl_set *isl_map_range( __isl_take isl_map *map); + + #include __isl_give isl_set *isl_union_set_params( __isl_take isl_union_set *uset); + + #include __isl_give isl_set *isl_union_map_params( __isl_take isl_union_map *umap); __isl_give isl_union_set *isl_union_map_domain( @@ -2206,12 +2201,15 @@ change over different versions of C. __isl_give isl_union_set *isl_union_map_range( __isl_take isl_union_map *umap); + #include __isl_give isl_basic_map *isl_basic_map_domain_map( __isl_take isl_basic_map *bmap); __isl_give isl_basic_map *isl_basic_map_range_map( __isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_domain_map(__isl_take isl_map *map); __isl_give isl_map *isl_map_range_map(__isl_take isl_map *map); + + #include __isl_give isl_union_map *isl_union_map_domain_map( __isl_take isl_union_map *umap); __isl_give isl_union_map *isl_union_map_range_map( @@ -2242,6 +2240,10 @@ without removing the dimensions. =item * Constructing a relation from a set + #include + __isl_give isl_local_space *isl_local_space_from_domain( + __isl_take isl_local_space *ls); + #include __isl_give isl_map *isl_map_from_domain( __isl_take isl_set *set); @@ -2819,41 +2821,55 @@ All parameters need to be named. =item * Dimension manipulation + #include + __isl_give isl_local_space *isl_local_space_add_dims( + __isl_take isl_local_space *ls, + enum isl_dim_type type, unsigned n); + __isl_give isl_local_space *isl_local_space_insert_dims( + __isl_take isl_local_space *ls, + enum isl_dim_type type, unsigned first, unsigned n); + __isl_give isl_local_space *isl_local_space_drop_dims( + __isl_take isl_local_space *ls, + enum isl_dim_type type, unsigned first, unsigned n); + + #include __isl_give isl_basic_set *isl_basic_set_add_dims( __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned n); __isl_give isl_set *isl_set_add_dims( __isl_take isl_set *set, enum isl_dim_type type, unsigned n); - __isl_give isl_map *isl_map_add_dims( - __isl_take isl_map *map, - enum isl_dim_type type, unsigned n); __isl_give isl_basic_set *isl_basic_set_insert_dims( __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, unsigned n); - __isl_give isl_basic_map *isl_basic_map_insert_dims( - __isl_take isl_basic_map *bmap, - enum isl_dim_type type, unsigned pos, - unsigned n); __isl_give isl_set *isl_set_insert_dims( __isl_take isl_set *set, enum isl_dim_type type, unsigned pos, unsigned n); - __isl_give isl_map *isl_map_insert_dims( - __isl_take isl_map *map, - enum isl_dim_type type, unsigned pos, unsigned n); __isl_give isl_basic_set *isl_basic_set_move_dims( __isl_take isl_basic_set *bset, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n); - __isl_give isl_basic_map *isl_basic_map_move_dims( - __isl_take isl_basic_map *bmap, + __isl_give isl_set *isl_set_move_dims( + __isl_take isl_set *set, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n); - __isl_give isl_set *isl_set_move_dims( - __isl_take isl_set *set, + + #include + __isl_give isl_map *isl_map_add_dims( + __isl_take isl_map *map, + enum isl_dim_type type, unsigned n); + __isl_give isl_basic_map *isl_basic_map_insert_dims( + __isl_take isl_basic_map *bmap, + enum isl_dim_type type, unsigned pos, + unsigned n); + __isl_give isl_map *isl_map_insert_dims( + __isl_take isl_map *map, + enum isl_dim_type type, unsigned pos, unsigned n); + __isl_give isl_basic_map *isl_basic_map_move_dims( + __isl_take isl_basic_map *bmap, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n); @@ -2884,6 +2900,12 @@ the same (number of) parameters. =item * Intersection + #include + __isl_give isl_local_space *isl_local_space_intersect( + __isl_take isl_local_space *ls1, + __isl_take isl_local_space *ls2); + + #include __isl_give isl_basic_set *isl_basic_set_intersect_params( __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2); @@ -2896,15 +2918,8 @@ the same (number of) parameters. __isl_give isl_set *isl_set_intersect( __isl_take isl_set *set1, __isl_take isl_set *set2); - __isl_give isl_union_set *isl_union_set_intersect_params( - __isl_take isl_union_set *uset, - __isl_take isl_set *set); - __isl_give isl_union_map *isl_union_map_intersect_params( - __isl_take isl_union_map *umap, - __isl_take isl_set *set); - __isl_give isl_union_set *isl_union_set_intersect( - __isl_take isl_union_set *uset1, - __isl_take isl_union_set *uset2); + + #include __isl_give isl_basic_map *isl_basic_map_intersect_domain( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset); @@ -2926,6 +2941,19 @@ the same (number of) parameters. __isl_give isl_map *isl_map_intersect( __isl_take isl_map *map1, __isl_take isl_map *map2); + + #include + __isl_give isl_union_set *isl_union_set_intersect_params( + __isl_take isl_union_set *uset, + __isl_take isl_set *set); + __isl_give isl_union_set *isl_union_set_intersect( + __isl_take isl_union_set *uset1, + __isl_take isl_union_set *uset2); + + #include + __isl_give isl_union_map *isl_union_map_intersect_params( + __isl_take isl_union_map *umap, + __isl_take isl_set *set); __isl_give isl_union_map *isl_union_map_intersect_domain( __isl_take isl_union_map *umap, __isl_take isl_union_set *uset); -- 2.11.4.GIT