isl/dist/isl_union_map.c

232 	isl_map *map = *entry;
237 static isl_stat add_map(__isl_take isl_map *map, void *user)
280 	isl_map *map = *entry;
460 	isl_map *map = (isl_map *)entry;
503 	__isl_take isl_map *map)
554 __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map)
571  * but is considered as a function on an isl_map when exported.
573 __isl_give isl_union_map *isl_map_to_union_map(__isl_take isl_map *map)
605 	isl_stat (*fn)(__isl_take isl_map *map, void *user);
611 	isl_map *map = *entry;
629 	isl_stat (*fn)(__isl_take isl_map *map, void *user), void *user)
649 	isl_bool (*test)(__isl_keep isl_map *map, void *user);
659 	isl_map *map = *entry;
675 	isl_bool (*test)(__isl_keep isl_map *map, void *user), void *user)
694 static isl_stat add_list_map(__isl_take isl_map *map, void *user)
738 /* Can "umap" be converted to an isl_map?
761 	isl_map *map = *entry;
762 	isl_map **map_p = user;
769 __isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap)
773 	isl_map *map = NULL;
797 __isl_give isl_map *isl_union_map_as_map(__isl_take isl_union_map *umap)
818 __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *umap,
867 		(isl_stat(*)(__isl_take isl_map *, void*))fn, user);
883 static isl_bool test_set_from_map(__isl_keep isl_map *map, void *user)
943 	isl_bool (*filter)(__isl_keep isl_map *map);
945 	__isl_give isl_map *(*fn_map)(__isl_take isl_map *map1,
946 		__isl_take isl_map *map2);
963 	__isl_keep isl_map *map)
972 	__isl_keep isl_map *map1, __isl_keep isl_map *map2,
976 	isl_map *map;
1007 	struct isl_union_map_gen_bin_data *data, __isl_keep isl_map *map)
1045 	isl_map *map = *entry;
1122 	isl_map *map = *entry;
1213 	__isl_give isl_map *(*fn)(__isl_take isl_map*, __isl_take isl_map*);
1221 	isl_map *map = *entry;
1251 	__isl_give isl_map *(*fn)(__isl_take isl_map*, __isl_take isl_map*))
1312 	isl_map *map = *entry;
1377 static __isl_give isl_map *lex_le_set(__isl_take isl_map *set1,
1378 	__isl_take isl_map *set2)
1383 static __isl_give isl_map *lex_lt_set(__isl_take isl_map *set1,
1384 	__isl_take isl_map *set2)
1612 	isl_map *map;
1619 	isl_map *map2 = *entry;
1649 	isl_map *map = *entry;
1745 	isl_map *map2 = *entry;
1771 	isl_map *map2 = *entry;
1797 	isl_map *map2 = *entry;
1833 	isl_map *map2 = *entry;
1862 	isl_map *map2 = *entry;
1891 	isl_map *map2 = *entry;
1920 	isl_map *map2 = *entry;
1964 	isl_bool (*filter)(__isl_keep isl_map *map, void *user);
1966 	__isl_give isl_map *(*fn_map)(__isl_take isl_map *map);
1967 	__isl_give isl_map *(*fn_map2)(__isl_take isl_map *map, void *user);
1975 	isl_bool (*filter)(__isl_keep isl_map *map);
1982 static isl_bool un_op_filter_drop_user(__isl_keep isl_map *map, void *user)
2010 	isl_map *map = *entry;
2110 	__isl_give isl_map *(*fn)(__isl_take isl_map *))
2120 /* Compute the affine hull of "map" and return the result as an isl_map.
2122 static __isl_give isl_map *isl_map_affine_hull_map(__isl_take isl_map *map)
2161 /* Compute the polyhedral hull of "map" and return the result as an isl_map.
2163 static __isl_give isl_map *isl_map_polyhedral_hull_map(__isl_take isl_map *map)
2182  * return the result as an isl_map.
2184 static __isl_give isl_map *isl_map_simple_hull_map(__isl_take isl_map *map)
2202 	__isl_give isl_map *(*fn)(__isl_take isl_map *))
2292 static __isl_give isl_map *universe(__isl_take isl_map *map)
2411 static isl_stat domain_map_upma(__isl_take isl_map *map, void *user)
2467 static isl_bool equal_tuples(__isl_keep isl_map *map, void *user)
2650 	isl_map *map = *entry;
2754 	isl_map *map = *entry;
2814 	isl_map *map = *entry;
2862 	isl_bool (*fn)(__isl_keep isl_map *map);
2868 	isl_map *map = *entry;
2881 	isl_bool (*fn)(__isl_keep isl_map *map))
2897 	isl_bool (*fn)(__isl_keep isl_map *map, void *user);
2904 	isl_map *map = *entry;
2919 	isl_bool (*fn)(__isl_keep isl_map *map, void *user), void *user)
2955 static isl_bool is_subset_of_identity(__isl_keep isl_map *map)
2959 	isl_map *id;
2983 	isl_map *map;
3007  * as an isl_map.
3051  * If the union map consists of a single map, then test it as an isl_map.
3105 static isl_stat map_plain_is_not_identity(__isl_take isl_map *map, void *user)
3149 static isl_stat map_is_identity(__isl_take isl_map *map, void *user)
3193 	isl_map *map;
3243 static isl_bool fixed_at_pos(__isl_keep isl_map *map, void *user)
3573 static int domain_match(__isl_keep isl_map *map, __isl_keep isl_space *space)
3581 static int range_match(__isl_keep isl_map *map, __isl_keep isl_space *space)
3589 static int set_match(__isl_keep isl_map *map, __isl_keep isl_space *space)
3607 	int (*match)(__isl_keep isl_map *map, __isl_keep isl_space *space);
3608 	__isl_give isl_map *(*fn)(__isl_take isl_map *map,
3620 	isl_map *map = *entry;
3652 	int (*match)(__isl_keep isl_map *map, __isl_keep isl_space *space),
3653 	__isl_give isl_map *(*fn)(__isl_take isl_map *map,
3782 	int (*match)(__isl_keep isl_map *map, __isl_keep isl_space *space);
3783 	__isl_give isl_map *(*fn)(__isl_take isl_map *map,
3795 	isl_map *map = *entry;
3827 	int (*match)(__isl_keep isl_map *map, __isl_keep isl_space *space),
3828 	__isl_give isl_map *(*fn)(__isl_take isl_map *map,
4037 static isl_stat project_out(__isl_take isl_map *map, void *user)
4115 static isl_bool map_excludes(__isl_keep isl_map *map, void *user)
4160 static isl_stat reset_range_space(__isl_take isl_map *map, void *user)
4227 static isl_stat reset_params(__isl_take isl_map *map, void *user)
4285 	__isl_give isl_map *(*order)(__isl_take isl_multi_pw_aff *mpa1,
4294 static isl_stat order_at(__isl_take isl_map *map, void *user)
4299 	isl_map *order;
4353 	__isl_give isl_map *(*order)(__isl_take isl_multi_pw_aff *mpa1,
4436 static isl_stat add_hash(__isl_take isl_map *map, void *user)
4542 	isl_bool (*fn)(__isl_keep isl_map *map, void *user);
4549 static isl_bool not(__isl_keep isl_map *map, void *user)
4559 static __isl_give isl_map *map_id(__isl_take isl_map *map)
4572 	isl_bool (*fn)(__isl_keep isl_map *map, void *user), void *user)
4585 static isl_bool has_domain_space_tuples(__isl_keep isl_map *map, void *user)
4594 static isl_bool has_range_space_tuples(__isl_keep isl_map *map, void *user)
4603 static __isl_give isl_map *bind_range(__isl_take isl_map *map, void *user)