isl_union_map.c File Reference

#include <isl_map_private.h>
#include <isl_union_map_private.h>
#include <isl/ctx.h>
#include <isl/hash.h>
#include <isl_aff_private.h>
#include <isl/map.h>
#include <isl/set.h>
#include <isl_space_private.h>
#include <isl/union_set.h>
#include <isl_maybe_map.h>
#include <isl_id_private.h>
#include <bset_from_bmap.c>
#include <set_to_map.c>
#include <set_from_map.c>
#include <uset_to_umap.c>
#include <uset_from_umap.c>
#include <set_list_from_map_list_inl.c>
#include "has_single_reference_templ.c"
#include "check_single_reference_templ.c"
#include "isl_project_out_all_params_templ.c"
#include "isl_project_out_param_templ.c"
#include "isl_union_map_lex_templ.c"

Go to the source code of this file.

Classes
struct	isl_union_align
struct	isl_union_map_foreach_data
struct	isl_union_map_every_data
struct	isl_test_set_from_map_data
struct	isl_union_set_foreach_point_data
struct	isl_bin_op_control
struct	isl_union_map_gen_bin_data
struct	isl_union_map_gen_bin_set_data
struct	isl_union_map_match_bin_data
struct	isl_union_map_bin_data
struct	isl_un_op_control
struct	isl_un_op_drop_user_data
struct	isl_union_map_un_data
struct	isl_union_map_is_subset_data
struct	isl_union_map_is_disjoint_data
struct	isl_forall_data
struct	isl_forall_user_data
struct	isl_union_map_is_sv_data
struct	isl_fixed_map
struct	isl_fixed_dim_data
struct	isl_union_map_preimage_data
struct	isl_union_map_preimage_mpa_data
struct	isl_union_map_preimage_upma_data
struct	isl_union_map_project_out_data
struct	isl_union_map_involves_dims_data
struct	isl_union_map_reset_range_space_data
struct	isl_union_map_reset_params_data
struct	isl_union_order_at_data
struct	isl_union_map_remove_map_if_data

Macros
#define	TYPE   isl_union_map
#define	TYPE   isl_union_map
#define	ORDER   le
#define	ORDER   lt
#define	ORDER   ge
#define	ORDER   gt

Functions
static static isl_size	isl_union_map_dim (__isl_keep isl_union_map *umap, enum isl_dim_type type)
isl_size	isl_union_set_dim (__isl_keep isl_union_set *uset, enum isl_dim_type type)
__isl_give isl_id *	isl_union_map_get_dim_id (__isl_keep isl_union_map *umap, enum isl_dim_type type, unsigned pos)
isl_bool	isl_union_set_is_params (__isl_keep isl_union_set *uset)
isl_bool	isl_union_map_is_params (__isl_keep isl_union_map *umap)
static __isl_give isl_union_map *	isl_union_map_alloc (__isl_take isl_space *space, int size)
__isl_give isl_union_map *	isl_union_map_empty_ctx (isl_ctx *ctx)
__isl_give isl_union_map *	isl_union_map_empty_space (__isl_take isl_space *space)
__isl_give isl_union_map *	isl_union_map_empty (__isl_take isl_space *space)
__isl_give isl_union_set *	isl_union_set_empty_ctx (isl_ctx *ctx)
__isl_give isl_union_set *	isl_union_set_empty_space (__isl_take isl_space *space)
__isl_give isl_union_set *	isl_union_set_empty (__isl_take isl_space *space)
isl_ctx *	isl_union_map_get_ctx (__isl_keep isl_union_map *umap)
isl_ctx *	isl_union_set_get_ctx (__isl_keep isl_union_set *uset)
__isl_keep isl_space *	isl_union_map_peek_space (__isl_keep isl_union_map *umap)
__isl_keep isl_space *	isl_union_set_peek_space (__isl_keep isl_union_set *uset)
__isl_give isl_space *	isl_union_map_get_space (__isl_keep isl_union_map *umap)
int	isl_union_map_find_dim_by_name (__isl_keep isl_union_map *umap, enum isl_dim_type type, const char *name)
static int	isl_union_map_find_dim_by_id (__isl_keep isl_union_map *umap, enum isl_dim_type type, __isl_keep isl_id *id)
__isl_give isl_space *	isl_union_set_get_space (__isl_keep isl_union_set *uset)
static isl_stat	free_umap_entry (void **entry, void *user)
static isl_stat	add_map (__isl_take isl_map *map, void *user)
__isl_give isl_union_map *	isl_union_map_dup (__isl_keep isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_cow (__isl_take isl_union_map *umap)
static isl_stat	align_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_align_params (__isl_take isl_union_map *umap, __isl_take isl_space *model)
__isl_give isl_union_set *	isl_union_set_align_params (__isl_take isl_union_set *uset, __isl_take isl_space *model)
__isl_give isl_union_map *	isl_union_map_union (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
__isl_give isl_union_set *	isl_union_set_union (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
__isl_give isl_union_map *	isl_union_map_copy (__isl_keep isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_copy (__isl_keep isl_union_set *uset)
__isl_null isl_union_map *	isl_union_map_free (__isl_take isl_union_map *umap)
__isl_null isl_union_set *	isl_union_set_free (__isl_take isl_union_set *uset)
isl_bool	isl_union_map_space_has_equal_params (__isl_keep isl_union_map *umap, __isl_keep isl_space *space)
isl_bool	isl_union_set_space_has_equal_params (__isl_keep isl_union_set *uset, __isl_keep isl_space *space)
static isl_bool	has_space_tuples (const void *entry, const void *val)
static struct isl_hash_table_entry *	isl_union_map_find_entry (__isl_keep isl_union_map *umap, __isl_keep isl_space *space, int reserve)
struct isl_hash_table_entry *	isl_union_set_find_entry (__isl_keep isl_union_set *uset, __isl_keep isl_space *space, int reserve)
__isl_give isl_union_map *	isl_union_map_add_map (__isl_take isl_union_map *umap, __isl_take isl_map *map)
__isl_give isl_union_set *	isl_union_set_add_set (__isl_take isl_union_set *uset, __isl_take isl_set *set)
__isl_give isl_union_map *	isl_union_map_from_map (__isl_take isl_map *map)
__isl_give isl_union_map *	isl_map_to_union_map (__isl_take isl_map *map)
__isl_give isl_union_set *	isl_union_set_from_set (__isl_take isl_set *set)
__isl_give isl_union_set *	isl_set_to_union_set (__isl_take isl_set *set)
__isl_give isl_union_map *	isl_union_map_from_basic_map (__isl_take isl_basic_map *bmap)
__isl_give isl_union_set *	isl_union_set_from_basic_set (__isl_take isl_basic_set *bset)
static isl_stat	call_on_copy (void **entry, void *user)
isl_size	isl_union_map_n_map (__isl_keep isl_union_map *umap)
isl_size	isl_union_set_n_set (__isl_keep isl_union_set *uset)
isl_stat	isl_union_map_foreach_map (__isl_keep isl_union_map *umap, isl_stat(*fn)(__isl_take isl_map *map, void *user), void *user)
static isl_stat	call_every (void **entry, void *user)
isl_bool	isl_union_map_every_map (__isl_keep isl_union_map *umap, isl_bool(*test)(__isl_keep isl_map *map, void *user), void *user)
static isl_stat	add_list_map (__isl_take isl_map *map, void *user)
__isl_give isl_map_list *	isl_union_map_get_map_list (__isl_keep isl_union_map *umap)
__isl_give isl_set_list *	isl_union_set_get_set_list (__isl_keep isl_union_set *uset)
isl_bool	isl_union_map_isa_map (__isl_keep isl_union_map *umap)
isl_bool	isl_union_set_isa_set (__isl_keep isl_union_set *uset)
static isl_stat	copy_map (void **entry, void *user)
__isl_give isl_map *	isl_map_from_union_map (__isl_take isl_union_map *umap)
__isl_give isl_map *	isl_union_map_as_map (__isl_take isl_union_map *umap)
__isl_give isl_set *	isl_set_from_union_set (__isl_take isl_union_set *uset)
__isl_give isl_set *	isl_union_set_as_set (__isl_take isl_union_set *uset)
__isl_give isl_map *	isl_union_map_extract_map (__isl_keep isl_union_map *umap, __isl_take isl_space *space)
__isl_give isl_set *	isl_union_set_extract_set (__isl_keep isl_union_set *uset, __isl_take isl_space *space)
isl_bool	isl_union_map_contains (__isl_keep isl_union_map *umap, __isl_keep isl_space *space)
isl_bool	isl_union_set_contains (__isl_keep isl_union_set *uset, __isl_keep isl_space *space)
isl_stat	isl_union_set_foreach_set (__isl_keep isl_union_set *uset, isl_stat(*fn)(__isl_take isl_set *set, void *user), void *user)
static isl_bool	test_set_from_map (__isl_keep isl_map *map, void *user)
isl_bool	isl_union_set_every_set (__isl_keep isl_union_set *uset, isl_bool(*test)(__isl_keep isl_set *set, void *user), void *user)
static isl_stat	foreach_point (__isl_take isl_set *set, void *user)
isl_stat	isl_union_set_foreach_point (__isl_keep isl_union_set *uset, isl_stat(*fn)(__isl_take isl_point *pnt, void *user), void *user)
static __isl_give isl_union_map *	bin_add_map (__isl_take isl_union_map *res, __isl_keep isl_map *map)
static __isl_give isl_union_map *	bin_add_pair (__isl_take isl_union_map *res, __isl_keep isl_map *map1, __isl_keep isl_map *map2, struct isl_union_map_gen_bin_data *data)
static __isl_give isl_space *	identity (__isl_take isl_space *space)
static __isl_keep isl_maybe_isl_map	bin_try_get_match (struct isl_union_map_gen_bin_data *data, __isl_keep isl_map *map)
static isl_stat	gen_bin_entry (void **entry, void *user)
static __isl_give isl_union_map *	gen_bin_op (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2, struct isl_bin_op_control *control)
__isl_give isl_union_map *	isl_union_map_subtract (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
__isl_give isl_union_set *	isl_union_set_subtract (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
static isl_stat	intersect_params_entry (void **entry, void *user)
static __isl_give isl_union_map *	gen_bin_set_op (__isl_take isl_union_map *umap, __isl_take isl_set *set, isl_stat(*fn)(void **, void *))
__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_params (__isl_take isl_union_set *uset, __isl_take isl_set *set)
static __isl_give isl_union_map *	union_map_intersect_params (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
static __isl_give isl_union_map *	union_map_gist_params (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
static isl_stat	match_bin_entry (void **entry, void *user)
static __isl_give isl_union_map *	match_bin_op (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2, __isl_give isl_map *(*fn)(__isl_take isl_map *, __isl_take isl_map *))
__isl_give isl_union_map *	isl_union_map_intersect (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
__isl_give isl_union_set *	isl_union_set_intersect (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
static isl_stat	gist_params_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_gist_params (__isl_take isl_union_map *umap, __isl_take isl_set *set)
__isl_give isl_union_set *	isl_union_set_gist_params (__isl_take isl_union_set *uset, __isl_take isl_set *set)
__isl_give isl_union_map *	isl_union_map_gist (__isl_take isl_union_map *umap, __isl_take isl_union_map *context)
__isl_give isl_union_set *	isl_union_set_gist (__isl_take isl_union_set *uset, __isl_take isl_union_set *context)
__isl_give isl_union_map *	isl_union_map_plain_gist (__isl_take isl_union_map *umap, __isl_take isl_union_map *context)
__isl_give isl_union_set *	isl_union_set_plain_gist (__isl_take isl_union_set *uset, __isl_take isl_union_set *context)
static __isl_give isl_map *	lex_le_set (__isl_take isl_map *set1, __isl_take isl_map *set2)
static __isl_give isl_map *	lex_lt_set (__isl_take isl_map *set1, __isl_take isl_map *set2)
__isl_give isl_union_map *	isl_union_set_lex_lt_union_set (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
__isl_give isl_union_map *	isl_union_set_lex_le_union_set (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
__isl_give isl_union_map *	isl_union_set_lex_gt_union_set (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
__isl_give isl_union_map *	isl_union_set_lex_ge_union_set (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
__isl_give isl_union_map *	isl_union_map_lex_gt_union_map (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
__isl_give isl_union_map *	isl_union_map_lex_ge_union_map (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static __isl_give isl_union_map *	union_map_intersect_domain (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_intersect_domain_union_set (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_intersect_domain (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_subtract_domain (__isl_take isl_union_map *umap, __isl_take isl_union_set *dom)
__isl_give isl_union_map *	isl_union_map_subtract_range (__isl_take isl_union_map *umap, __isl_take isl_union_set *dom)
static __isl_give isl_union_map *	union_map_gist_domain (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_gist_domain (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_gist_range (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_intersect_range_union_set (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_intersect_range (__isl_take isl_union_map *umap, __isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_intersect_domain_factor_domain (__isl_take isl_union_map *umap, __isl_take isl_union_map *factor)
__isl_give isl_union_map *	isl_union_map_intersect_domain_factor_range (__isl_take isl_union_map *umap, __isl_take isl_union_map *factor)
__isl_give isl_union_map *	isl_union_map_intersect_range_factor_domain (__isl_take isl_union_map *umap, __isl_take isl_union_map *factor)
__isl_give isl_union_map *	isl_union_map_intersect_range_factor_range (__isl_take isl_union_map *umap, __isl_take isl_union_map *factor)
static isl_stat	apply_range_entry (void **entry, void *user)
static isl_stat	bin_entry (void **entry, void *user)
static __isl_give isl_union_map *	bin_op (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2, isl_stat(*fn)(void **entry, void *user))
__isl_give isl_union_map *	isl_union_map_intersect_domain_wrapped_domain_union_set (__isl_take isl_union_map *umap, __isl_take isl_union_set *domain)
__isl_give isl_union_map *	isl_union_map_intersect_range_wrapped_domain_union_set (__isl_take isl_union_map *umap, __isl_take isl_union_set *domain)
__isl_give isl_union_map *	isl_union_map_apply_range (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
__isl_give isl_union_map *	isl_union_map_apply_domain (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
__isl_give isl_union_set *	isl_union_set_apply (__isl_take isl_union_set *uset, __isl_take isl_union_map *umap)
static isl_stat	map_lex_lt_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_lex_lt_union_map (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_stat	map_lex_le_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_lex_le_union_map (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_stat	product_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_product (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_stat	set_product_entry (void **entry, void *user)
__isl_give isl_union_set *	isl_union_set_product (__isl_take isl_union_set *uset1, __isl_take isl_union_set *uset2)
static isl_stat	domain_product_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_domain_product (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_stat	range_product_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_range_product (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_stat	flat_domain_product_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_flat_domain_product (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_stat	flat_range_product_entry (void **entry, void *user)
__isl_give isl_union_map *	isl_union_map_flat_range_product (__isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2)
static isl_bool	un_op_filter_drop_user (__isl_keep isl_map *map, void *user)
static isl_stat	un_entry (void **entry, void *user)
static __isl_give isl_union_map *	un_op (__isl_take isl_union_map *umap, struct isl_un_op_control *control)
__isl_give isl_union_map *	isl_union_map_from_range (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_from_domain (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_from_domain_and_range (__isl_take isl_union_set *domain, __isl_take isl_union_set *range)
static __isl_give isl_union_map *	total (__isl_take isl_union_map *umap, __isl_give isl_map *(*fn)(__isl_take isl_map *))
static __isl_give isl_map *	isl_map_affine_hull_map (__isl_take isl_map *map)
__isl_give isl_union_map *	isl_union_map_affine_hull (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_affine_hull (__isl_take isl_union_set *uset)
static __isl_give isl_set *	combined_lineality_space (__isl_take isl_set *set)
__isl_give isl_union_set *	isl_union_set_combined_lineality_space (__isl_take isl_union_set *uset)
static __isl_give isl_map *	isl_map_polyhedral_hull_map (__isl_take isl_map *map)
__isl_give isl_union_map *	isl_union_map_polyhedral_hull (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_polyhedral_hull (__isl_take isl_union_set *uset)
static __isl_give isl_map *	isl_map_simple_hull_map (__isl_take isl_map *map)
__isl_give isl_union_map *	isl_union_map_simple_hull (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_simple_hull (__isl_take isl_union_set *uset)
static __isl_give isl_union_map *	inplace (__isl_take isl_union_map *umap, __isl_give isl_map *(*fn)(__isl_take isl_map *))
__isl_give isl_union_map *	isl_union_map_remove_redundancies (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_remove_redundancies (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_coalesce (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_coalesce (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_detect_equalities (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_detect_equalities (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_compute_divs (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_compute_divs (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_lexmin (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_lexmin (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_lexmax (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_lexmax (__isl_take isl_union_set *uset)
static __isl_give isl_map *	universe (__isl_take isl_map *map)
__isl_give isl_union_map *	isl_union_map_universe (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_universe (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_reverse (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_range_reverse (__isl_take isl_union_map *umap)
__isl_give isl_set *	isl_union_map_params (__isl_take isl_union_map *umap)
__isl_give isl_set *	isl_union_set_params (__isl_take isl_union_set *uset)
__isl_give isl_union_set *	isl_union_map_domain (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_map_range (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_domain_map (__isl_take isl_union_map *umap)
static isl_stat	domain_map_upma (__isl_take isl_map *map, void *user)
__isl_give isl_union_pw_multi_aff *	isl_union_map_domain_map_union_pw_multi_aff (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_range_map (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_set_wrapped_domain_map (__isl_take isl_union_set *uset)
static isl_bool	equal_tuples (__isl_keep isl_map *map, void *user)
__isl_give isl_union_set *	isl_union_map_deltas (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_deltas_map (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_set_identity (__isl_take isl_union_set *uset)
static isl_stat	identity_upma (__isl_take isl_set *set, void *user)
__isl_give isl_union_pw_multi_aff *	isl_union_set_identity_union_pw_multi_aff (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_domain_factor_domain (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_domain_factor_range (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_range_factor_domain (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_range_factor_range (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_factor_domain (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_factor_range (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_set_unwrap (__isl_take isl_union_set *uset)
__isl_give isl_union_set *	isl_union_map_wrap (__isl_take isl_union_map *umap)
static isl_stat	is_subset_entry (void **entry, void *user)
isl_bool	isl_union_map_is_subset (__isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2)
isl_bool	isl_union_set_is_subset (__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2)
isl_bool	isl_union_map_is_equal (__isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2)
isl_bool	isl_union_set_is_equal (__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2)
isl_bool	isl_union_map_is_strict_subset (__isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2)
isl_bool	isl_union_set_is_strict_subset (__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2)
static isl_stat	is_disjoint_entry (void **entry, void *user)
isl_bool	isl_union_map_is_disjoint (__isl_keep isl_union_map *umap1, __isl_keep isl_union_map *umap2)
isl_bool	isl_union_set_is_disjoint (__isl_keep isl_union_set *uset1, __isl_keep isl_union_set *uset2)
static isl_stat	sample_entry (void **entry, void *user)
__isl_give isl_basic_map *	isl_union_map_sample (__isl_take isl_union_map *umap)
__isl_give isl_basic_set *	isl_union_set_sample (__isl_take isl_union_set *uset)
__isl_give isl_point *	isl_union_set_sample_point (__isl_take isl_union_set *uset)
static isl_stat	forall_entry (void **entry, void *user)
static isl_bool	union_map_forall (__isl_keep isl_union_map *umap, isl_bool(*fn)(__isl_keep isl_map *map))
static isl_stat	forall_user_entry (void **entry, void *user)
static isl_bool	union_map_forall_user (__isl_keep isl_union_map *umap, isl_bool(*fn)(__isl_keep isl_map *map, void *user), void *user)
isl_bool	isl_union_map_plain_is_empty (__isl_keep isl_union_map *umap)
isl_bool	isl_union_map_is_empty (__isl_keep isl_union_map *umap)
isl_bool	isl_union_set_is_empty (__isl_keep isl_union_set *uset)
static isl_bool	is_subset_of_identity (__isl_keep isl_map *map)
static isl_bool	single_map_is_single_valued (__isl_keep isl_union_map *umap)
static isl_stat	single_valued_on_domain (__isl_take isl_set *set, void *user)
isl_bool	isl_union_map_is_single_valued (__isl_keep isl_union_map *umap)
isl_bool	isl_union_map_is_injective (__isl_keep isl_union_map *umap)
static isl_stat	map_plain_is_not_identity (__isl_take isl_map *map, void *user)
static isl_bool	isl_union_map_plain_is_not_identity (__isl_keep isl_union_map *umap)
static isl_stat	map_is_identity (__isl_take isl_map *map, void *user)
isl_bool	isl_union_map_is_identity (__isl_keep isl_union_map *umap)
static struct isl_fixed_map *	alloc_isl_fixed_map_array (isl_ctx *ctx, int n)
static void	free_isl_fixed_map_array (struct isl_fixed_map *v, int n)
static int	qsort_fixed_map_cmp (const void *p1, const void *p2)
static isl_bool	fixed_at_pos (__isl_keep isl_map *map, void *user)
static isl_bool	plain_injective_on_range (__isl_take isl_union_map *umap, int first, int n_range)
static int	separates (struct isl_fixed_map *v, int n, __isl_take isl_space *space, int pos, int n_range)
static isl_bool	plain_injective_on_range_wrap (__isl_keep isl_set *ran, void *user)
isl_bool	isl_union_map_plain_is_injective (__isl_keep isl_union_map *umap)
isl_bool	isl_union_map_is_bijective (__isl_keep isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_zip (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_uncurry (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_curry (__isl_take isl_union_map *umap)
__isl_give isl_union_map *	isl_union_map_range_curry (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_lift (__isl_take isl_union_set *uset)
static isl_stat	coefficients_entry (void **entry, void *user)
__isl_give isl_union_set *	isl_union_set_coefficients (__isl_take isl_union_set *uset)
static isl_stat	solutions_entry (void **entry, void *user)
__isl_give isl_union_set *	isl_union_set_solutions (__isl_take isl_union_set *uset)
static int	domain_match (__isl_keep isl_map *map, __isl_keep isl_space *space)
static int	range_match (__isl_keep isl_map *map, __isl_keep isl_space *space)
static int	set_match (__isl_keep isl_map *map, __isl_keep isl_space *space)
static isl_stat	preimage_entry (void **entry, void *user)
static __isl_give isl_union_map *	preimage_pw_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma, int(*match)(__isl_keep isl_map *map, __isl_keep isl_space *space), __isl_give isl_map *(*fn)(__isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma))
__isl_give isl_union_map *	isl_union_map_preimage_domain_pw_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma)
__isl_give isl_union_map *	isl_union_map_preimage_range_pw_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma)
__isl_give isl_union_set *	isl_union_set_preimage_pw_multi_aff (__isl_take isl_union_set *uset, __isl_take isl_pw_multi_aff *pma)
__isl_give isl_union_map *	isl_union_map_preimage_domain_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_multi_aff *ma)
__isl_give isl_union_map *	isl_union_map_preimage_range_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_multi_aff *ma)
__isl_give isl_union_map *	isl_union_set_preimage_multi_aff (__isl_take isl_union_set *uset, __isl_take isl_multi_aff *ma)
static isl_stat	preimage_mpa_entry (void **entry, void *user)
static __isl_give isl_union_map *	preimage_multi_pw_aff (__isl_take isl_union_map *umap, __isl_take isl_multi_pw_aff *mpa, int(*match)(__isl_keep isl_map *map, __isl_keep isl_space *space), __isl_give isl_map *(*fn)(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa))
__isl_give isl_union_map *	isl_union_map_preimage_domain_multi_pw_aff (__isl_take isl_union_map *umap, __isl_take isl_multi_pw_aff *mpa)
static isl_stat	preimage_upma (__isl_take isl_pw_multi_aff *pma, void *user)
static __isl_give isl_union_map *	preimage_union_pw_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_union_pw_multi_aff *upma, __isl_give isl_union_map *(*fn)(__isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma))
__isl_give isl_union_map *	isl_union_map_preimage_domain_union_pw_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_union_pw_multi_aff *upma)
__isl_give isl_union_map *	isl_union_map_preimage_range_union_pw_multi_aff (__isl_take isl_union_map *umap, __isl_take isl_union_pw_multi_aff *upma)
__isl_give isl_union_set *	isl_union_set_preimage_union_pw_multi_aff (__isl_take isl_union_set *uset, __isl_take isl_union_pw_multi_aff *upma)
__isl_give isl_union_map *	isl_union_map_reset_user (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_reset_user (__isl_take isl_union_set *uset)
__isl_give isl_union_map *	isl_union_map_remove_divs (__isl_take isl_union_map *umap)
__isl_give isl_union_set *	isl_union_set_remove_divs (__isl_take isl_union_set *uset)
static isl_stat	project_out (__isl_take isl_map *map, void *user)
__isl_give isl_union_map *	isl_union_map_project_out (__isl_take isl_union_map *umap, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_union_set *	isl_union_set_project_out (__isl_take isl_union_set *uset, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_union_set *	isl_union_set_project_out_all_params (__isl_take isl_union_set *uset)
static isl_bool	map_excludes (__isl_keep isl_map *map, void *user)
isl_bool	isl_union_map_involves_dims (__isl_keep isl_union_map *umap, enum isl_dim_type type, unsigned first, unsigned n)
static isl_stat	reset_range_space (__isl_take isl_map *map, void *user)
__isl_give isl_union_map *	isl_union_map_reset_range_space (__isl_take isl_union_map *umap, __isl_take isl_space *space)
static isl_stat	check_union_map_space_equal_dim (__isl_keep isl_union_map *umap, __isl_keep isl_space *space)
static isl_stat	reset_params (__isl_take isl_map *map, void *user)
__isl_give isl_union_map *	isl_union_map_reset_equal_dim_space (__isl_take isl_union_map *umap, __isl_take isl_space *space)
static isl_stat	order_at (__isl_take isl_map *map, void *user)
static __isl_give isl_union_map *	intersect_explicit_domain (__isl_take isl_union_map *umap, __isl_keep isl_multi_union_pw_aff *mupa)
static __isl_give isl_union_map *	isl_union_map_order_at_multi_union_pw_aff (__isl_take isl_union_map *umap, __isl_take isl_multi_union_pw_aff *mupa, __isl_give isl_map *(*order)(__isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2))
__isl_give isl_union_map *	isl_union_map_eq_at_multi_union_pw_aff (__isl_take isl_union_map *umap, __isl_take isl_multi_union_pw_aff *mupa)
__isl_give isl_union_set *	isl_union_set_list_union (__isl_take isl_union_set_list *list)
static isl_stat	add_hash (__isl_take isl_map *map, void *user)
uint32_t	isl_union_map_get_hash (__isl_keep isl_union_map *umap)
uint32_t	isl_union_set_get_hash (__isl_keep isl_union_set *uset)
static isl_stat	add_n (__isl_take isl_set *set, void *user)
int	isl_union_set_n_basic_set (__isl_keep isl_union_set *uset)
static isl_stat	add_list (__isl_take isl_set *set, void *user)
__isl_give isl_basic_set_list *	isl_union_set_get_basic_set_list (__isl_keep isl_union_set *uset)
static isl_bool	not (__isl_keep isl_map *map, void *user)
static __isl_give isl_map *	map_id (__isl_take isl_map *map)
__isl_give isl_union_map *	isl_union_map_remove_map_if (__isl_take isl_union_map *umap, isl_bool(*fn)(__isl_keep isl_map *map, void *user), void *user)
static isl_bool	has_domain_space_tuples (__isl_keep isl_map *map, void *user)
static isl_bool	has_range_space_tuples (__isl_keep isl_map *map, void *user)
static __isl_give isl_map *	bind_range (__isl_take isl_map *map, void *user)
__isl_give isl_union_set *	isl_union_map_bind_range (__isl_take isl_union_map *umap, __isl_take isl_multi_id *tuple)
__isl_give isl_union_map *	isl_union_map_intersect_domain_space (__isl_take isl_union_map *umap, __isl_take isl_space *space)
__isl_give isl_union_map *	isl_union_map_intersect_range_space (__isl_take isl_union_map *umap, __isl_take isl_space *space)

Macro Definition Documentation

ORDER [1/4]

#define ORDER   le

Definition at line 4350 of file isl_union_map.c.

ORDER [2/4]

#define ORDER   lt

Definition at line 4350 of file isl_union_map.c.

ORDER [3/4]

#define ORDER   ge

Definition at line 4350 of file isl_union_map.c.

ORDER [4/4]

#define ORDER   gt

Definition at line 4350 of file isl_union_map.c.

TYPE [1/2]

#define TYPE   isl_union_map

Definition at line 4031 of file isl_union_map.c.

TYPE [2/2]

#define TYPE   isl_union_map

Definition at line 4031 of file isl_union_map.c.

Function Documentation

add_hash()

static isl_stat add_hash ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 4388 of file isl_union_map.c.

References isl_hash_hash, isl_map_free(), isl_map_get_hash(), isl_stat_ok, map, and user.

Referenced by isl_union_map_get_hash().

add_list()

static isl_stat add_list ( __isl_take isl_set *  set, void *  user  )

static

Definition at line 4451 of file isl_union_map.c.

References isl_basic_set_list, isl_set_free(), isl_set_get_basic_set_list(), isl_stat_error, isl_stat_ok, set, and user.

Referenced by isl_union_set_get_basic_set_list().

add_list_map()

static isl_stat add_list_map ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 661 of file isl_union_map.c.

References isl_stat_error, isl_stat_ok, map, and user.

Referenced by isl_union_map_get_map_list().

add_map()

static isl_stat add_map ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 235 of file isl_union_map.c.

References isl_stat_ok, isl_union_map_add_map(), map, and user.

Referenced by isl_union_map_dup(), and isl_union_map_union().

add_n()

static isl_stat add_n ( __isl_take isl_set *  set, void *  user  )

static

Definition at line 4425 of file isl_union_map.c.

References isl_set_free(), isl_set_n_basic_set(), isl_stat_error, isl_stat_ok, n, set, and user.

Referenced by isl_union_set_n_basic_set().

align_entry()

static isl_stat align_entry ( void **  entry, void *  user  )

static

Definition at line 276 of file isl_union_map.c.

References isl_union_align::exp, isl_map_copy(), isl_map_get_space(), isl_map_realign(), isl_reordering_copy(), isl_reordering_extend_space(), isl_stat_ok, isl_union_map_add_map(), map, isl_union_align::res, and user.

Referenced by FN(), and isl_union_map_align_params().

alloc_isl_fixed_map_array()

static struct isl_fixed_map * alloc_isl_fixed_map_array ( isl_ctx *  ctx, int  n  )

static

Definition at line 3148 of file isl_union_map.c.

References isl_calloc_array, isl_int_init, n, and isl_fixed_map::v.

Referenced by plain_injective_on_range().

apply_range_entry()

static isl_stat apply_range_entry ( void **  entry, void *  user  )

static

Definition at line 1583 of file isl_union_map.c.

References isl_dim_in, isl_dim_out, isl_map_apply_range(), isl_map_copy(), isl_map_free(), isl_map_is_empty(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_apply_range().

bin_add_map()

static __isl_give isl_union_map * bin_add_map ( __isl_take isl_union_map *  res, __isl_keep isl_map *  map  )

static

Definition at line 929 of file isl_union_map.c.

References isl_map_copy(), isl_union_map_add_map(), map, and res.

Referenced by gen_bin_entry().

bin_add_pair()

static __isl_give isl_union_map * bin_add_pair ( __isl_take isl_union_map *  res, __isl_keep isl_map *  map1, __isl_keep isl_map *  map2, struct isl_union_map_gen_bin_data *  data  )

static

Definition at line 938 of file isl_union_map.c.

References isl_union_map_gen_bin_data::control, isl_bin_op_control::fn_map, isl_map_copy(), isl_map_free(), isl_map_is_empty(), isl_union_map_add_map(), isl_union_map_free(), map, map1, map2, and res.

Referenced by gen_bin_entry().

bin_entry()

static isl_stat bin_entry ( void **  entry, void *  user  )

static

Definition at line 1613 of file isl_union_map.c.

References isl_space::ctx, isl_union_map::dim, isl_union_map_bin_data::fn, isl_hash_table_foreach(), isl_stat_error, isl_stat_ok, map, isl_union_map_bin_data::map, isl_union_map::table, isl_union_map_bin_data::umap2, and user.

Referenced by bin_op().

bin_op()

static __isl_give isl_union_map * bin_op ( __isl_take isl_union_map *  umap1, __isl_take isl_union_map *  umap2, isl_stat(*)(void **entry, void *user)  fn  )

static

Definition at line 1626 of file isl_union_map.c.

References bin_entry(), fn, isl_hash_table_foreach(), isl_space_copy(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_bin_data::res, and isl_union_map_bin_data::umap2.

bin_try_get_match()

static __isl_keep isl_maybe_isl_map bin_try_get_match ( struct isl_union_map_gen_bin_data *  data, __isl_keep isl_map *  map  )

static

Definition at line 973 of file isl_union_map.c.

References isl_hash_table_entry::data, identity(), isl_bool_error, isl_bool_ok(), isl_hash_table_entry_none, isl_map_get_space(), isl_space_free(), isl_union_map_find_entry(), map, and res.

Referenced by gen_bin_entry().

bind_range()

static __isl_give isl_map * bind_range ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 4555 of file isl_union_map.c.

References isl_map_bind_range(), map, tuple, and user.

call_every()

static isl_stat call_every ( void **  entry, void *  user  )

static

Definition at line 624 of file isl_union_map.c.

References isl_union_map_every_data::failed, isl_stat_error, isl_stat_ok, map, isl_union_map_every_data::test, user, and isl_union_map_every_data::user.

Referenced by isl_union_map_every_map().

call_on_copy()

static isl_stat call_on_copy ( void **  entry, void *  user  )

static

Definition at line 576 of file isl_union_map.c.

References isl_union_map_foreach_data::fn, isl_map_copy(), map, user, and isl_union_map_foreach_data::user.

Referenced by isl_union_map_foreach_map().

check_union_map_space_equal_dim()

static isl_stat check_union_map_space_equal_dim ( __isl_keep isl_union_map *  umap, __isl_keep isl_space *  space  )

static

Definition at line 4152 of file isl_union_map.c.

References isl_die, isl_dim_param, isl_error_invalid, isl_space_dim(), isl_stat_error, isl_stat_ok, isl_union_map_dim(), and isl_union_map_get_ctx().

Referenced by isl_union_map_reset_equal_dim_space().

coefficients_entry()

static isl_stat coefficients_entry ( void **  entry, void *  user  )

static

Definition at line 3442 of file isl_union_map.c.

References isl_set_coefficients(), isl_set_copy(), isl_set_from_basic_set(), isl_stat_ok, isl_union_set_add_set(), res, set, and user.

Referenced by isl_union_set_coefficients().

combined_lineality_space()

static __isl_give isl_set * combined_lineality_space ( __isl_take isl_set *  set )

static

Definition at line 2110 of file isl_union_map.c.

References isl_set_combined_lineality_space(), isl_set_from_basic_set(), and set.

Referenced by isl_union_set_combined_lineality_space().

copy_map()

static isl_stat copy_map ( void **  entry, void *  user  )

static

Definition at line 726 of file isl_union_map.c.

References isl_map_copy(), isl_stat_error, map, and user.

Referenced by isl_map_from_union_map().

domain_map_upma()

static isl_stat domain_map_upma ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 2363 of file isl_union_map.c.

References isl_map_get_space(), isl_map_wrap(), isl_multi_aff_domain_map(), isl_pw_multi_aff_alloc(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), ma, map, pma, res, and user.

Referenced by isl_union_map_domain_map_union_pw_multi_aff().

domain_match()

static int domain_match ( __isl_keep isl_map *  map, __isl_keep isl_space *  space  )

static

Definition at line 3525 of file isl_union_map.c.

References isl_dim_in, isl_dim_out, isl_map_space_tuple_is_equal(), and map.

Referenced by isl_union_map_preimage_domain_multi_pw_aff(), and isl_union_map_preimage_domain_pw_multi_aff().

domain_product_entry()

static isl_stat domain_product_entry ( void **  entry, void *  user  )

static

Definition at line 1797 of file isl_union_map.c.

References isl_dim_out, isl_map_copy(), isl_map_domain_product(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_domain_product().

equal_tuples()

static isl_bool equal_tuples ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 2419 of file isl_union_map.c.

References isl_dim_in, isl_dim_out, isl_map_tuple_is_equal(), and map.

Referenced by isl_union_map_deltas(), and isl_union_map_deltas_map().

fixed_at_pos()

static isl_bool fixed_at_pos ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 3195 of file isl_union_map.c.

References isl_dim_out, isl_map_plain_is_fixed(), map, isl_fixed_map::map, isl_fixed_dim_data::n, isl_fixed_dim_data::pos, user, isl_fixed_map::v, and isl_fixed_dim_data::v.

Referenced by plain_injective_on_range().

flat_domain_product_entry()

static isl_stat flat_domain_product_entry ( void **  entry, void *  user  )

static

Definition at line 1855 of file isl_union_map.c.

References isl_dim_out, isl_map_copy(), isl_map_flat_domain_product(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_flat_domain_product().

flat_range_product_entry()

static isl_stat flat_range_product_entry ( void **  entry, void *  user  )

static

Definition at line 1884 of file isl_union_map.c.

References isl_dim_in, isl_map_copy(), isl_map_flat_range_product(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_flat_range_product().

forall_entry()

static isl_stat forall_entry ( void **  entry, void *  user  )

static

Definition at line 2817 of file isl_union_map.c.

References isl_forall_data::fn, isl_stat_error, isl_stat_ok, map, isl_forall_data::res, and user.

Referenced by union_map_forall().

forall_user_entry()

static isl_stat forall_user_entry ( void **  entry, void *  user  )

static

Definition at line 2853 of file isl_union_map.c.

References isl_forall_user_data::fn, isl_stat_error, isl_stat_ok, map, isl_forall_user_data::res, user, and isl_forall_user_data::user.

Referenced by union_map_forall_user().

foreach_point()

static isl_stat foreach_point ( __isl_take isl_set *  set, void *  user  )

static

Definition at line 873 of file isl_union_map.c.

References isl_union_set_foreach_point_data::fn, isl_set_foreach_point(), isl_set_free(), set, user, and isl_union_set_foreach_point_data::user.

Referenced by isl_union_set_foreach_point().

free_isl_fixed_map_array()

static void free_isl_fixed_map_array ( struct isl_fixed_map *  v, int  n  )

static

Definition at line 3162 of file isl_union_map.c.

References isl_int_clear, n, and isl_fixed_map::v.

Referenced by plain_injective_on_range(), and separates().

free_umap_entry()

static isl_stat free_umap_entry ( void **  entry, void *  user  )

static

Definition at line 228 of file isl_union_map.c.

References isl_map_free(), isl_stat_ok, and map.

Referenced by isl_union_map_free().

gen_bin_entry()

static isl_stat gen_bin_entry ( void **  entry, void *  user  )

static

Definition at line 1009 of file isl_union_map.c.

References bin_add_map(), bin_add_pair(), bin_try_get_match(), isl_union_map_gen_bin_data::control, isl_stat_error, isl_stat_ok, m, map, isl_union_map_gen_bin_data::res, isl_bin_op_control::subtract, and user.

Referenced by gen_bin_op().

gen_bin_op()

static __isl_give isl_union_map * gen_bin_op ( __isl_take isl_union_map *  umap1, __isl_take isl_union_map *  umap2, struct isl_bin_op_control *  control  )

static

Definition at line 1035 of file isl_union_map.c.

References isl_union_map_gen_bin_data::control, gen_bin_entry(), isl_hash_table_foreach(), isl_space_copy(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_gen_bin_data::res, and isl_union_map_gen_bin_data::umap2.

Referenced by isl_union_map_gist_range(), isl_union_map_intersect_domain_factor_domain(), isl_union_map_intersect_domain_factor_range(), isl_union_map_intersect_domain_wrapped_domain_union_set(), isl_union_map_intersect_range_factor_domain(), isl_union_map_intersect_range_factor_range(), isl_union_map_intersect_range_union_set(), isl_union_map_intersect_range_wrapped_domain_union_set(), isl_union_map_subtract(), isl_union_map_subtract_domain(), isl_union_map_subtract_range(), union_map_gist_domain(), and union_map_intersect_domain().

gen_bin_set_op()

static __isl_give isl_union_map * gen_bin_set_op ( __isl_take isl_union_map *  umap, __isl_take isl_set *  set, isl_stat(*)(void **, void *)  fn  )

static

Definition at line 1106 of file isl_union_map.c.

References fn, isl_hash_table_foreach(), isl_set_align_params(), isl_set_free(), isl_set_get_space(), isl_space_copy(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_gen_bin_set_data::res, set, and isl_union_map_gen_bin_set_data::set.

Referenced by isl_union_map_gist_params(), and isl_union_map_intersect_params().

gist_params_entry()

static isl_stat gist_params_entry ( void **  entry, void *  user  )

static

Definition at line 1276 of file isl_union_map.c.

References isl_map_copy(), isl_map_free(), isl_map_gist_params(), isl_map_is_empty(), isl_set_copy(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, isl_union_map_gen_bin_set_data::res, isl_union_map_gen_bin_set_data::set, and user.

Referenced by isl_union_map_gist_params().

has_domain_space_tuples()

static isl_bool has_domain_space_tuples ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 4537 of file isl_union_map.c.

References isl_map_peek_space(), isl_space_has_domain_tuples(), map, and user.

Referenced by FN(), and isl_union_map_intersect_domain_space().

has_range_space_tuples()

static isl_bool has_range_space_tuples ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 4546 of file isl_union_map.c.

References isl_map_peek_space(), isl_space_has_range_tuples(), map, and user.

Referenced by isl_union_map_bind_range(), and isl_union_map_intersect_range_space().

has_space_tuples()

static isl_bool has_space_tuples ( const void *  entry, const void *  val  )

static

Definition at line 425 of file isl_union_map.c.

References isl_map_has_space_tuples(), map, and val.

Referenced by FN(), and isl_union_map_find_entry().

identity()

static __isl_give isl_space * identity ( __isl_take isl_space *  space )

static

Definition at line 958 of file isl_union_map.c.

Referenced by bin_try_get_match(), generate_non_single_valued(), gist_leave_expansion(), isl_union_map_is_identity(), isl_union_map_subtract(), and map_is_identity().

identity_upma()

static isl_stat identity_upma ( __isl_take isl_set *  set, void *  user  )

static

Definition at line 2453 of file isl_union_map.c.

References isl_pw_multi_aff_identity(), isl_pw_multi_aff_intersect_domain(), isl_set_get_space(), isl_space_map_from_set(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), pma, res, set, and user.

Referenced by isl_union_set_identity_union_pw_multi_aff().

inplace()

static __isl_give isl_union_map * inplace ( __isl_take isl_union_map *  umap, __isl_give isl_map *(*)(__isl_take isl_map *)  fn  )

static

Definition at line 2168 of file isl_union_map.c.

References fn, isl_un_op_control::inplace, and un_op.

Referenced by FN(), isl_union_map_coalesce(), isl_union_map_compute_divs(), isl_union_map_detect_equalities(), isl_union_map_remove_redundancies(), and S().

intersect_explicit_domain()

static __isl_give isl_union_map * intersect_explicit_domain ( __isl_take isl_union_map *  umap, __isl_keep isl_multi_union_pw_aff *  mupa  )

static

Definition at line 4269 of file isl_union_map.c.

References isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_union_map_free(), isl_union_map_intersect_domain(), isl_union_map_intersect_params(), isl_union_map_intersect_range(), isl_union_set_copy(), isl_union_set_free(), isl_union_set_is_params(), isl_union_set_params(), mupa, and set.

Referenced by isl_union_map_order_at_multi_union_pw_aff().

intersect_params_entry()

static isl_stat intersect_params_entry ( void **  entry, void *  user  )

static

Definition at line 1086 of file isl_union_map.c.

References isl_map_copy(), isl_map_free(), isl_map_intersect_params(), isl_map_is_empty(), isl_set_copy(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, isl_union_map_gen_bin_set_data::res, isl_union_map_gen_bin_set_data::set, and user.

Referenced by isl_union_map_intersect_params().

is_disjoint_entry()

static isl_stat is_disjoint_entry ( void **  entry, void *  user  )

static

Definition at line 2701 of file isl_union_map.c.

References isl_hash_table_entry::data, isl_hash_table_entry_none, isl_map_is_disjoint(), isl_map_peek_space(), isl_stat_error, isl_stat_ok, isl_union_map_find_entry(), map, and user.

Referenced by isl_union_map_is_disjoint().

is_subset_entry()

static isl_stat is_subset_entry ( void **  entry, void *  user  )

static

Definition at line 2597 of file isl_union_map.c.

References isl_hash_table_entry::data, isl_bool_false, isl_hash_table_entry_none, isl_map_is_empty(), isl_map_is_subset(), isl_map_peek_space(), isl_stat_error, isl_stat_ok, isl_union_map_find_entry(), map, and user.

Referenced by isl_union_map_is_subset().

is_subset_of_identity()

static isl_bool is_subset_of_identity ( __isl_keep isl_map *  map )

static

Definition at line 2907 of file isl_union_map.c.

References id, isl_bool_error, isl_bool_false, isl_dim_in, isl_dim_out, isl_map_free(), isl_map_get_space(), isl_map_identity(), isl_map_is_subset(), isl_map_tuple_is_equal(), map, and match().

Referenced by single_valued_on_domain().

isl_map_affine_hull_map()

static __isl_give isl_map * isl_map_affine_hull_map ( __isl_take isl_map *  map )

static

Definition at line 2089 of file isl_union_map.c.

References isl_map_affine_hull(), isl_map_from_basic_map(), and map.

Referenced by isl_union_map_affine_hull().

isl_map_from_union_map()

__isl_give isl_map * isl_map_from_union_map

(

__isl_take isl_union_map *

umap

)

Definition at line 736 of file isl_union_map.c.

References copy_map(), isl_die, isl_error_invalid, isl_hash_table_foreach(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_isa_map(), and map.

Referenced by polly::Dependences::calculateDependences(), isl::map::from_union_map(), is_condition_false(), isl_set_from_union_set(), isl_union_map_as_map(), polly::Dependences::isParallel(), single_map_is_single_valued(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().

isl_map_polyhedral_hull_map()

static __isl_give isl_map * isl_map_polyhedral_hull_map ( __isl_take isl_map *  map )

static

Definition at line 2130 of file isl_union_map.c.

References isl_map_from_basic_map(), isl_map_polyhedral_hull(), and map.

Referenced by isl_union_map_polyhedral_hull().

isl_map_simple_hull_map()

static __isl_give isl_map * isl_map_simple_hull_map ( __isl_take isl_map *  map )

static

Definition at line 2151 of file isl_union_map.c.

References isl_map_from_basic_map(), isl_map_simple_hull(), and map.

Referenced by isl_union_map_simple_hull().

isl_map_to_union_map()

__isl_give isl_union_map * isl_map_to_union_map

(

__isl_take isl_map *

map

)

Definition at line 540 of file isl_union_map.c.

References isl_union_map_from_map(), and map.

Referenced by isl::map::to_union_map().

isl_set_from_union_set()

__isl_give isl_set * isl_set_from_union_set

(

__isl_take isl_union_set *

uset

)

Definition at line 769 of file isl_union_map.c.

References isl_map_from_union_map().

Referenced by add_node(), compute_domains(), polly::IslNodeBuilder::createNewAccesses(), FN(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_union_map_params(), isl_union_set_as_set(), isl_union_set_is_params(), isl::set::set(), test_one_schedule(), test_padded_schedule(), union_map_gist_params(), and union_map_intersect_params().

isl_set_to_union_set()

__isl_give isl_union_set * isl_set_to_union_set

(

__isl_take isl_set *

set

)

Definition at line 553 of file isl_union_map.c.

References isl_union_set_from_set(), and set.

Referenced by isl::set::to_union_set().

isl_union_map_add_map()

__isl_give isl_union_map * isl_union_map_add_map	(	__isl_take isl_union_map *	umap,
		__isl_take isl_map *	map
	)

Definition at line 469 of file isl_union_map.c.

References isl_hash_table_entry::data, isl_map_align_params(), isl_map_copy(), isl_map_free(), isl_map_get_space(), isl_map_peek_space(), isl_map_plain_is_empty(), isl_map_space_has_equal_params(), isl_map_union(), isl_union_map_align_params(), isl_union_map_cow(), isl_union_map_find_entry(), isl_union_map_free(), isl_union_map_get_space(), and map.

Referenced by add_inter(), add_intra(), add_map(), add_non_trivial_lineality(), align_entry(), apply_range_entry(), bin_add_map(), bin_add_pair(), polly::Dependences::calculateDependences(), collect_cluster_map(), collectInfo(), construct_component_executed(), construct_shifted_executed(), domain_product_entry(), flat_domain_product_entry(), flat_range_product_entry(), gist_params_entry(), intersect_params_entry(), isl_union_map_from_map(), isl_union_set_add_set(), map_from_pw_aff_entry(), map_from_pw_multi_aff(), map_lex_le_entry(), map_lex_lt_entry(), match_bin_entry(), options_insert_dim(), order_at(), preimage_entry(), preimage_mpa_entry(), product_entry(), project_out(), range_product_entry(), reset_params(), reset_range_space(), separates(), un_entry(), union_components(), and union_floyd_warshall_on_list().

isl_union_map_affine_hull()

__isl_give isl_union_map * isl_union_map_affine_hull

(

__isl_take isl_union_map *

umap

)

Definition at line 2094 of file isl_union_map.c.

References isl_map_affine_hull_map(), and total().

Referenced by isl::union_map::affine_hull(), and isl_union_set_affine_hull().

isl_union_map_align_params()

__isl_give isl_union_map * isl_union_map_align_params	(	__isl_take isl_union_map *	umap,
		__isl_take isl_space *	model
	)

Definition at line 296 of file isl_union_map.c.

References align_entry(), isl_union_align::exp, isl_hash_table_foreach(), isl_parameter_alignment_reordering(), isl_reordering_free(), isl_reordering_get_space(), isl_space_free(), isl_space_has_equal_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_peek_space(), and isl_union_align::res.

Referenced by bin_op(), build_ast_from_expansion(), gen_bin_op(), gen_bin_set_op(), generate_code(), group_context(), isl_ast_build_align_params(), isl_schedule_constraints_align_params(), isl_schedule_tree_align_params(), isl_union_access_info_align_params(), isl_union_map_add_map(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_is_disjoint(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_union(), isl_union_set_align_params(), match_bin_op(), preimage_multi_pw_aff(), and preimage_pw_multi_aff().

isl_union_map_alloc()

static __isl_give isl_union_map * isl_union_map_alloc ( __isl_take isl_space *  space, int  size  )

static

Definition at line 109 of file isl_union_map.c.

References isl_union_map::dim, isl_calloc_type, isl_hash_table_init(), isl_space_free(), isl_space_params(), isl_union_map_free(), isl_union_map::ref, size, and isl_union_map::table.

Referenced by bin_op(), gen_bin_op(), gen_bin_set_op(), isl_union_map_align_params(), isl_union_map_empty_space(), isl_union_set_coefficients(), match_bin_op(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), separates(), and un_op().

isl_union_map_apply_domain()

__isl_give isl_union_map * isl_union_map_apply_domain	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1695 of file isl_union_map.c.

References isl_union_map_apply_range(), and isl_union_map_reverse().

Referenced by add_conditional_constraints(), after_in_band(), after_in_expansion(), apply(), isl::union_map::apply_domain(), apply_factor_domain(), collect_edge_constraints(), create_node(), internal_executed(), isl_ast_build_get_schedule(), isl_ast_build_scale_down(), isl_union_map_power(), polly::Dependences::isParallel(), options_insert_dim(), subtree_schedule_extend(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().

isl_union_map_apply_range()

__isl_give isl_union_map * isl_union_map_apply_range	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1689 of file isl_union_map.c.

References apply_range_entry(), and bin_op.

Referenced by polly::Dependences::addPrivatizationDependences(), after_in_band(), after_in_context(), after_in_expansion(), apply(), isl::union_map::apply_range(), build_ast_from_expansion(), collect_edge_constraints(), collect_sink_source(), embed_options(), exploit_inter_lineality(), group_expansion(), isl_union_access_info_introduce_schedule(), isl_union_map_apply_domain(), isl_union_map_from_domain_and_range(), isl_union_map_is_transitively_closed(), isl_union_set_apply(), polly::Dependences::isParallel(), options_insert_dim(), single_valued_on_domain(), subtree_expansion_enter(), test_one_schedule(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), and union_components().

isl_union_map_as_map()

__isl_give isl_map * isl_union_map_as_map

(

__isl_take isl_union_map *

umap

)

Definition at line 764 of file isl_union_map.c.

References isl_map_from_union_map().

Referenced by isl::union_map::as_map().

isl_union_map_bind_range()

__isl_give isl_union_set * isl_union_map_bind_range	(	__isl_take isl_union_map *	umap,
		__isl_take isl_multi_id *	tuple
	)

Definition at line 4566 of file isl_union_map.c.

References bind_range, bound, isl_un_op_control::filter, has_range_space_tuples(), tuple, un_op, and uset_from_umap().

Referenced by isl::union_map::bind_range(), and test_bind_umap_range().

isl_union_map_coalesce()

__isl_give isl_union_map * isl_union_map_coalesce

(

__isl_take isl_union_map *

umap

)

Definition at line 2197 of file isl_union_map.c.

References inplace(), and isl_map_coalesce().

Referenced by polly::Dependences::addPrivatizationDependences(), polly::Dependences::calculateDependences(), isl::union_map::coalesce(), collectInfo(), polly::PolyhedralInfo::getScheduleForLoop(), isl_ast_build_node_from_schedule_map(), isl_union_map_transitive_closure(), and isl_union_set_coalesce().

isl_union_map_compute_divs()

__isl_give isl_union_map * isl_union_map_compute_divs

(

__isl_take isl_union_map *

umap

)

Definition at line 2221 of file isl_union_map.c.

References inplace(), and isl_map_compute_divs().

Referenced by isl::union_map::compute_divs(), isl_union_map_transitive_closure(), isl_union_set_compute_divs(), and polly::simplify().

isl_union_map_contains()

isl_bool isl_union_map_contains	(	__isl_keep isl_union_map *	umap,
		__isl_keep isl_space *	space
	)

Definition at line 810 of file isl_union_map.c.

References isl_bool_error, isl_bool_ok(), isl_hash_table_entry_none, isl_space_align_params(), isl_space_copy(), isl_space_drop_all_params(), isl_space_free(), isl_union_map_find_entry(), and isl_union_map_get_space().

Referenced by isl_union_set_contains().

isl_union_map_copy()

__isl_give isl_union_map * isl_union_map_copy

(

__isl_keep isl_union_map *

umap

)

Definition at line 369 of file isl_union_map.c.

References isl_union_map::ref.

Referenced by add_conditional_constraints(), add_node(), add_nodes(), add_non_conditional_constraints(), polly::Dependences::addPrivatizationDependences(), after_in_band(), after_in_context(), after_in_expansion(), after_in_filter(), after_in_sequence(), append_range(), apply(), apply_factor_domain(), build_ast_from_filter(), build_ast_from_mark(), build_ast_from_sequence(), buildFlow(), polly::Dependences::calculateDependences(), check_band_schedule_total_on_instances(), collect_edge_constraints(), collect_filter_prefix_expansion(), collect_sink_source(), compute_domains(), compute_separate_domain(), isl::union_map::copy(), copy_edges(), count_sink_source(), create_leaf(), create_node(), create_node_scaled(), do_unroll_tree_iteration(), domain_intersects(), exploit_inter_lineality(), exploit_intra_lineality(), generate_code(), generate_code_in_space(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), generate_shifted_component_tree_separate(), generate_sorted_domains(), graft_extension(), group_expansion(), has_violated_conditional_constraint(), insert_extension(), is_condition_false(), is_disjoint_extension(), isl_ast_build_dup(), isl_ast_build_get_schedule(), isl_obj_union_map_copy(), isl_schedule_constraints_copy(), isl_schedule_constraints_get(), isl_schedule_constraints_init(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_schedule_tree_dup(), isl_schedule_tree_expansion_get_expansion(), isl_schedule_tree_extension_get_extension(), isl_union_access_info_copy(), isl_union_access_info_get(), isl_union_access_info_init(), isl_union_access_info_introduce_schedule(), isl_union_access_info_normalize(), isl_union_flow_alloc(), isl_union_flow_copy(), isl_union_flow_drop_kill_source(), isl_union_flow_get_full_may_dependence(), isl_union_flow_get_full_must_dependence(), isl_union_flow_get_may_dependence(), isl_union_flow_get_may_no_source(), isl_union_flow_get_must_dependence(), isl_union_flow_get_must_no_source(), isl_union_flow_get_non_must_dependence(), isl_union_flow_get_non_must_no_source(), isl_union_map_is_disjoint(), isl_union_map_is_injective(), isl_union_map_is_single_valued(), isl_union_map_is_transitively_closed(), isl_union_map_plain_is_injective(), isl_union_set_copy(), polly::Dependences::isParallel(), plain_injective_on_range_wrap(), preimage_upma(), range_intersects(), set_universe(), single_map_is_single_valued(), single_valued_on_domain(), subtree_schedule_extend_from_children(), test_conditional_schedule_constraints(), test_flow(), test_one_schedule(), test_padded_schedule(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), test_union_map_mupa_conversion(), union_components(), and update_edges().

isl_union_map_cow()

__isl_give isl_union_map * isl_union_map_cow

(

__isl_take isl_union_map *

umap

)

Definition at line 260 of file isl_union_map.c.

References isl_union_map_dup(), and isl_union_map::ref.

Referenced by isl_union_map_add_map(), isl_union_map_reset_user(), and isl_union_map_union().

isl_union_map_curry()

__isl_give isl_union_map * isl_union_map_curry

(

__isl_take isl_union_map *

umap

)

Definition at line 3408 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_can_curry(), isl_map_curry(), un_op, and un_op_filter_drop_user().

Referenced by apply_factor_domain(), and isl::union_map::curry().

isl_union_map_deltas()

__isl_give isl_union_set * isl_union_map_deltas

(

__isl_take isl_union_map *

umap

)

Definition at line 2424 of file isl_union_map.c.

References equal_tuples(), isl_un_op_control::filter, isl_map_deltas(), and un_op.

Referenced by polly::Dependences::addPrivatizationDependences(), collect_intra_validity(), isl::union_map::deltas(), and test_one_schedule().

isl_union_map_deltas_map()

__isl_give isl_union_map * isl_union_map_deltas_map

(

__isl_take isl_union_map *

umap

)

Definition at line 2433 of file isl_union_map.c.

References equal_tuples(), isl_un_op_control::filter, isl_map_deltas_map(), and un_op.

isl_union_map_detect_equalities()

__isl_give isl_union_map * isl_union_map_detect_equalities

(

__isl_take isl_union_map *

umap

)

Definition at line 2209 of file isl_union_map.c.

References inplace(), and isl_map_detect_equalities().

Referenced by build_ast_from_band(), isl::union_map::detect_equalities(), isl_schedule_constraints_set(), and isl_union_set_detect_equalities().

isl_union_map_dim()

static static isl_size isl_union_map_dim ( __isl_keep isl_union_map *  umap, enum isl_dim_type  type  )

static

Definition at line 45 of file isl_union_map.c.

References isl_die, isl_dim_param, isl_error_invalid, isl_size_error, isl_space_dim(), isl_union_map_get_ctx(), and type.

Referenced by check_union_map_space_equal_dim(), and isl_union_set_dim().

isl_union_map_domain()

__isl_give isl_union_set * isl_union_map_domain

(

__isl_take isl_union_map *

umap

)

Definition at line 2335 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_domain(), and un_op.

Referenced by add_node(), after_in_band(), after_in_context(), append_range(), polly::Dependences::calculateDependences(), collect_filter_prefix_expansion(), collectInfo(), compute_domains(), create_leaf(), isl::union_map::domain(), generate_code(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), has_violated_conditional_constraint(), initial_domain(), is_condition_false(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_union_map_is_single_valued(), test_one_schedule(), test_union(), and update_edges().

isl_union_map_domain_factor_domain()

__isl_give isl_union_map * isl_union_map_domain_factor_domain

(

__isl_take isl_union_map *

umap

)

Definition at line 2486 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_domain_factor_domain(), isl_map_domain_is_wrapping(), un_op, and un_op_filter_drop_user().

Referenced by isl::union_map::domain_factor_domain().

isl_union_map_domain_factor_range()

__isl_give isl_union_map * isl_union_map_domain_factor_range

(

__isl_take isl_union_map *

umap

)

Definition at line 2501 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_domain_factor_range(), isl_map_domain_is_wrapping(), un_op, and un_op_filter_drop_user().

Referenced by isl::union_map::domain_factor_range(), and isl_union_flow_drop_schedule().

isl_union_map_domain_map()

__isl_give isl_union_map * isl_union_map_domain_map

(

__isl_take isl_union_map *

umap

)

Definition at line 2351 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_domain_map(), and un_op.

Referenced by isl::union_map::domain_map().

isl_union_map_domain_map_union_pw_multi_aff()

__isl_give isl_union_pw_multi_aff * isl_union_map_domain_map_union_pw_multi_aff

(

__isl_take isl_union_map *

umap

)

Definition at line 2380 of file isl_union_map.c.

References domain_map_upma(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), and res.

Referenced by polly::Dependences::calculateDependences(), and isl::union_map::domain_map_union_pw_multi_aff().

isl_union_map_domain_product()

__isl_give isl_union_map * isl_union_map_domain_product	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1820 of file isl_union_map.c.

References bin_op, domain_product_entry(), and isl_union_map_bin_data::umap2.

Referenced by build_ast_from_band(), and isl::union_map::domain_product().

isl_union_map_dup()

__isl_give isl_union_map * isl_union_map_dup

(

__isl_keep isl_union_map *

umap

)

Definition at line 244 of file isl_union_map.c.

References add_map(), dup(), isl_space_copy(), isl_union_map_empty(), isl_union_map_foreach_map(), and isl_union_map_free().

Referenced by isl_union_map_cow().

isl_union_map_empty()

__isl_give isl_union_map * isl_union_map_empty

(

__isl_take isl_space *

space

)

Definition at line 146 of file isl_union_map.c.

References isl_union_map_empty_space().

Referenced by add_non_trivial_lineality(), polly::Dependences::calculateDependences(), collect_cluster_map(), collect_validity(), collectInfo(), construct_shifted_executed(), polly::PolyhedralInfo::getScheduleForLoop(), isl_ast_build_clear_local_info(), isl_ast_build_from_context(), isl_schedule_constraints_init(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_subtree_expansion(), isl_union_access_info_init(), isl_union_flow_alloc(), isl_union_map_dup(), isl_union_map_from_map(), isl_union_map_from_union_pw_aff(), isl_union_map_from_union_pw_multi_aff(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_project_out(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), options_insert_dim(), preimage_union_pw_multi_aff(), subtree_schedule_extend_from_children(), test_one_schedule(), test_padded_schedule(), union_components(), and union_floyd_warshall_on_list().

isl_union_map_empty_ctx()

__isl_give isl_union_map * isl_union_map_empty_ctx

(

isl_ctx *

ctx

)

Definition at line 134 of file isl_union_map.c.

References isl_space_unit(), and isl_union_map_empty_space().

Referenced by isl::union_map::empty(), and isl_union_set_empty_ctx().

isl_union_map_empty_space()

__isl_give isl_union_map * isl_union_map_empty_space

(

__isl_take isl_space *

space

)

Definition at line 139 of file isl_union_map.c.

References isl_union_map_alloc().

Referenced by isl_union_map_empty(), isl_union_map_empty_ctx(), and isl_union_set_empty_space().

isl_union_map_eq_at_multi_union_pw_aff()

__isl_give isl_union_map * isl_union_map_eq_at_multi_union_pw_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_multi_union_pw_aff *	mupa
	)

Definition at line 4329 of file isl_union_map.c.

References isl_multi_pw_aff_eq_map(), isl_union_map_order_at_multi_union_pw_aff(), and mupa.

Referenced by isl::union_map::eq_at().

isl_union_map_every_map()

isl_bool isl_union_map_every_map	(	__isl_keep isl_union_map *	umap,
		isl_bool(*)(__isl_keep isl_map *map, void *user)	test,
		void *	user
	)

Definition at line 641 of file isl_union_map.c.

References call_every(), isl_union_map_every_data::failed, isl_bool_error, isl_bool_false, isl_bool_true, isl_hash_table_foreach(), isl_union_map_get_ctx(), test, and user.

Referenced by isl::union_map::every_map(), isl_ast_build_options_involve_depth(), and isl_union_set_every_set().

isl_union_map_extract_map()

__isl_give isl_map * isl_union_map_extract_map	(	__isl_keep isl_union_map *	umap,
		__isl_take isl_space *	space
	)

Definition at line 785 of file isl_union_map.c.

References isl_hash_table_entry::data, isl_hash_table_entry_none, isl_map_copy(), isl_map_empty(), isl_space_free(), and isl_union_map_find_entry().

Referenced by isl::union_map::extract_map(), isl_ast_build_get_option_domain(), isl_ast_build_get_separation_class(), and isl_union_set_extract_set().

isl_union_map_factor_domain()

__isl_give isl_union_map * isl_union_map_factor_domain

(

__isl_take isl_union_map *

umap

)

Definition at line 2546 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_factor_domain(), isl_map_is_product(), un_op, and un_op_filter_drop_user().

Referenced by isl::union_map::factor_domain().

isl_union_map_factor_range()

__isl_give isl_union_map * isl_union_map_factor_range

(

__isl_take isl_union_map *

umap

)

Definition at line 2561 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_factor_range(), isl_map_is_product(), un_op, and un_op_filter_drop_user().

Referenced by isl::union_map::factor_range(), and isl_union_flow_drop_schedule().

isl_union_map_find_dim_by_id()

static int isl_union_map_find_dim_by_id ( __isl_keep isl_union_map *  umap, enum isl_dim_type  type, __isl_keep isl_id *  id  )

static

Definition at line 214 of file isl_union_map.c.

References isl_space_find_dim_by_id(), isl_union_map_peek_space(), and type.

isl_union_map_find_dim_by_name()

int isl_union_map_find_dim_by_name	(	__isl_keep isl_union_map *	umap,
		enum isl_dim_type	type,
		const char *	name
	)

Definition at line 203 of file isl_union_map.c.

References isl_space_find_dim_by_name(), name, and type.

isl_union_map_find_entry()

static struct isl_hash_table_entry * isl_union_map_find_entry ( __isl_keep isl_union_map *  umap, __isl_keep isl_space *  space, int  reserve  )

static

Definition at line 440 of file isl_union_map.c.

References has_space_tuples(), isl_hash_table_entry::hash, isl_hash_table_find(), isl_space_get_tuple_hash(), and isl_union_map_get_ctx().

Referenced by bin_try_get_match(), is_disjoint_entry(), is_subset_entry(), isl_union_map_add_map(), isl_union_map_contains(), isl_union_map_extract_map(), isl_union_set_find_entry(), and match_bin_entry().

isl_union_map_flat_domain_product()

__isl_give isl_union_map * isl_union_map_flat_domain_product	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1878 of file isl_union_map.c.

References bin_op, flat_domain_product_entry(), and isl_union_map_bin_data::umap2.

isl_union_map_flat_range_product()

__isl_give isl_union_map * isl_union_map_flat_range_product	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1904 of file isl_union_map.c.

References bin_op, flat_range_product_entry(), and isl_union_map_bin_data::umap2.

Referenced by append_range(), isl::union_map::flat_range_product(), isl_union_map_from_multi_union_pw_aff(), subtree_schedule_extend(), and subtree_schedule_extend_from_children().

isl_union_map_foreach_map()

isl_stat isl_union_map_foreach_map	(	__isl_keep isl_union_map *	umap,
		isl_stat(*)(__isl_take isl_map *map, void *user)	fn,
		void *	user
	)

Definition at line 595 of file isl_union_map.c.

References call_on_copy(), fn, isl_hash_table_foreach(), isl_stat_error, and user.

Referenced by collect_sink_source(), compute_flow(), compute_flow_union_map(), create_node(), isl::union_map::foreach_map(), generate_components(), generate_inner_level(), isl_sched_graph_init(), isl_schedule_constraints_n_basic_map(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_dup(), isl_union_map_get_hash(), isl_union_map_get_map_list(), isl_union_map_is_identity(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_plain_is_not_identity(), isl_union_map_power(), isl_union_map_print_latex(), isl_union_map_project_out(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), isl_union_map_union(), isl_union_pw_multi_aff_from_union_map(), isl_union_set_foreach_set(), range_dim(), separate_schedule_domains(), test_one_schedule(), union_components(), and union_floyd_warshall().

isl_union_map_free()

__isl_null isl_union_map * isl_union_map_free

(

__isl_take isl_union_map *

umap

)

Definition at line 383 of file isl_union_map.c.

References free_umap_entry(), isl_hash_table_clear(), isl_hash_table_foreach(), and isl_space_free().

Referenced by add_node(), after_in_band(), after_in_context(), after_in_expansion(), after_in_filter(), after_in_sequence(), after_in_subtree(), bin_add_pair(), bin_op(), build_ast_from_band(), build_ast_from_expansion(), build_ast_from_filter(), build_ast_from_schedule_node(), build_ast_from_sequence(), polly::Dependences::calculateDependences(), polly::PolyhedralInfo::checkParallel(), collect_edge_constraints(), collect_filter_prefix_expansion(), collect_filter_prefix_update(), collect_sink_source(), compute_separate_domain(), construct_shifted_executed(), count_sink_source(), create_node(), create_node_scaled(), domain_intersects(), exploit_inter_lineality(), gen_bin_op(), gen_bin_set_op(), generate_code(), generate_components(), generate_inner_level(), generate_next_level(), generate_shifted_component_flat(), generate_shifted_component_parts(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), generate_shifted_component_tree_separate(), generate_shifted_component_tree_unroll(), gist_leave_expansion(), init_merge_graph(), insert_extension(), intersect_explicit_domain(), is_disjoint_extension(), isl_ast_build_clear_local_info(), isl_ast_build_free(), isl_ast_build_scale_down(), isl_ast_build_set_executed(), isl_ast_build_set_options(), isl_ast_build_substitute_values_union_map_domain(), isl_carry_clear(), isl_map_from_union_map(), isl_obj_union_map_free(), isl_printer_print_union_flow(), isl_sched_graph_free(), isl_sched_graph_init(), isl_schedule_constraints_add(), isl_schedule_constraints_apply(), isl_schedule_constraints_free(), isl_schedule_constraints_init(), isl_schedule_constraints_set(), isl_schedule_node_expansion_set_contraction_and_expansion(), isl_schedule_node_extension_set_extension(), isl_schedule_node_get_subtree_expansion(), isl_schedule_node_group(), isl_schedule_tree_expansion_set_contraction_and_expansion(), isl_schedule_tree_extension_set_extension(), isl_schedule_tree_free(), isl_schedule_tree_from_expansion(), isl_schedule_tree_from_extension(), isl_union_access_info_compute_flow(), isl_union_access_info_free(), isl_union_access_info_from_sink(), isl_union_access_info_init(), isl_union_access_info_set(), isl_union_access_info_set_schedule(), isl_union_access_info_set_schedule_map(), isl_union_flow_drop_kill_source(), isl_union_flow_free(), isl_union_map_add_map(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_compute_flow(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_dup(), isl_union_map_from_union_pw_aff(), isl_union_map_from_union_pw_multi_aff(), isl_union_map_intersect_params(), isl_union_map_is_disjoint(), isl_union_map_is_injective(), isl_union_map_is_transitively_closed(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_params(), isl_union_map_power(), isl_union_map_project_out(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), isl_union_map_reset_user(), isl_union_map_sample(), isl_union_map_transitive_closure(), isl_union_map_union(), isl_union_pw_multi_aff_from_union_map(), isl_union_set_free(), polly::Dependences::isParallel(), main(), match_bin_op(), plain_injective_on_range(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), preimage_union_pw_multi_aff(), range_intersects(), read_expansion(), read_extension(), polly::Dependences::releaseMemory(), separate_schedule_domains(), single_valued_on_domain(), subtree_schedule_extend(), subtree_schedule_extend_child(), subtree_schedule_extend_from_children(), test_bin_locus(), test_bin_union_map(), test_conflicting_context_schedule(), test_flow(), test_has_schedule(), test_multi_pw_aff_3(), test_one_schedule(), test_plain_injective(), test_schedule_tree(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_special_conditional_schedule_constraints(), test_special_schedule(), test_subtract(), test_sv(), test_un_union_map(), test_union(), test_union_map_mupa_conversion(), un_op(), union_components(), union_floyd_warshall(), and isl::union_map::~union_map().

isl_union_map_from_basic_map()

__isl_give isl_union_map * isl_union_map_from_basic_map

(

__isl_take isl_basic_map *

bmap

)

Definition at line 558 of file isl_union_map.c.

References isl_map_from_basic_map(), and isl_union_map_from_map().

Referenced by isl_union_set_from_basic_set(), and isl::union_map::union_map().

isl_union_map_from_domain()

__isl_give isl_union_map * isl_union_map_from_domain

(

__isl_take isl_union_set *

uset

)

Definition at line 2060 of file isl_union_map.c.

References isl_union_map_from_range(), and isl_union_map_reverse().

Referenced by create_leaf(), isl::union_map::from_domain(), isl_schedule_node_band_get_partial_schedule_union_map(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_subtree_schedule_union_map(), isl_schedule_tree_get_subtree_schedule_union_map(), isl_union_map_from_domain_and_range(), and subtree_schedule_extend().

isl_union_map_from_domain_and_range()

__isl_give isl_union_map * isl_union_map_from_domain_and_range	(	__isl_take isl_union_set *	domain,
		__isl_take isl_union_set *	range
	)

Definition at line 2066 of file isl_union_map.c.

References domain, isl_union_map_apply_range(), isl_union_map_from_domain(), isl_union_map_from_range(), and range.

Referenced by build_ast_from_domain(), extension_from_domain(), isl::union_map::from_domain_and_range(), isl_schedule_node_group(), isl_union_map_from_multi_union_pw_aff_0D(), and set_universe().

isl_union_map_from_map()

__isl_give isl_union_map * isl_union_map_from_map

(

__isl_take isl_map *

map

)

Definition at line 521 of file isl_union_map.c.

References isl_map_get_space(), isl_space_params(), isl_union_map_add_map(), isl_union_map_empty(), and map.

Referenced by after_in_band(), after_in_subtree(), at_each_domain(), collect_edge_constraints(), compute_flow(), compute_single_flow(), construct_component_executed(), create_node(), deltas_map(), embed_options(), extract_edge(), generate_non_single_valued(), polly::PolyhedralInfo::getScheduleForLoop(), internal_executed(), isl_ast_build_get_schedule(), isl_map_to_union_map(), isl_stream_read_union_map(), isl_union_map_from_basic_map(), isl_union_map_power(), isl_union_set_from_set(), main(), options_insert_dim(), power(), to_union(), and isl::union_map::union_map().

isl_union_map_from_range()

__isl_give isl_union_map * isl_union_map_from_range

(

__isl_take isl_union_set *

uset

)

Definition at line 2051 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_from_range(), and un_op.

Referenced by isl::union_map::from_range(), isl_union_map_from_domain(), and isl_union_map_from_domain_and_range().

isl_union_map_get_ctx()

isl_ctx * isl_union_map_get_ctx

(

__isl_keep isl_union_map *

umap

)

Definition at line 170 of file isl_union_map.c.

Referenced by check_band_schedule_total_on_instances(), check_union_map_space_equal_dim(), compute_domains(), isl::union_map::ctx(), generate_inner_level(), isl_map_from_union_map(), isl_schedule_node_from_extension(), isl_schedule_tree_from_expansion(), isl_schedule_tree_from_extension(), isl_union_access_info_from_sink(), isl_union_access_info_get_ctx(), isl_union_flow_get_ctx(), isl_union_map_align_params(), isl_union_map_dim(), isl_union_map_every_map(), isl_union_map_find_entry(), isl_union_map_get_dim_id(), isl_union_map_get_map_list(), isl_union_map_involves_dims(), isl_union_map_project_out(), plain_injective_on_range(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), range_dim(), set_options(), set_universe(), un_op(), union_components(), and union_floyd_warshall().

isl_union_map_get_dim_id()

__isl_give isl_id * isl_union_map_get_dim_id	(	__isl_keep isl_union_map *	umap,
		enum isl_dim_type	type,
		unsigned	pos
	)

Definition at line 69 of file isl_union_map.c.

References isl_die, isl_dim_param, isl_error_invalid, isl_space_get_dim_id(), isl_union_map_get_ctx(), pos(), and type.

isl_union_map_get_hash()

uint32_t isl_union_map_get_hash

(

__isl_keep isl_union_map *

umap

)

Definition at line 4402 of file isl_union_map.c.

References add_hash(), isl_hash_init, and isl_union_map_foreach_map().

Referenced by isl_union_set_get_hash().

isl_union_map_get_map_list()

__isl_give isl_map_list * isl_union_map_get_map_list

(

__isl_keep isl_union_map *

umap

)

Definition at line 677 of file isl_union_map.c.

References add_list_map(), isl_union_map_foreach_map(), isl_union_map_get_ctx(), and isl_union_map_n_map().

Referenced by isl_union_set_get_set_list(), and isl::union_map::map_list().

isl_union_map_get_space()

__isl_give isl_space * isl_union_map_get_space

(

__isl_keep isl_union_map *

umap

)

Definition at line 194 of file isl_union_map.c.

References isl_space_copy(), and isl_union_map_peek_space().

Referenced by bin_op(), build_ast_from_expansion(), build_ast_from_filter(), polly::Dependences::calculateDependences(), compute_flow_schedule(), compute_flow_union_map(), gen_bin_op(), gen_bin_set_op(), generate_code(), group_context(), isl_ast_build_clear_local_info(), isl_schedule_constraints_align_params(), isl_union_access_info_align_params(), isl_union_access_info_init(), isl_union_flow_copy(), isl_union_map_add_map(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_contains(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_is_disjoint(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_params(), isl_union_map_power(), isl_union_map_project_out(), isl_union_map_reset_range_space(), isl_union_map_sample(), isl_union_map_union(), isl_union_pw_multi_aff_from_union_map(), isl_union_set_get_space(), match_bin_op(), options_insert_dim(), plain_injective_on_range(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), preimage_union_pw_multi_aff(), isl::union_map::space(), test_one_schedule(), un_op(), and union_components().

isl_union_map_gist()

__isl_give isl_union_map * isl_union_map_gist	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_map *	context
	)

Definition at line 1308 of file isl_union_map.c.

References context, isl_map_gist(), and match_bin_op().

Referenced by isl::union_map::gist(), and isl_union_set_gist().

isl_union_map_gist_domain()

__isl_give isl_union_map * isl_union_map_gist_domain	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	uset
	)

Definition at line 1471 of file isl_union_map.c.

References isl_union_set_is_params(), union_map_gist_domain(), and union_map_gist_params().

Referenced by isl::union_map::gist_domain(), and gist_enter_expansion().

isl_union_map_gist_params()

__isl_give isl_union_map * isl_union_map_gist_params	(	__isl_take isl_union_map *	umap,
		__isl_take isl_set *	set
	)

Definition at line 1296 of file isl_union_map.c.

References gen_bin_set_op(), gist_params_entry(), and set.

Referenced by isl::union_map::gist_params(), isl_union_set_gist_params(), and union_map_gist_params().

isl_union_map_gist_range()

__isl_give isl_union_map * isl_union_map_gist_range	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	uset
	)

Definition at line 1482 of file isl_union_map.c.

References gen_bin_op(), isl_map_gist_range(), isl_space_range(), and isl_bin_op_control::match_space.

Referenced by isl::union_map::gist_range().

isl_union_map_intersect()

__isl_give isl_union_map * isl_union_map_intersect	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1245 of file isl_union_map.c.

References isl_map_intersect(), match_bin_op(), and isl_union_map_match_bin_data::umap2.

Referenced by after_in_band(), after_in_context(), polly::Dependences::calculateDependences(), isl::union_map::intersect(), and isl_union_set_intersect().

isl_union_map_intersect_domain()

__isl_give isl_union_map * isl_union_map_intersect_domain	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	uset
	)

Definition at line 1420 of file isl_union_map.c.

References isl_union_map_intersect_domain_union_set().

Referenced by add_node(), after_in_band(), after_in_context(), after_in_filter(), after_in_sequence(), build_ast_from_context(), build_ast_from_extension(), polly::Dependences::calculateDependences(), collect_edge_constraints(), compute_separate_domain(), count_sink_source(), domain_intersects(), generate_code_in_space(), generate_shifted_component_tree_part(), intersect_domains(), intersect_explicit_domain(), isl_schedule_node_get_prefix_schedule_relation(), single_valued_on_domain(), test_one_schedule(), and test_schedule_tree_group_2().

isl_union_map_intersect_domain_factor_domain()

__isl_give isl_union_map * isl_union_map_intersect_domain_factor_domain	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_map *	factor
	)

Definition at line 1516 of file isl_union_map.c.

References isl_bin_op_control::filter, gen_bin_op(), isl_map_domain_is_wrapping(), isl_map_intersect_domain_factor_domain(), and isl_space_domain_factor_domain().

Referenced by isl::union_map::intersect_domain_factor_domain().

isl_union_map_intersect_domain_factor_range()

__isl_give isl_union_map * isl_union_map_intersect_domain_factor_range	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_map *	factor
	)

Definition at line 1532 of file isl_union_map.c.

References isl_bin_op_control::filter, gen_bin_op(), isl_map_domain_is_wrapping(), isl_map_intersect_domain_factor_range(), and isl_space_domain_factor_range().

Referenced by isl::union_map::intersect_domain_factor_range().

isl_union_map_intersect_domain_space()

__isl_give isl_union_map * isl_union_map_intersect_domain_space	(	__isl_take isl_union_map *	umap,
		__isl_take isl_space *	space
	)

Definition at line 4584 of file isl_union_map.c.

References isl_un_op_control::filter, has_domain_space_tuples(), isl_space_free(), and un_op.

Referenced by isl::union_map::intersect_domain().

isl_union_map_intersect_domain_union_set()

__isl_give isl_union_map * isl_union_map_intersect_domain_union_set	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	uset
	)

Definition at line 1409 of file isl_union_map.c.

References isl_union_set_is_params(), union_map_intersect_domain(), and union_map_intersect_params().

Referenced by isl::union_map::intersect_domain(), and isl_union_map_intersect_domain().

isl_union_map_intersect_domain_wrapped_domain_union_set()

__isl_give isl_union_map * isl_union_map_intersect_domain_wrapped_domain_union_set	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	domain
	)

Definition at line 1660 of file isl_union_map.c.

References domain, isl_bin_op_control::filter, gen_bin_op(), isl_map_domain_is_wrapping(), isl_map_intersect_domain_wrapped_domain(), and isl_space_domain_wrapped_domain().

isl_union_map_intersect_params()

__isl_give isl_union_map * isl_union_map_intersect_params	(	__isl_take isl_union_map *	umap,
		__isl_take isl_set *	set
	)

Definition at line 1138 of file isl_union_map.c.

References gen_bin_set_op(), intersect_params_entry(), isl_set_free(), isl_set_plain_is_universe(), isl_union_map_free(), and set.

Referenced by collectInfo(), generate_code_in_space(), intersect_explicit_domain(), isl::union_map::intersect_params(), isl_union_set_intersect_params(), and union_map_intersect_params().

isl_union_map_intersect_range()

__isl_give isl_union_map * isl_union_map_intersect_range	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	uset
	)

Definition at line 1506 of file isl_union_map.c.

References isl_union_map_intersect_range_union_set().

Referenced by after_in_context(), after_in_filter(), after_in_sequence(), build_ast_from_filter(), collect_filter_prefix_update(), intersect_explicit_domain(), is_disjoint_extension(), isl_schedule_node_expand(), isl_schedule_node_group(), plain_injective_on_range_wrap(), range_intersects(), and subtree_expansion_enter().

isl_union_map_intersect_range_factor_domain()

__isl_give isl_union_map * isl_union_map_intersect_range_factor_domain	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_map *	factor
	)

Definition at line 1548 of file isl_union_map.c.

References isl_bin_op_control::filter, gen_bin_op(), isl_map_intersect_range_factor_domain(), isl_map_range_is_wrapping(), and isl_space_range_factor_domain().

Referenced by isl::union_map::intersect_range_factor_domain().

isl_union_map_intersect_range_factor_range()

__isl_give isl_union_map * isl_union_map_intersect_range_factor_range	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_map *	factor
	)

Definition at line 1564 of file isl_union_map.c.

References isl_bin_op_control::filter, gen_bin_op(), isl_map_intersect_range_factor_range(), isl_map_range_is_wrapping(), and isl_space_range_factor_range().

Referenced by isl::union_map::intersect_range_factor_range(), and isl_union_flow_drop_kill_source().

isl_union_map_intersect_range_space()

__isl_give isl_union_map * isl_union_map_intersect_range_space	(	__isl_take isl_union_map *	umap,
		__isl_take isl_space *	space
	)

Definition at line 4599 of file isl_union_map.c.

References isl_un_op_control::filter, has_range_space_tuples(), isl_space_free(), and un_op.

Referenced by isl::union_map::intersect_range().

isl_union_map_intersect_range_union_set()

__isl_give isl_union_map * isl_union_map_intersect_range_union_set	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	uset
	)

Definition at line 1493 of file isl_union_map.c.

References gen_bin_op(), isl_map_intersect_range(), isl_space_range(), and isl_bin_op_control::match_space.

Referenced by isl::union_map::intersect_range(), and isl_union_map_intersect_range().

isl_union_map_intersect_range_wrapped_domain_union_set()

__isl_give isl_union_map * isl_union_map_intersect_range_wrapped_domain_union_set	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	domain
	)

Definition at line 1677 of file isl_union_map.c.

References domain, isl_bin_op_control::filter, gen_bin_op(), isl_map_intersect_range_wrapped_domain(), isl_map_range_is_wrapping(), and isl_space_range_wrapped_domain().

isl_union_map_involves_dims()

isl_bool isl_union_map_involves_dims	(	__isl_keep isl_union_map *	umap,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 4085 of file isl_union_map.c.

References isl_union_map_involves_dims_data::first, isl_bool_error, isl_bool_not(), isl_die, isl_dim_param, isl_error_invalid, isl_union_map_get_ctx(), map_excludes(), n, type, and union_map_forall_user().

Referenced by group_context().

isl_union_map_is_bijective()

isl_bool isl_union_map_is_bijective

(

__isl_keep isl_union_map *

umap

)

Definition at line 3369 of file isl_union_map.c.

References isl_union_map_is_injective(), isl_union_map_is_single_valued(), and sv.

Referenced by isl::union_map::is_bijective().

isl_union_map_is_disjoint()

isl_bool isl_union_map_is_disjoint	(	__isl_keep isl_union_map *	umap1,
		__isl_keep isl_union_map *	umap2
	)

Definition at line 2724 of file isl_union_map.c.

References isl_union_map_is_disjoint_data::is_disjoint, is_disjoint_entry(), isl_bool_error, isl_bool_true, isl_hash_table_foreach(), isl_union_map_align_params(), isl_union_map_copy(), isl_union_map_free(), isl_union_map_get_space(), and isl_union_map_is_disjoint_data::umap2.

Referenced by extend_extension(), isl::union_map::is_disjoint(), and isl_union_set_is_disjoint().

isl_union_map_is_empty()

isl_bool isl_union_map_is_empty

(

__isl_keep isl_union_map *

umap

)

Definition at line 2897 of file isl_union_map.c.

References isl_map_is_empty(), and union_map_forall().

Referenced by add_node(), after_in_band(), after_in_sequence(), after_in_tree(), build_ast_from_filter(), polly::Dependences::calculateDependences(), collect_filter_prefix_update(), compute_separate_domain(), domain_intersects(), generate_next_level(), generate_shifted_component_tree_part(), is_condition_false(), is_disjoint_extension(), isl::union_map::is_empty(), isl_union_access_has_kill(), isl_union_map_params(), isl_union_set_is_empty(), polly::Dependences::isParallel(), print_access_field(), range_intersects(), subtree_schedule_extend_from_children(), and test_special_conditional_schedule_constraints().

isl_union_map_is_equal()

isl_bool isl_union_map_is_equal	(	__isl_keep isl_union_map *	umap1,
		__isl_keep isl_union_map *	umap2
	)

Definition at line 2648 of file isl_union_map.c.

References isl_union_map_is_subset_data::is_subset, isl_bool_error, isl_bool_true, isl_union_map_is_subset(), and isl_union_map_is_subset_data::umap2.

Referenced by polly::Dependences::calculateDependences(), isl::union_map::is_equal(), isl_schedule_tree_plain_is_equal(), isl_union_set_is_equal(), main(), test_bin_locus(), test_bin_union_map(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_special_schedule(), test_subtract(), test_un_union_map(), test_union(), and test_union_map_mupa_conversion().

isl_union_map_is_identity()

isl_bool isl_union_map_is_identity

(

__isl_keep isl_union_map *

umap

)

Definition at line 3120 of file isl_union_map.c.

References identity(), isl_bool_error, isl_bool_not(), isl_bool_true, isl_union_map_foreach_map(), isl_union_map_plain_is_not_identity(), map_is_identity(), and isl_union_map_is_sv_data::umap.

Referenced by gist_leave_expansion().

isl_union_map_is_injective()

isl_bool isl_union_map_is_injective

(

__isl_keep isl_union_map *

umap

)

Definition at line 3033 of file isl_union_map.c.

References isl_union_map_copy(), isl_union_map_free(), isl_union_map_is_single_valued(), isl_union_map_reverse(), and isl_union_map_is_sv_data::umap.

Referenced by isl::union_map::is_injective(), and isl_union_map_is_bijective().

isl_union_map_is_params()

isl_bool isl_union_map_is_params

(

__isl_keep isl_union_map *

umap

)

Definition at line 104 of file isl_union_map.c.

References isl_union_set_is_params(), and uset_from_umap().

isl_union_map_is_single_valued()

isl_bool isl_union_map_is_single_valued

(

__isl_keep isl_union_map *

umap

)

Definition at line 3007 of file isl_union_map.c.

References domain, isl_bool_error, isl_bool_true, isl_union_map_copy(), isl_union_map_domain(), isl_union_map_n_map(), isl_union_map_universe(), isl_union_set_foreach_set(), isl_union_set_free(), n, single_map_is_single_valued(), single_valued_on_domain(), isl_union_map_is_sv_data::sv, isl_union_map_is_sv_data::umap, and universe().

Referenced by isl::union_map::is_single_valued(), isl_union_map_is_bijective(), isl_union_map_is_injective(), and test_sv().

isl_union_map_is_strict_subset()

isl_bool isl_union_map_is_strict_subset	(	__isl_keep isl_union_map *	umap1,
		__isl_keep isl_union_map *	umap2
	)

Definition at line 2668 of file isl_union_map.c.

References isl_union_map_is_subset_data::is_subset, isl_bool_error, isl_bool_not(), isl_bool_true, isl_union_map_is_subset(), and isl_union_map_is_subset_data::umap2.

Referenced by isl::union_map::is_strict_subset(), and isl_union_set_is_strict_subset().

isl_union_map_is_subset()

isl_bool isl_union_map_is_subset	(	__isl_keep isl_union_map *	umap1,
		__isl_keep isl_union_map *	umap2
	)

Definition at line 2625 of file isl_union_map.c.

References isl_union_map_is_subset_data::is_subset, is_subset_entry(), isl_bool_error, isl_bool_true, isl_hash_table_foreach(), and isl_union_map_is_subset_data::umap2.

Referenced by build_ast_from_filter(), isl::union_map::is_subset(), isl_union_map_is_equal(), isl_union_map_is_strict_subset(), isl_union_map_is_transitively_closed(), and isl_union_set_is_subset().

isl_union_map_isa_map()

isl_bool isl_union_map_isa_map

(

__isl_keep isl_union_map *

umap

)

Definition at line 708 of file isl_union_map.c.

References isl_bool_error, isl_bool_ok(), isl_union_map_n_map(), and n.

Referenced by isl::union_map::isa_map(), isl_map_from_union_map(), and isl_union_set_isa_set().

isl_union_map_lex_ge_union_map()

__isl_give isl_union_map * isl_union_map_lex_ge_union_map	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1386 of file isl_union_map.c.

References isl_union_map_lex_le_union_map(), and isl_union_map_reverse().

isl_union_map_lex_gt_union_map()

__isl_give isl_union_map * isl_union_map_lex_gt_union_map	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1380 of file isl_union_map.c.

References isl_union_map_lex_lt_union_map(), and isl_union_map_reverse().

isl_union_map_lex_le_union_map()

__isl_give isl_union_map * isl_union_map_lex_le_union_map	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1755 of file isl_union_map.c.

References bin_op, map_lex_le_entry(), and isl_union_map_bin_data::umap2.

Referenced by isl_union_map_lex_ge_union_map().

isl_union_map_lex_lt_union_map()

__isl_give isl_union_map * isl_union_map_lex_lt_union_map	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1729 of file isl_union_map.c.

References bin_op, map_lex_lt_entry(), and isl_union_map_bin_data::umap2.

Referenced by isl_union_map_lex_gt_union_map().

isl_union_map_lexmax()

__isl_give isl_union_map * isl_union_map_lexmax

(

__isl_take isl_union_map *

umap

)

Definition at line 2245 of file isl_union_map.c.

References isl_map_lexmax(), and total().

Referenced by isl_union_set_lexmax(), and isl::union_map::lexmax().

isl_union_map_lexmin()

__isl_give isl_union_map * isl_union_map_lexmin

(

__isl_take isl_union_map *

umap

)

Definition at line 2233 of file isl_union_map.c.

References isl_map_lexmin(), and total().

Referenced by isl_union_set_lexmin(), and isl::union_map::lexmin().

isl_union_map_n_map()

isl_size isl_union_map_n_map

(

__isl_keep isl_union_map *

umap

)

Definition at line 585 of file isl_union_map.c.

References isl_size_error.

Referenced by count_sink_source(), generate_components(), generate_next_level(), isl_sched_graph_init(), isl_schedule_constraints_n_map(), isl_union_map_get_map_list(), isl_union_map_is_single_valued(), isl_union_map_isa_map(), isl_union_map_plain_is_empty(), isl_union_map_power(), plain_injective_on_range(), range_dim(), single_valued_on_domain(), and polly::singleton().

isl_union_map_order_at_multi_union_pw_aff()

static __isl_give isl_union_map * isl_union_map_order_at_multi_union_pw_aff ( __isl_take isl_union_map *  umap, __isl_take isl_multi_union_pw_aff *  mupa, __isl_give isl_map *(*)(__isl_take isl_multi_pw_aff *mpa1, __isl_take isl_multi_pw_aff *mpa2)  order  )

static

Definition at line 4303 of file isl_union_map.c.

References intersect_explicit_domain(), isl_union_map_align_params(), isl_union_map_empty(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), mupa, isl_union_order_at_data::mupa, isl_union_order_at_data::order, order_at(), and isl_union_order_at_data::res.

Referenced by FN(), and isl_union_map_eq_at_multi_union_pw_aff().

isl_union_map_params()

__isl_give isl_set * isl_union_map_params

(

__isl_take isl_union_map *

umap

)

Definition at line 2306 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_params(), isl_set_empty(), isl_set_from_union_set(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_is_empty(), and un_op.

Referenced by isl_union_set_params(), and isl::union_map::params().

isl_union_map_peek_space()

__isl_keep isl_space * isl_union_map_peek_space

(

__isl_keep isl_union_map *

umap

)

Definition at line 182 of file isl_union_map.c.

Referenced by isl_union_map_align_params(), isl_union_map_find_dim_by_id(), isl_union_map_get_space(), isl_union_map_reset_equal_dim_space(), isl_union_map_space_has_equal_params(), and isl_union_set_peek_space().

isl_union_map_plain_gist()

__isl_give isl_union_map * isl_union_map_plain_gist	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_map *	context
	)

Definition at line 1327 of file isl_union_map.c.

References context, isl_map_plain_gist(), and match_bin_op().

Referenced by isl_union_set_plain_gist().

isl_union_map_plain_is_empty()

isl_bool isl_union_map_plain_is_empty

(

__isl_keep isl_union_map *

umap

)

Definition at line 2887 of file isl_union_map.c.

References isl_bool_error, isl_union_map_n_map(), and n.

Referenced by print_constraint().

isl_union_map_plain_is_injective()

isl_bool isl_union_map_plain_is_injective

(

__isl_keep isl_union_map *

umap

)

Definition at line 3347 of file isl_union_map.c.

References isl_bool_error, isl_bool_false, isl_map_plain_is_injective(), isl_union_map_copy(), isl_union_map_range(), isl_union_map_universe(), isl_union_set_free(), plain_injective_on_range_wrap(), union_map_forall(), and union_map_forall_user().

Referenced by test_plain_injective().

isl_union_map_plain_is_not_identity()

static isl_bool isl_union_map_plain_is_not_identity ( __isl_keep isl_union_map *  umap )

static

Definition at line 3081 of file isl_union_map.c.

References isl_bool_error, isl_bool_false, isl_union_map_foreach_map(), map_plain_is_not_identity(), and isl_union_map_is_sv_data::umap.

Referenced by isl_union_map_is_identity().

isl_union_map_polyhedral_hull()

__isl_give isl_union_map * isl_union_map_polyhedral_hull

(

__isl_take isl_union_map *

umap

)

Definition at line 2135 of file isl_union_map.c.

References isl_map_polyhedral_hull_map(), and total().

Referenced by isl_union_set_polyhedral_hull(), and isl::union_map::polyhedral_hull().

isl_union_map_preimage_domain_multi_aff()

__isl_give isl_union_map * isl_union_map_preimage_domain_multi_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_multi_aff *	ma
	)

Definition at line 3688 of file isl_union_map.c.

References isl_pw_multi_aff_from_multi_aff(), isl_union_map_preimage_domain_pw_multi_aff(), and ma.

Referenced by build_ast_from_extension(), isl_ast_build_substitute_values_union_map_domain(), and isl::union_map::preimage_domain().

isl_union_map_preimage_domain_multi_pw_aff()

__isl_give isl_union_map * isl_union_map_preimage_domain_multi_pw_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_multi_pw_aff *	mpa
	)

Definition at line 3822 of file isl_union_map.c.

References domain_match(), isl_map_preimage_domain_multi_pw_aff(), isl_union_map_preimage_mpa_data::mpa, and preimage_multi_pw_aff().

Referenced by isl::union_map::preimage_domain().

isl_union_map_preimage_domain_pw_multi_aff()

__isl_give isl_union_map * isl_union_map_preimage_domain_pw_multi_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_pw_multi_aff *	pma
	)

Definition at line 3647 of file isl_union_map.c.

References domain_match(), isl_map_preimage_domain_pw_multi_aff(), pma, and preimage_pw_multi_aff().

Referenced by isl_union_map_preimage_domain_multi_aff(), isl_union_map_preimage_domain_union_pw_multi_aff(), and isl::union_map::preimage_domain().

isl_union_map_preimage_domain_union_pw_multi_aff()

__isl_give isl_union_map * isl_union_map_preimage_domain_union_pw_multi_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_pw_multi_aff *	upma
	)

Definition at line 3892 of file isl_union_map.c.

References isl_union_map_preimage_domain_pw_multi_aff(), preimage_union_pw_multi_aff(), and isl_union_map_preimage_upma_data::umap.

Referenced by isl::union_map::preimage_domain().

isl_union_map_preimage_range_multi_aff()

__isl_give isl_union_map * isl_union_map_preimage_range_multi_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_multi_aff *	ma
	)

Definition at line 3702 of file isl_union_map.c.

References isl_pw_multi_aff_from_multi_aff(), isl_union_map_preimage_range_pw_multi_aff(), and ma.

Referenced by isl::union_map::preimage_range().

isl_union_map_preimage_range_pw_multi_aff()

__isl_give isl_union_map * isl_union_map_preimage_range_pw_multi_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_pw_multi_aff *	pma
	)

Definition at line 3661 of file isl_union_map.c.

References isl_map_preimage_range_pw_multi_aff(), pma, preimage_pw_multi_aff(), and range_match().

Referenced by isl_union_map_preimage_range_multi_aff(), isl_union_map_preimage_range_union_pw_multi_aff(), and isl::union_map::preimage_range().

isl_union_map_preimage_range_union_pw_multi_aff()

__isl_give isl_union_map * isl_union_map_preimage_range_union_pw_multi_aff	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_pw_multi_aff *	upma
	)

Definition at line 3908 of file isl_union_map.c.

References isl_union_map_preimage_range_pw_multi_aff(), preimage_union_pw_multi_aff(), and isl_union_map_preimage_upma_data::umap.

Referenced by isl_schedule_tree_pullback_union_pw_multi_aff(), and isl::union_map::preimage_range().

isl_union_map_product()

__isl_give isl_union_map * isl_union_map_product	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1773 of file isl_union_map.c.

References bin_op, product_entry(), and isl_union_map_bin_data::umap2.

Referenced by collect_edge_constraints(), isl_union_map_power(), and isl::union_map::product().

isl_union_map_project_out()

__isl_give isl_union_map * isl_union_map_project_out	(	__isl_take isl_union_map *	umap,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 4004 of file isl_union_map.c.

References isl_union_map_project_out_data::first, isl_die, isl_dim_param, isl_error_invalid, isl_space_drop_dims(), isl_union_map_empty(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_get_space(), n, project_out(), isl_union_map_project_out_data::res, and type.

Referenced by group_context(), and isl_union_set_project_out().

isl_union_map_range()

__isl_give isl_union_set * isl_union_map_range

(

__isl_take isl_union_map *

umap

)

Definition at line 2343 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_range(), and un_op.

Referenced by after_in_band(), after_in_context(), before_for(), check_band_schedule_total_on_instances(), collect_universe_domain_extension(), gist_enter_extension(), graft_extension(), group_expansion(), has_violated_conditional_constraint(), insert_extension(), is_disjoint_extension(), isl_union_map_plain_is_injective(), isl::union_map::range(), set_universe(), test_padded_schedule(), and update_edges().

isl_union_map_range_curry()

__isl_give isl_union_map * isl_union_map_range_curry

(

__isl_take isl_union_map *

umap

)

Definition at line 3422 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_can_range_curry(), isl_map_range_curry(), un_op, and un_op_filter_drop_user().

Referenced by isl_union_flow_drop_schedule().

isl_union_map_range_factor_domain()

__isl_give isl_union_map * isl_union_map_range_factor_domain

(

__isl_take isl_union_map *

umap

)

Definition at line 2516 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_range_factor_domain(), isl_map_range_is_wrapping(), un_op, and un_op_filter_drop_user().

Referenced by isl_union_flow_get_may_dependence(), isl_union_flow_get_must_dependence(), and isl::union_map::range_factor_domain().

isl_union_map_range_factor_range()

__isl_give isl_union_map * isl_union_map_range_factor_range

(

__isl_take isl_union_map *

umap

)

Definition at line 2531 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_range_factor_range(), isl_map_range_is_wrapping(), un_op, and un_op_filter_drop_user().

Referenced by isl::union_map::range_factor_range().

isl_union_map_range_map()

__isl_give isl_union_map * isl_union_map_range_map

(

__isl_take isl_union_map *

umap

)

Definition at line 2393 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_range_map(), and un_op.

Referenced by collect_sink_source(), isl_union_access_info_introduce_schedule(), and isl::union_map::range_map().

isl_union_map_range_product()

__isl_give isl_union_map * isl_union_map_range_product	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1846 of file isl_union_map.c.

References bin_op, range_product_entry(), and isl_union_map_bin_data::umap2.

Referenced by create_leaf(), and isl::union_map::range_product().

isl_union_map_range_reverse()

__isl_give isl_union_map * isl_union_map_range_reverse

(

__isl_take isl_union_map *

umap

)

Definition at line 2292 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_range_is_wrapping(), isl_map_range_reverse(), un_op, and un_op_filter_drop_user().

Referenced by isl::union_map::range_reverse().

isl_union_map_remove_divs()

__isl_give isl_union_map * isl_union_map_remove_divs

(

__isl_take isl_union_map *

umap

)

Definition at line 3958 of file isl_union_map.c.

References isl_map_remove_divs(), total(), and isl_union_map_preimage_upma_data::umap.

Referenced by collect_inter_validity(), exploit_inter_lineality(), and isl_union_set_remove_divs().

isl_union_map_remove_map_if()

__isl_give isl_union_map * isl_union_map_remove_map_if	(	__isl_take isl_union_map *	umap,
		isl_bool(*)(__isl_keep isl_map *map, void *user)	fn,
		void *	user
	)

Definition at line 4522 of file isl_union_map.c.

References isl_un_op_control::filter, fn, map_id(), not(), un_op, and user.

isl_union_map_remove_redundancies()

__isl_give isl_union_map * isl_union_map_remove_redundancies

(

__isl_take isl_union_map *

umap

)

Definition at line 2183 of file isl_union_map.c.

References inplace(), and isl_map_remove_redundancies().

Referenced by isl_ast_build_node_from_schedule_map(), and isl_union_set_remove_redundancies().

isl_union_map_reset_equal_dim_space()

__isl_give isl_union_map * isl_union_map_reset_equal_dim_space	(	__isl_take isl_union_map *	umap,
		__isl_take isl_space *	space
	)

Definition at line 4198 of file isl_union_map.c.

References check_union_map_space_equal_dim(), equal, isl_space_copy(), isl_space_free(), isl_space_is_equal(), isl_union_map_empty(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_peek_space(), isl_union_map_reset_params_data::res, reset_params(), and isl_union_map_reset_params_data::space.

isl_union_map_reset_range_space()

__isl_give isl_union_map * isl_union_map_reset_range_space	(	__isl_take isl_union_map *	umap,
		__isl_take isl_space *	space
	)

Definition at line 4136 of file isl_union_map.c.

References isl_space_free(), isl_union_map_empty(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_reset_range_space_data::res, and reset_range_space().

Referenced by isl_union_map_from_multi_union_pw_aff().

isl_union_map_reset_user()

__isl_give isl_union_map * isl_union_map_reset_user

(

__isl_take isl_union_map *

umap

)

Definition at line 3934 of file isl_union_map.c.

References isl_union_map::dim, isl_map_reset_user(), isl_space_reset_user(), isl_union_map_cow(), isl_union_map_free(), total(), and isl_union_map_preimage_upma_data::umap.

Referenced by isl_schedule_tree_reset_user(), and isl_union_set_reset_user().

isl_union_map_reverse()

__isl_give isl_union_map * isl_union_map_reverse

(

__isl_take isl_union_map *

umap

)

Definition at line 2281 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_reverse(), and un_op.

Referenced by polly::Dependences::addPrivatizationDependences(), after_in_band(), after_in_context(), apply_factor_domain(), build_ast_from_band(), collect_sink_source(), isl_ast_build_get_schedule(), isl_ast_build_node_from_schedule_map(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_union_access_info_introduce_schedule(), isl_union_map_apply_domain(), isl_union_map_from_domain(), isl_union_map_is_injective(), isl_union_map_lex_ge_union_map(), isl_union_map_lex_gt_union_map(), isl_union_set_lex_ge_union_set(), isl_union_set_lex_gt_union_set(), isl::union_map::reverse(), single_valued_on_domain(), and test_one_schedule().

isl_union_map_sample()

__isl_give isl_basic_map * isl_union_map_sample

(

__isl_take isl_union_map *

umap

)

Definition at line 2776 of file isl_union_map.c.

References isl_basic_map_empty(), isl_hash_table_foreach(), isl_union_map_free(), isl_union_map_get_space(), and sample_entry().

Referenced by isl_union_set_sample().

isl_union_map_simple_hull()

__isl_give isl_union_map * isl_union_map_simple_hull

(

__isl_take isl_union_map *

umap

)

Definition at line 2156 of file isl_union_map.c.

References isl_map_simple_hull_map(), and total().

Referenced by isl_union_set_simple_hull().

isl_union_map_space_has_equal_params()

isl_bool isl_union_map_space_has_equal_params	(	__isl_keep isl_union_map *	umap,
		__isl_keep isl_space *	space
	)

Definition at line 406 of file isl_union_map.c.

References isl_space_has_equal_params(), and isl_union_map_peek_space().

Referenced by isl_union_set_space_has_equal_params().

isl_union_map_subtract()

__isl_give isl_union_map * isl_union_map_subtract	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 1063 of file isl_union_map.c.

References gen_bin_op(), identity(), isl_map_subtract(), and isl_bin_op_control::subtract.

Referenced by polly::Dependences::addPrivatizationDependences(), polly::Dependences::calculateDependences(), isl_union_access_info_normalize(), isl_union_set_subtract(), and isl::union_map::subtract().

isl_union_map_subtract_domain()

__isl_give isl_union_map * isl_union_map_subtract_domain	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	dom
	)

Definition at line 1428 of file isl_union_map.c.

References gen_bin_op(), isl_map_subtract_domain(), isl_space_domain(), and isl_bin_op_control::subtract.

Referenced by exploit_inter_lineality(), isl::union_map::subtract_domain(), and test_subtract().

isl_union_map_subtract_range()

__isl_give isl_union_map * isl_union_map_subtract_range	(	__isl_take isl_union_map *	umap,
		__isl_take isl_union_set *	dom
	)

Definition at line 1442 of file isl_union_map.c.

References gen_bin_op(), isl_map_subtract_range(), isl_space_range(), and isl_bin_op_control::subtract.

Referenced by exploit_inter_lineality(), group_expansion(), set_options(), and isl::union_map::subtract_range().

isl_union_map_uncurry()

__isl_give isl_union_map * isl_union_map_uncurry

(

__isl_take isl_union_map *

umap

)

Definition at line 3394 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_can_uncurry(), isl_map_uncurry(), un_op, and un_op_filter_drop_user().

Referenced by apply_factor_domain(), and isl::union_map::uncurry().

isl_union_map_union()

__isl_give isl_union_map * isl_union_map_union	(	__isl_take isl_union_map *	umap1,
		__isl_take isl_union_map *	umap2
	)

Definition at line 340 of file isl_union_map.c.

References add_map(), isl_union_map_align_params(), isl_union_map_cow(), isl_union_map_foreach_map(), isl_union_map_free(), and isl_union_map_get_space().

Referenced by polly::Dependences::addPrivatizationDependences(), apply(), build_ast_from_extension(), polly::Dependences::calculateDependences(), compute_flow(), compute_single_flow(), exploit_inter_lineality(), extend_extension(), polly::PolyhedralInfo::getScheduleForLoop(), group_expansion(), isl_obj_union_map_add(), isl_schedule_constraints_add(), isl_union_access_info_add_kill_to_must_source(), isl_union_flow_copy(), isl_union_flow_drop_kill_source(), isl_union_flow_get_full_may_dependence(), isl_union_flow_get_may_dependence(), isl_union_flow_get_may_no_source(), isl_union_set_union(), merge_edge(), preimage_upma(), set_universe(), subtree_expansion_leave(), subtree_schedule_extend_from_children(), test_one_schedule(), union_components(), and isl::union_map::unite().

isl_union_map_universe()

__isl_give isl_union_map * isl_union_map_universe

(

__isl_take isl_union_map *

umap

)

Definition at line 2268 of file isl_union_map.c.

References isl_un_op_control::fn_map, un_op, and universe().

Referenced by after_in_band(), after_in_context(), append_range(), collect_filter_prefix_expansion(), collect_universe_domain_extension(), generate_code(), group_expansion(), initial_domain(), is_disjoint_extension(), isl_schedule_node_group(), isl_union_map_is_single_valued(), isl_union_map_plain_is_injective(), isl_union_set_universe(), and isl::union_map::universe().

isl_union_map_wrap()

__isl_give isl_union_set * isl_union_map_wrap

(

__isl_take isl_union_map *

umap

)

Definition at line 2584 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_map_wrap(), and un_op.

Referenced by collect_inter_validity(), and isl::union_map::wrap().

isl_union_map_zip()

__isl_give isl_union_map * isl_union_map_zip

(

__isl_take isl_union_map *

umap

)

Definition at line 3380 of file isl_union_map.c.

References isl_un_op_control::filter, isl_map_can_zip(), isl_map_zip(), un_op, and un_op_filter_drop_user().

Referenced by add_conditional_constraints(), polly::Dependences::calculateDependences(), intersect_domains(), is_condition_false(), isl_union_map_power(), and isl::union_map::zip().

isl_union_set_add_set()

__isl_give isl_union_set * isl_union_set_add_set	(	__isl_take isl_union_set *	uset,
		__isl_take isl_set *	set
	)

Definition at line 515 of file isl_union_map.c.

References isl_union_map_add_map(), set, and set_to_map.

Referenced by add_loop_types(), add_non_trivial_lineality(), bind_id(), coefficients_entry(), collect_bounds(), collect_domain(), FN(), polly::Scop::getDomains(), loop_types(), set_product_entry(), solutions_entry(), and zero_union_set().

isl_union_set_affine_hull()

__isl_give isl_union_set * isl_union_set_affine_hull

(

__isl_take isl_union_set *

uset

)

Definition at line 2100 of file isl_union_map.c.

References isl_union_map_affine_hull().

Referenced by isl::union_set::affine_hull().

isl_union_set_align_params()

__isl_give isl_union_set * isl_union_set_align_params	(	__isl_take isl_union_set *	uset,
		__isl_take isl_space *	model
	)

Definition at line 334 of file isl_union_map.c.

References isl_union_map_align_params().

Referenced by build_ast_from_filter(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_schedule_band_align_params(), isl_schedule_constraints_align_params(), isl_schedule_tree_align_params(), isl_union_pw_aff_pw_aff_on_domain(), and union_set_drop_extra_params().

isl_union_set_apply()

__isl_give isl_union_set * isl_union_set_apply	(	__isl_take isl_union_set *	uset,
		__isl_take isl_union_map *	umap
	)

Definition at line 1703 of file isl_union_map.c.

References isl_union_map_apply_range().

Referenced by isl::union_set::apply(), collect_filter_prefix_expansion(), exploit_intra_lineality(), gist_enter_expansion(), and isl_schedule_constraints_apply().

isl_union_set_as_set()

__isl_give isl_set * isl_union_set_as_set

(

__isl_take isl_union_set *

uset

)

Definition at line 777 of file isl_union_map.c.

References isl_set_from_union_set().

Referenced by isl::union_set::as_set().

isl_union_set_coalesce()

__isl_give isl_union_set * isl_union_set_coalesce

(

__isl_take isl_union_set *

uset

)

Definition at line 2203 of file isl_union_map.c.

References isl_union_map_coalesce().

Referenced by build_ast_from_domain(), isl::union_set::coalesce(), has_violated_conditional_constraint(), isl_schedule_node_group(), and unconditionalize_adjacent_validity().

isl_union_set_coefficients()

__isl_give isl_union_set * isl_union_set_coefficients

(

__isl_take isl_union_set *

uset

)

Definition at line 3454 of file isl_union_map.c.

References coefficients_entry(), isl_hash_table_foreach(), isl_space_set_alloc(), isl_union_map_alloc(), isl_union_set_free(), isl_union_set_get_ctx(), and res.

isl_union_set_combined_lineality_space()

__isl_give isl_union_set * isl_union_set_combined_lineality_space

(

__isl_take isl_union_set *

uset

)

Definition at line 2119 of file isl_union_map.c.

References combined_lineality_space(), isl_un_op_control::fn_map, and un_op.

Referenced by exploit_intra_lineality().

isl_union_set_compute_divs()

__isl_give isl_union_set * isl_union_set_compute_divs

(

__isl_take isl_union_set *

uset

)

Definition at line 2227 of file isl_union_map.c.

References isl_union_map_compute_divs().

Referenced by isl::union_set::compute_divs(), and polly::simplify().

isl_union_set_contains()

isl_bool isl_union_set_contains	(	__isl_keep isl_union_set *	uset,
		__isl_keep isl_space *	space
	)

Definition at line 824 of file isl_union_map.c.

References isl_union_map_contains().

Referenced by isl::union_set::contains(), and test_union_set_contains().

isl_union_set_copy()

__isl_give isl_union_set * isl_union_set_copy

(

__isl_keep isl_union_set *

uset

)

Definition at line 378 of file isl_union_map.c.

References isl_union_map_copy().

Referenced by polly::Dependences::addPrivatizationDependences(), after_in_filter(), polly::Dependences::calculateDependences(), collect_filter_prefix_update(), isl::union_set::copy(), count_sink_source(), domain_intersects(), expand(), exploit_inter_lineality(), exploit_intra_lineality(), gist_enter(), gist_enter_expansion(), group_ancestor(), group_band(), group_domain(), group_expansion(), intersect_explicit_domain(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_obj_union_set_copy(), isl_schedule_band_dup(), isl_schedule_band_get_ast_build_options(), isl_schedule_constraints_copy(), isl_schedule_constraints_get_domain(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_group(), isl_schedule_node_insert_children(), isl_schedule_node_order_before_or_after(), isl_schedule_node_sequence_splice_child(), isl_schedule_pair(), isl_schedule_tree_children_insert_filter(), isl_schedule_tree_domain_get_domain(), isl_schedule_tree_dup(), isl_schedule_tree_filter_get_filter(), isl_union_set_is_params(), isl_union_set_opt_multi_union_pw_aff(), locally_covered_by_domain(), range_intersects(), replace_by_universe_if_disjoint(), test_one_schedule(), test_product(), and test_union().

isl_union_set_detect_equalities()

__isl_give isl_union_set * isl_union_set_detect_equalities

(

__isl_take isl_union_set *

uset

)

Definition at line 2215 of file isl_union_map.c.

References isl_union_map_detect_equalities().

Referenced by isl::union_set::detect_equalities().

isl_union_set_dim()

isl_size isl_union_set_dim	(	__isl_keep isl_union_set *	uset,
		enum isl_dim_type	type
	)

Definition at line 61 of file isl_union_map.c.

References isl_union_map_dim(), and type.

Referenced by union_set_drop_extra_params().

isl_union_set_empty()

__isl_give isl_union_set * isl_union_set_empty

(

__isl_take isl_space *

space

)

Definition at line 165 of file isl_union_map.c.

References isl_union_set_empty_space().

Referenced by add_non_trivial_lineality(), polly::Dependences::addPrivatizationDependences(), collect_domain(), FN(), polly::Scop::getDomains(), gist_leave(), has_violated_conditional_constraint(), initial_domain_from_children(), isl_schedule_band_from_multi_union_pw_aff(), isl_schedule_empty(), isl_schedule_node_get_domain(), isl_schedule_node_get_universe_domain(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_zero_union_set(), isl_union_set_from_point(), isl_union_set_list_union(), isl_union_set_solutions(), loop_types(), obj_read_disjuncts(), union_drop_coalescing_constraints(), and update_edges().

isl_union_set_empty_ctx()

__isl_give isl_union_set * isl_union_set_empty_ctx

(

isl_ctx *

ctx

)

Definition at line 153 of file isl_union_map.c.

References isl_union_map_empty_ctx(), and uset_from_umap().

Referenced by add_scc_seq(), and isl::union_set::empty().

isl_union_set_empty_space()

__isl_give isl_union_set * isl_union_set_empty_space

(

__isl_take isl_space *

space

)

Definition at line 158 of file isl_union_map.c.

References isl_union_map_empty_space(), and uset_from_umap().

Referenced by isl_union_set_empty().

isl_union_set_every_set()

isl_bool isl_union_set_every_set	(	__isl_keep isl_union_set *	uset,
		isl_bool(*)(__isl_keep isl_set *set, void *user)	test,
		void *	user
	)

Definition at line 859 of file isl_union_map.c.

References isl_union_map_every_map(), test, test_set_from_map(), user, and uset_to_umap().

Referenced by isl::union_set::every_set(), and has_any().

isl_union_set_extract_set()

__isl_give isl_set * isl_union_set_extract_set	(	__isl_keep isl_union_set *	uset,
		__isl_take isl_space *	space
	)

Definition at line 802 of file isl_union_map.c.

References isl_union_map_extract_map(), and set_from_map().

Referenced by before_for(), extract_loop_type(), isl::union_set::extract_set(), FN(), and isl_schedule_band_get_ast_isolate_option().

isl_union_set_find_entry()

struct isl_hash_table_entry * isl_union_set_find_entry	(	__isl_keep isl_union_set *	uset,
		__isl_keep isl_space *	space,
		int	reserve
	)

Definition at line 462 of file isl_union_map.c.

References isl_union_map_find_entry(), and uset_to_umap().

Referenced by FN().

isl_union_set_foreach_point()

isl_stat isl_union_set_foreach_point	(	__isl_keep isl_union_set *	uset,
		isl_stat(*)(__isl_take isl_point *pnt, void *user)	fn,
		void *	user
	)

Definition at line 884 of file isl_union_map.c.

References fn, foreach_point(), isl_union_set_foreach_set(), and user.

Referenced by isl::union_set::foreach_point().

isl_union_set_foreach_set()

isl_stat isl_union_set_foreach_set	(	__isl_keep isl_union_set *	uset,
		isl_stat(*)(__isl_take isl_set *set, void *user)	fn,
		void *	user
	)

Definition at line 830 of file isl_union_map.c.

References __isl_take, fn, isl_union_map_foreach_map(), and user.

Referenced by compute_max_row(), exploit_intra_lineality(), isl::union_set::foreach_set(), generate_code(), isl_sched_graph_init(), isl_union_map_is_single_valued(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_val_on_domain(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set_foreach_point(), isl_union_set_get_basic_set_list(), isl_union_set_identity_union_pw_multi_aff(), isl_union_set_n_basic_set(), and union_drop_coalescing_constraints().

isl_union_set_free()

__isl_null isl_union_set * isl_union_set_free

(

__isl_take isl_union_set *

uset

)

Definition at line 399 of file isl_union_map.c.

References isl_union_map_free().

Referenced by polly::Dependences::addPrivatizationDependences(), before_for(), polly::Dependences::calculateDependences(), check_band_schedule_total_on_instances(), collect_filter_prefix_expansion(), collect_inter_validity(), collect_intra_validity(), collect_universe_domain_extension(), compute_max_row(), count_sink_source(), expand(), exploit_intra_lineality(), extract_space_from_filter_child(), FN(), generate_code(), gist_done(), gist_leave(), graft_extension(), group_ancestor(), group_band(), group_context(), group_domain(), group_expansion(), has_violated_conditional_constraint(), insert_extension(), intersect_explicit_domain(), isl_carry_clear(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_obj_union_set_free(), isl_sched_graph_init(), isl_schedule_band_free(), isl_schedule_band_gist(), isl_schedule_band_intersect_domain(), isl_schedule_band_set_ast_build_options(), isl_schedule_band_shift(), isl_schedule_constraints_compute_schedule(), isl_schedule_constraints_free(), isl_schedule_constraints_init(), isl_schedule_constraints_on_domain(), isl_schedule_constraints_set_domain(), isl_schedule_get_space(), isl_schedule_intersect_domain(), isl_schedule_node_band_set_ast_build_options(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_expand(), isl_schedule_node_filter_intersect_filter(), isl_schedule_node_filter_set_filter(), isl_schedule_node_get_domain(), isl_schedule_node_get_universe_domain(), isl_schedule_node_group(), isl_schedule_node_order_before_or_after(), isl_schedule_node_sequence_splice_child(), isl_schedule_pair(), isl_schedule_tree_band_gist(), isl_schedule_tree_band_intersect_domain(), isl_schedule_tree_band_set_ast_build_options(), isl_schedule_tree_children_insert_filter(), isl_schedule_tree_domain_set_domain(), isl_schedule_tree_filter_set_filter(), isl_schedule_tree_free(), isl_schedule_tree_from_domain(), isl_schedule_tree_from_filter(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_map_is_single_valued(), isl_union_map_plain_is_injective(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_val_on_domain(), isl_union_pw_aff_zero_union_set(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set_coefficients(), isl_union_set_identity_union_pw_multi_aff(), isl_union_set_intersect(), isl_union_set_solutions(), locally_covered_by_domain(), print_tree_band(), read_band(), read_domain(), read_filter(), replace_by_universe_if_disjoint(), test_bind_mupa(), test_bind_umap_range(), test_one_schedule(), test_product(), test_schedule_tree_group_1(), test_un_locus(), test_union(), test_union_set_contains(), unconditionalize_adjacent_validity(), union_drop_coalescing_constraints(), union_set_drop_extra_params(), update_edges(), uset_is_equal(), and isl::union_set::~union_set().

isl_union_set_from_basic_set()

__isl_give isl_union_set * isl_union_set_from_basic_set

(

__isl_take isl_basic_set *

bset

)

Definition at line 564 of file isl_union_map.c.

References isl_union_map_from_basic_map().

Referenced by add_node(), and isl::union_set::union_set().

isl_union_set_from_set()

__isl_give isl_union_set * isl_union_set_from_set

(

__isl_take isl_set *

set

)

Definition at line 545 of file isl_union_map.c.

References isl_union_map_from_map(), set, and set_to_map.

Referenced by after_in_context(), build_ast_from_context(), build_ast_from_domain(), build_ast_from_extension(), polly::Dependences::calculateDependences(), collect_edge_constraints(), compute_separate_domain(), extension_from_domain(), extract_union_set(), generate_code_in_space(), generate_shifted_component_tree_part(), intersect_domains(), ISL_ARG_BOOL(), isl_multi_union_pw_aff_from_multi_pw_aff(), isl_multi_union_pw_aff_init_explicit_domain(), isl_multi_union_pw_aff_intersect_range(), isl_sched_graph_domain(), isl_schedule_band_replace_ast_build_option(), isl_schedule_node_group(), isl_set_to_union_set(), isl_stream_read_union_map(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_set_from_point(), plain_injective_on_range_wrap(), single_valued_on_domain(), solutions_entry(), test_parse_mupa(), to_union(), and isl::union_set::union_set().

isl_union_set_get_basic_set_list()

__isl_give isl_basic_set_list * isl_union_set_get_basic_set_list

(

__isl_keep isl_union_set *

uset

)

Definition at line 4470 of file isl_union_map.c.

References add_list(), isl_basic_set_list, isl_union_set_foreach_set(), isl_union_set_get_ctx(), isl_union_set_n_basic_set(), and n.

Referenced by collect_inter_validity(), and collect_intra_validity().

isl_union_set_get_ctx()

isl_ctx * isl_union_set_get_ctx

(

__isl_keep isl_union_set *

uset

)

Definition at line 175 of file isl_union_map.c.

Referenced by isl::union_set::ctx(), extract_loop_type(), isl_schedule_constraints_copy(), isl_schedule_constraints_get_ctx(), isl_schedule_constraints_on_domain(), isl_schedule_from_domain(), isl_schedule_tree_from_domain(), isl_schedule_tree_from_filter(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_set_coefficients(), isl_union_set_get_basic_set_list(), replace_by_universe_if_disjoint(), uset_check_equal(), and uset_is_equal().

isl_union_set_get_hash()

uint32_t isl_union_set_get_hash

(

__isl_keep isl_union_set *

uset

)

Definition at line 4418 of file isl_union_map.c.

References isl_union_map_get_hash().

isl_union_set_get_set_list()

__isl_give isl_set_list * isl_union_set_get_set_list

(

__isl_keep isl_union_set *

uset

)

Definition at line 698 of file isl_union_map.c.

References isl_union_map_get_map_list(), set_list_from_map_list(), and uset_to_umap().

Referenced by isl::union_set::set_list().

isl_union_set_get_space()

__isl_give isl_space * isl_union_set_get_space

(

__isl_keep isl_union_set *

uset

)

Definition at line 223 of file isl_union_map.c.

References isl_union_map_get_space().

Referenced by add_loop_types(), polly::Dependences::addPrivatizationDependences(), append_range(), build_ast_from_domain(), polly::Dependences::calculateDependences(), clear_isolate_loop_types(), clear_loop_types(), collect_filter_prefix_expansion(), extension_from_domain(), extract_loop_type(), extract_space_from_filter_child(), gist_leave(), group_context(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_schedule_constraints_align_params(), isl_schedule_constraints_init(), isl_schedule_get_space(), isl_schedule_node_get_subtree_contraction(), isl_schedule_node_get_subtree_expansion(), isl_union_pw_aff_param_on_domain_id(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_val_on_domain(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set_identity_union_pw_multi_aff(), isl_union_set_solutions(), loop_types(), isl::union_set::space(), subtree_schedule_extend_from_children(), test_multi_pw_aff_3(), and test_padded_schedule().

isl_union_set_gist()

__isl_give isl_union_set * isl_union_set_gist	(	__isl_take isl_union_set *	uset,
		__isl_take isl_union_set *	context
	)

Definition at line 1314 of file isl_union_map.c.

References context, isl_union_map_gist(), isl_union_set_is_params(), and union_map_gist_params().

Referenced by isl::union_set::gist(), gist_enter(), isl_schedule_node_order_before_or_after(), and isl_schedule_pair().

isl_union_set_gist_params()

__isl_give isl_union_set * isl_union_set_gist_params	(	__isl_take isl_union_set *	uset,
		__isl_take isl_set *	set
	)

Definition at line 1302 of file isl_union_map.c.

References isl_union_map_gist_params(), and set.

Referenced by isl::union_set::gist_params(), and isl_schedule_node_domain_gist_params().

isl_union_set_identity()

__isl_give isl_union_map * isl_union_set_identity

(

__isl_take isl_union_set *

uset

)

Definition at line 2443 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_set_identity(), and un_op.

Referenced by polly::Dependences::calculateDependences(), isl::union_set::identity(), and isl_schedule_node_get_subtree_expansion().

isl_union_set_identity_union_pw_multi_aff()

__isl_give isl_union_pw_multi_aff * isl_union_set_identity_union_pw_multi_aff

(

__isl_take isl_union_set *

uset

)

Definition at line 2470 of file isl_union_map.c.

References identity_upma(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), and res.

Referenced by isl::union_set::identity_union_pw_multi_aff(), and isl_schedule_node_get_subtree_contraction().

isl_union_set_intersect()

__isl_give isl_union_set * isl_union_set_intersect	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1256 of file isl_union_map.c.

References isl_union_map_intersect(), isl_union_set_free(), isl_union_set_is_params(), and union_map_intersect_params().

Referenced by collect_filter_prefix_expansion(), collect_filter_prefix_update(), collect_universe_domain_extension(), gist_enter(), isl::union_set::intersect(), isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_zero_union_set(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_filter_intersect_filter(), isl_schedule_node_order_before_or_after(), isl_schedule_tree_insert_filter(), and locally_covered_by_domain().

isl_union_set_intersect_params()

__isl_give isl_union_set * isl_union_set_intersect_params	(	__isl_take isl_union_set *	uset,
		__isl_take isl_set *	set
	)

Definition at line 1158 of file isl_union_map.c.

References isl_union_map_intersect_params(), and set.

Referenced by isl::union_set::intersect_params(), isl_sched_graph_init(), and preimage_explicit_domain().

isl_union_set_is_disjoint()

isl_bool isl_union_set_is_disjoint	(	__isl_keep isl_union_set *	uset1,
		__isl_keep isl_union_set *	uset2
	)

Definition at line 2757 of file isl_union_map.c.

References isl_union_map_is_disjoint().

Referenced by isl::union_set::is_disjoint(), isl_schedule_node_group(), isl_schedule_pair(), and replace_by_universe_if_disjoint().

isl_union_set_is_empty()

isl_bool isl_union_set_is_empty

(

__isl_keep isl_union_set *

uset

)

Definition at line 2902 of file isl_union_map.c.

References isl_union_map_is_empty().

Referenced by expand(), gist_enter(), gist_leave(), isl::union_set::is_empty(), isl_schedule_node_order_before_or_after(), isl_stream_read_union_map(), and print_tree_band().

isl_union_set_is_equal()

isl_bool isl_union_set_is_equal	(	__isl_keep isl_union_set *	uset1,
		__isl_keep isl_union_set *	uset2
	)

Definition at line 2662 of file isl_union_map.c.

References isl_union_map_is_equal().

Referenced by isl::union_set::is_equal(), isl_schedule_band_plain_is_equal(), isl_schedule_tree_plain_is_equal(), test_product(), test_schedule_tree_group_1(), test_un_locus(), test_union(), and uset_is_equal().

isl_union_set_is_params()

isl_bool isl_union_set_is_params

(

__isl_keep isl_union_set *

uset

)

Definition at line 84 of file isl_union_map.c.

References isl_bool_error, isl_bool_false, isl_set_free(), isl_set_from_union_set(), isl_set_is_params(), isl_union_set_copy(), params, and set.

Referenced by FN(), intersect_explicit_domain(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_map_gist_domain(), isl_union_map_intersect_domain_union_set(), isl_union_map_is_params(), isl_union_set_gist(), isl_union_set_intersect(), and preimage_explicit_domain().

isl_union_set_is_strict_subset()

isl_bool isl_union_set_is_strict_subset	(	__isl_keep isl_union_set *	uset1,
		__isl_keep isl_union_set *	uset2
	)

Definition at line 2682 of file isl_union_map.c.

References isl_union_map_is_strict_subset().

Referenced by isl::union_set::is_strict_subset().

isl_union_set_is_subset()

isl_bool isl_union_set_is_subset	(	__isl_keep isl_union_set *	uset1,
		__isl_keep isl_union_set *	uset2
	)

Definition at line 2642 of file isl_union_map.c.

References isl_union_map_is_subset().

Referenced by check_band_schedule_total_on_instances(), gist_done(), group_domain(), group_expansion(), isl::union_set::is_subset(), isl_schedule_band_shift(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_filter_intersect_filter(), locally_covered_by_domain(), and test_one_schedule().

isl_union_set_isa_set()

isl_bool isl_union_set_isa_set

(

__isl_keep isl_union_set *

uset

)

Definition at line 721 of file isl_union_map.c.

References isl_union_map_isa_map(), and uset_to_umap().

Referenced by isl::union_set::isa_set().

isl_union_set_lex_ge_union_set()

__isl_give isl_union_map * isl_union_set_lex_ge_union_set	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1374 of file isl_union_map.c.

References isl_union_map_reverse(), and isl_union_set_lex_le_union_set().

isl_union_set_lex_gt_union_set()

__isl_give isl_union_map * isl_union_set_lex_gt_union_set	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1368 of file isl_union_map.c.

References isl_union_map_reverse(), and isl_union_set_lex_lt_union_set().

Referenced by test_union().

isl_union_set_lex_le_union_set()

__isl_give isl_union_map * isl_union_set_lex_le_union_set	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1362 of file isl_union_map.c.

References lex_le_set(), and match_bin_op().

Referenced by polly::Dependences::addPrivatizationDependences(), and isl_union_set_lex_ge_union_set().

isl_union_set_lex_lt_union_set()

__isl_give isl_union_map * isl_union_set_lex_lt_union_set	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1356 of file isl_union_map.c.

References lex_lt_set(), and match_bin_op().

Referenced by isl_union_set_lex_gt_union_set().

isl_union_set_lexmax()

__isl_give isl_union_set * isl_union_set_lexmax

(

__isl_take isl_union_set *

uset

)

Definition at line 2251 of file isl_union_map.c.

References isl_union_map_lexmax().

Referenced by isl::union_set::lexmax().

isl_union_set_lexmin()

__isl_give isl_union_set * isl_union_set_lexmin

(

__isl_take isl_union_set *

uset

)

Definition at line 2239 of file isl_union_map.c.

References isl_union_map_lexmin().

Referenced by isl::union_set::lexmin().

isl_union_set_lift()

__isl_give isl_union_set * isl_union_set_lift

(

__isl_take isl_union_set *

uset

)

Definition at line 3434 of file isl_union_map.c.

References isl_un_op_control::fn_map, isl_set_lift(), and un_op.

isl_union_set_list_union()

__isl_give isl_union_set * isl_union_set_list_union

(

__isl_take isl_union_set_list *

list

)

Definition at line 4355 of file isl_union_map.c.

References isl_space_params_alloc(), isl_union_set_empty(), isl_union_set_union(), n, and res.

isl_union_set_n_basic_set()

int isl_union_set_n_basic_set

(

__isl_keep isl_union_set *

uset

)

Definition at line 4439 of file isl_union_map.c.

References add_n(), isl_union_set_foreach_set(), and n.

Referenced by isl_union_set_get_basic_set_list().

isl_union_set_n_set()

isl_size isl_union_set_n_set

(

__isl_keep isl_union_set *

uset

)

Definition at line 590 of file isl_union_map.c.

References isl_size_error.

Referenced by before_for(), polly::ZoneAlgorithm::collectCompatibleElts(), isl_sched_graph_init(), isl_schedule_constraints_compute_schedule(), polly::singleton(), and test_one_schedule().

isl_union_set_params()

__isl_give isl_set * isl_union_set_params

(

__isl_take isl_union_set *

uset

)

Definition at line 2330 of file isl_union_map.c.

References isl_union_map_params().

Referenced by intersect_explicit_domain(), isl::union_set::params(), and preimage_explicit_domain().

isl_union_set_peek_space()

__isl_keep isl_space * isl_union_set_peek_space

(

__isl_keep isl_union_set *

uset

)

Definition at line 189 of file isl_union_map.c.

References isl_union_map_peek_space(), and uset_to_umap().

isl_union_set_plain_gist()

__isl_give isl_union_set * isl_union_set_plain_gist	(	__isl_take isl_union_set *	uset,
		__isl_take isl_union_set *	context
	)

Definition at line 1338 of file isl_union_map.c.

References context, and isl_union_map_plain_gist().

Referenced by union_drop_coalescing_constraints().

isl_union_set_polyhedral_hull()

__isl_give isl_union_set * isl_union_set_polyhedral_hull

(

__isl_take isl_union_set *

uset

)

Definition at line 2141 of file isl_union_map.c.

References isl_union_map_polyhedral_hull().

Referenced by isl::union_set::polyhedral_hull().

isl_union_set_preimage_multi_aff()

__isl_give isl_union_map * isl_union_set_preimage_multi_aff	(	__isl_take isl_union_set *	uset,
		__isl_take isl_multi_aff *	ma
	)

Definition at line 3715 of file isl_union_map.c.

References isl_pw_multi_aff_from_multi_aff(), isl_union_set_preimage_pw_multi_aff(), and ma.

Referenced by isl::union_set::preimage().

isl_union_set_preimage_pw_multi_aff()

__isl_give isl_union_set * isl_union_set_preimage_pw_multi_aff	(	__isl_take isl_union_set *	uset,
		__isl_take isl_pw_multi_aff *	pma
	)

Definition at line 3674 of file isl_union_map.c.

References isl_set_preimage_pw_multi_aff(), pma, preimage_pw_multi_aff(), and set_match().

Referenced by isl_union_set_preimage_multi_aff(), isl_union_set_preimage_union_pw_multi_aff(), and isl::union_set::preimage().

isl_union_set_preimage_union_pw_multi_aff()

__isl_give isl_union_set * isl_union_set_preimage_union_pw_multi_aff	(	__isl_take isl_union_set *	uset,
		__isl_take isl_union_pw_multi_aff *	upma
	)

Definition at line 3923 of file isl_union_map.c.

References isl_union_set_preimage_pw_multi_aff(), and preimage_union_pw_multi_aff().

Referenced by collect_filter_prefix_expansion(), isl_multi_union_pw_aff_intersect_range(), isl_schedule_tree_pullback_union_pw_multi_aff(), isl::union_set::preimage(), and preimage_explicit_domain().

isl_union_set_product()

__isl_give isl_union_set * isl_union_set_product	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1791 of file isl_union_map.c.

References bin_op, and set_product_entry().

Referenced by test_product().

isl_union_set_project_out()

__isl_give isl_union_set * isl_union_set_project_out	(	__isl_take isl_union_set *	uset,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 4040 of file isl_union_map.c.

References isl_union_map_project_out_data::first, isl_union_map_project_out(), n, and type.

Referenced by isl_multi_union_pw_aff_drop_explicit_domain_dims(), and union_set_drop_extra_params().

isl_union_set_project_out_all_params()

__isl_give isl_union_set * isl_union_set_project_out_all_params

(

__isl_take isl_union_set *

uset

)

Definition at line 4050 of file isl_union_map.c.

References isl_union_map_project_out_all_params(), uset_from_umap(), and uset_to_umap().

Referenced by collect_intra_validity().

isl_union_set_remove_divs()

__isl_give isl_union_set * isl_union_set_remove_divs

(

__isl_take isl_union_set *

uset

)

Definition at line 3967 of file isl_union_map.c.

References isl_union_map_remove_divs().

Referenced by collect_intra_validity(), and exploit_intra_lineality().

isl_union_set_remove_redundancies()

__isl_give isl_union_set * isl_union_set_remove_redundancies

(

__isl_take isl_union_set *

uset

)

Definition at line 2191 of file isl_union_map.c.

References isl_union_map_remove_redundancies().

isl_union_set_reset_user()

__isl_give isl_union_set * isl_union_set_reset_user

(

__isl_take isl_union_set *

uset

)

Definition at line 3949 of file isl_union_map.c.

References isl_union_map_reset_user().

Referenced by isl_schedule_band_reset_user(), and isl_schedule_tree_reset_user().

isl_union_set_sample()

__isl_give isl_basic_set * isl_union_set_sample

(

__isl_take isl_union_set *

uset

)

Definition at line 2799 of file isl_union_map.c.

References bset_from_bmap(), and isl_union_map_sample().

Referenced by isl_union_set_sample_point().

isl_union_set_sample_point()

__isl_give isl_point * isl_union_set_sample_point

(

__isl_take isl_union_set *

uset

)

Definition at line 2807 of file isl_union_map.c.

References isl_basic_set_sample_point(), and isl_union_set_sample().

Referenced by isl::union_set::sample_point().

isl_union_set_simple_hull()

__isl_give isl_union_set * isl_union_set_simple_hull

(

__isl_take isl_union_set *

uset

)

Definition at line 2162 of file isl_union_map.c.

References isl_union_map_simple_hull().

isl_union_set_solutions()

__isl_give isl_union_set * isl_union_set_solutions

(

__isl_take isl_union_set *

uset

)

Definition at line 3497 of file isl_union_map.c.

References isl_hash_table_foreach(), isl_union_set_empty(), isl_union_set_free(), isl_union_set_get_space(), res, and solutions_entry().

isl_union_set_space_has_equal_params()

isl_bool isl_union_set_space_has_equal_params	(	__isl_keep isl_union_set *	uset,
		__isl_keep isl_space *	space
	)

Definition at line 417 of file isl_union_map.c.

References isl_union_map_space_has_equal_params(), and uset_to_umap().

Referenced by isl_multi_union_pw_aff_pw_multi_aff_on_domain().

isl_union_set_subtract()

__isl_give isl_union_set * isl_union_set_subtract	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 1075 of file isl_union_map.c.

References isl_union_map_subtract().

Referenced by clear_isolate_loop_types(), clear_loop_types(), expand(), exploit_intra_lineality(), group_ancestor(), group_band(), group_domain(), isl_schedule_band_replace_ast_build_option(), isl_schedule_node_order_before_or_after(), and isl::union_set::subtract().

isl_union_set_union()

__isl_give isl_union_set * isl_union_set_union	(	__isl_take isl_union_set *	uset1,
		__isl_take isl_union_set *	uset2
	)

Definition at line 363 of file isl_union_map.c.

References isl_union_map_union().

Referenced by add_scc_seq(), collect_universe_domain_extension(), exploit_intra_lineality(), gist_enter_extension(), group_ancestor(), group_domain(), has_violated_conditional_constraint(), initial_domain_from_children(), is_disjoint_extension(), isl_obj_union_set_add(), isl_sched_graph_domain(), isl_schedule_band_replace_ast_build_option(), isl_schedule_pair(), isl_union_set_list_union(), isl::union_set::unite(), and update_edges().

isl_union_set_universe()

__isl_give isl_union_set * isl_union_set_universe

(

__isl_take isl_union_set *

uset

)

Definition at line 2276 of file isl_union_map.c.

References isl_union_map_universe().

Referenced by polly::Dependences::addPrivatizationDependences(), collect_filter_prefix_init(), collect_filter_prefix_update(), group_band(), initial_domain(), isl_schedule_node_group(), replace_by_universe_if_disjoint(), set_universe(), and isl::union_set::universe().

isl_union_set_unwrap()

__isl_give isl_union_map * isl_union_set_unwrap

(

__isl_take isl_union_set *

uset

)

Definition at line 2573 of file isl_union_map.c.

References isl_un_op_control::filter, isl_set_is_wrapping(), isl_set_unwrap(), un_op, and un_op_filter_drop_user().

Referenced by polly::Dependences::calculateDependences(), is_condition_false(), and isl::union_set::unwrap().

isl_union_set_wrapped_domain_map()

__isl_give isl_union_map * isl_union_set_wrapped_domain_map

(

__isl_take isl_union_set *

uset

)

Definition at line 2405 of file isl_union_map.c.

References isl_un_op_control::filter, isl_set_is_wrapping(), isl_set_wrapped_domain_map(), un_op, and un_op_filter_drop_user().

lex_le_set()

static __isl_give isl_map * lex_le_set ( __isl_take isl_map *  set1, __isl_take isl_map *  set2  )

static

Definition at line 1344 of file isl_union_map.c.

References isl_set_lex_le_set(), set1, set2, and set_from_map().

Referenced by isl_union_set_lex_le_union_set().

lex_lt_set()

static __isl_give isl_map * lex_lt_set ( __isl_take isl_map *  set1, __isl_take isl_map *  set2  )

static

Definition at line 1350 of file isl_union_map.c.

References isl_set_lex_lt_set(), set1, set2, and set_from_map().

Referenced by isl_union_set_lex_lt_union_set().

map_excludes()

static isl_bool map_excludes ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 4067 of file isl_union_map.c.

References isl_union_map_involves_dims_data::first, isl_bool_not(), isl_dim_param, isl_map_involves_dims(), map, isl_union_map_involves_dims_data::n, and user.

Referenced by isl_union_map_involves_dims().

map_id()

static __isl_give isl_map * map_id ( __isl_take isl_map *  map )

static

Definition at line 4511 of file isl_union_map.c.

References map.

Referenced by isl_union_map_remove_map_if().

map_is_identity()

static isl_stat map_is_identity ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 3101 of file isl_union_map.c.

References identity(), isl_map_free(), isl_map_is_identity(), isl_stat_error, isl_stat_ok, map, and user.

Referenced by isl_union_map_is_identity().

map_lex_le_entry()

static isl_stat map_lex_le_entry ( void **  entry, void *  user  )

static

Definition at line 1735 of file isl_union_map.c.

References isl_dim_out, isl_map_copy(), isl_map_lex_le_map(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_lex_le_union_map().

map_lex_lt_entry()

static isl_stat map_lex_lt_entry ( void **  entry, void *  user  )

static

Definition at line 1709 of file isl_union_map.c.

References isl_dim_out, isl_map_copy(), isl_map_lex_lt_map(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_lex_lt_union_map().

map_plain_is_not_identity()

static isl_stat map_plain_is_not_identity ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 3057 of file isl_union_map.c.

References equal, isl_bool_not(), isl_dim_in, isl_dim_out, isl_map_free(), isl_map_is_empty(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, map, and user.

Referenced by isl_union_map_plain_is_not_identity().

match_bin_entry()

static isl_stat match_bin_entry ( void **  entry, void *  user  )

static

Definition at line 1183 of file isl_union_map.c.

References isl_hash_table_entry::data, isl_hash_table_entry_none, isl_map_copy(), isl_map_free(), isl_map_is_empty(), isl_map_peek_space(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_find_entry(), map, and user.

Referenced by match_bin_op().

match_bin_op()

static __isl_give isl_union_map * match_bin_op ( __isl_take isl_union_map *  umap1, __isl_take isl_union_map *  umap2, __isl_give isl_map *(*)(__isl_take isl_map *, __isl_take isl_map *)  fn  )

static

Definition at line 1216 of file isl_union_map.c.

References fn, isl_hash_table_foreach(), isl_space_copy(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_space(), match_bin_entry(), isl_union_map_match_bin_data::res, and isl_union_map_match_bin_data::umap2.

Referenced by FN(), isl_union_map_gist(), isl_union_map_intersect(), isl_union_map_plain_gist(), isl_union_set_lex_le_union_set(), and isl_union_set_lex_lt_union_set().

not()

static isl_bool not ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 4501 of file isl_union_map.c.

References isl_union_map_remove_map_if_data::fn, isl_bool_not(), map, user, and isl_union_map_remove_map_if_data::user.

Referenced by isl_union_map_remove_map_if().

order_at()

static isl_stat order_at ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 4246 of file isl_union_map.c.

References isl_map_get_space(), isl_map_intersect(), isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_space_domain(), isl_space_range(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, isl_union_order_at_data::mupa, isl_union_order_at_data::order, isl_union_order_at_data::res, and user.

Referenced by isl_union_map_order_at_multi_union_pw_aff().

plain_injective_on_range()

static isl_bool plain_injective_on_range ( __isl_take isl_union_map *  umap, int  first, int  n_range  )

static

Definition at line 3268 of file isl_union_map.c.

References alloc_isl_fixed_map_array(), fixed_at_pos(), free_isl_fixed_map_array(), isl_bool_error, isl_bool_false, isl_bool_true, isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_get_space(), isl_union_map_n_map(), isl_fixed_dim_data::n, n, isl_fixed_dim_data::pos, separates(), union_map_forall_user(), and isl_fixed_dim_data::v.

Referenced by plain_injective_on_range_wrap(), and separates().

plain_injective_on_range_wrap()

static isl_bool plain_injective_on_range_wrap ( __isl_keep isl_set *  ran, void *  user  )

static

Definition at line 3325 of file isl_union_map.c.

References isl_bool_error, isl_dim_set, isl_set_copy(), isl_set_dim(), isl_union_map_copy(), isl_union_map_intersect_range(), isl_union_set_from_set(), plain_injective_on_range(), and user.

Referenced by isl_union_map_plain_is_injective().

preimage_entry()

static isl_stat preimage_entry ( void **  entry, void *  user  )

static

Definition at line 3569 of file isl_union_map.c.

References isl_union_map_preimage_data::fn, isl_map_copy(), isl_map_free(), isl_map_is_empty(), isl_pw_multi_aff_copy(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), m, map, isl_union_map_preimage_data::match, isl_union_map_preimage_data::pma, isl_union_map_preimage_data::res, isl_union_map_preimage_data::space, and user.

Referenced by preimage_pw_multi_aff().

preimage_mpa_entry()

static isl_stat preimage_mpa_entry ( void **  entry, void *  user  )

static

Definition at line 3744 of file isl_union_map.c.

References isl_union_map_preimage_mpa_data::fn, isl_map_copy(), isl_map_free(), isl_map_is_empty(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), m, map, isl_union_map_preimage_mpa_data::match, isl_union_map_preimage_mpa_data::mpa, isl_union_map_preimage_mpa_data::res, isl_union_map_preimage_mpa_data::space, and user.

Referenced by preimage_multi_pw_aff().

preimage_multi_pw_aff()

static __isl_give isl_union_map * preimage_multi_pw_aff ( __isl_take isl_union_map *  umap, __isl_take isl_multi_pw_aff *  mpa, int(*)(__isl_keep isl_map *map, __isl_keep isl_space *space)  match, __isl_give isl_map *(*)(__isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)  fn  )

static

Definition at line 3777 of file isl_union_map.c.

References fn, isl_union_map_preimage_mpa_data::fn, isl_hash_table_foreach(), isl_space_free(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_get_space(), match(), isl_union_map_preimage_mpa_data::match, isl_union_map_preimage_mpa_data::mpa, preimage_mpa_entry(), isl_union_map_preimage_mpa_data::res, and isl_union_map_preimage_mpa_data::space.

Referenced by isl_union_map_preimage_domain_multi_pw_aff().

preimage_pw_multi_aff()

static __isl_give isl_union_map * preimage_pw_multi_aff ( __isl_take isl_union_map *  umap, __isl_take isl_pw_multi_aff *  pma, int(*)(__isl_keep isl_map *map, __isl_keep isl_space *space)  match, __isl_give isl_map *(*)(__isl_take isl_map *map, __isl_take isl_pw_multi_aff *pma)  fn  )

static

Definition at line 3602 of file isl_union_map.c.

References fn, isl_union_map_preimage_data::fn, isl_hash_table_foreach(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_space_free(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_get_space(), match(), isl_union_map_preimage_data::match, pma, isl_union_map_preimage_data::pma, preimage_entry(), isl_union_map_preimage_data::res, and isl_union_map_preimage_data::space.

Referenced by isl_union_map_preimage_domain_pw_multi_aff(), isl_union_map_preimage_range_pw_multi_aff(), and isl_union_set_preimage_pw_multi_aff().

preimage_union_pw_multi_aff()

static __isl_give isl_union_map * preimage_union_pw_multi_aff ( __isl_take isl_union_map *  umap, __isl_take isl_union_pw_multi_aff *  upma, __isl_give isl_union_map *(*)(__isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma)  fn  )

static

Definition at line 3863 of file isl_union_map.c.

References fn, isl_union_map_preimage_upma_data::fn, isl_union_map_empty(), isl_union_map_free(), isl_union_map_get_space(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), preimage_upma(), isl_union_map_preimage_upma_data::res, and isl_union_map_preimage_upma_data::umap.

Referenced by isl_union_map_preimage_domain_union_pw_multi_aff(), isl_union_map_preimage_range_union_pw_multi_aff(), and isl_union_set_preimage_union_pw_multi_aff().

preimage_upma()

static isl_stat preimage_upma ( __isl_take isl_pw_multi_aff *  pma, void *  user  )

static

Definition at line 3845 of file isl_union_map.c.

References isl_union_map_preimage_upma_data::fn, isl_stat_error, isl_stat_ok, isl_union_map_copy(), isl_union_map_union(), pma, isl_union_map_preimage_upma_data::res, isl_union_map_preimage_upma_data::umap, and user.

Referenced by preimage_union_pw_multi_aff().

product_entry()

static isl_stat product_entry ( void **  entry, void *  user  )

static

Definition at line 1761 of file isl_union_map.c.

References isl_map_copy(), isl_map_product(), isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_product().

project_out()

static isl_stat project_out ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 3989 of file isl_union_map.c.

References isl_union_map_project_out_data::first, isl_map_project_out(), isl_stat_ok, isl_union_map_add_map(), map, isl_union_map_project_out_data::n, isl_union_map_project_out_data::res, isl_union_map_project_out_data::type, and user.

Referenced by FN(), and isl_union_map_project_out().

qsort_fixed_map_cmp()

static int qsort_fixed_map_cmp ( const void *  p1, const void *  p2  )

static

Definition at line 3175 of file isl_union_map.c.

References isl_int_cmp, and isl_fixed_map::v.

Referenced by separates().

range_match()

static int range_match ( __isl_keep isl_map *  map, __isl_keep isl_space *  space  )

static

Definition at line 3533 of file isl_union_map.c.

References isl_dim_out, isl_map_space_tuple_is_equal(), and map.

Referenced by isl_union_map_preimage_range_pw_multi_aff().

range_product_entry()

static isl_stat range_product_entry ( void **  entry, void *  user  )

static

Definition at line 1826 of file isl_union_map.c.

References isl_dim_in, isl_map_copy(), isl_map_range_product(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), isl_union_map_bin_data::map, map2, match(), isl_union_map_bin_data::res, and user.

Referenced by isl_union_map_range_product().

reset_params()

static isl_stat reset_params ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 4179 of file isl_union_map.c.

References isl_map_get_space(), isl_map_reset_equal_dim_space(), isl_space_replace_params(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, isl_union_map_reset_params_data::res, isl_union_map_reset_params_data::space, and user.

Referenced by isl_union_map_reset_equal_dim_space().

reset_range_space()

static isl_stat reset_range_space ( __isl_take isl_map *  map, void *  user  )

static

Definition at line 4112 of file isl_union_map.c.

References isl_map_get_space(), isl_map_reset_space(), isl_space_copy(), isl_space_domain(), isl_space_extend_domain_with_range(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, isl_union_map_reset_range_space_data::range, isl_union_map_reset_range_space_data::res, and user.

Referenced by isl_union_map_reset_range_space().

sample_entry()

static isl_stat sample_entry ( void **  entry, void *  user  )

static

Definition at line 2763 of file isl_union_map.c.

References isl_basic_map_plain_is_empty(), isl_map_copy(), isl_map_sample(), isl_stat_error, isl_stat_ok, map, and user.

Referenced by isl_union_map_sample().

separates()

static int separates ( struct isl_fixed_map *  v, int  n, __isl_take isl_space *  space, int  pos, int  n_range  )

static

Definition at line 3217 of file isl_union_map.c.

References free_isl_fixed_map_array(), isl_int_ne, isl_map_copy(), isl_space_copy(), isl_space_free(), isl_union_map_add_map(), isl_union_map_alloc(), map, n, plain_injective_on_range(), pos(), qsort_fixed_map_cmp(), and isl_fixed_dim_data::v.

Referenced by plain_injective_on_range().

set_match()

static int set_match ( __isl_keep isl_map *  map, __isl_keep isl_space *  space  )

static

Definition at line 3541 of file isl_union_map.c.

References isl_dim_out, isl_dim_set, isl_map_space_tuple_is_equal(), and map.

Referenced by isl_union_set_preimage_pw_multi_aff().

set_product_entry()

static isl_stat set_product_entry ( void **  entry, void *  user  )

static

Definition at line 1779 of file isl_union_map.c.

References isl_set_copy(), isl_set_product(), isl_stat_ok, isl_union_set_add_set(), isl_union_map_bin_data::map, isl_union_map_bin_data::res, set2, and user.

Referenced by isl_union_set_product().

single_map_is_single_valued()

static isl_bool single_map_is_single_valued ( __isl_keep isl_union_map *  umap )

static

Definition at line 2933 of file isl_union_map.c.

References isl_map_free(), isl_map_from_union_map(), isl_map_is_single_valued(), isl_union_map_copy(), map, and sv.

Referenced by isl_union_map_is_single_valued(), and single_valued_on_domain().

single_valued_on_domain()

static isl_stat single_valued_on_domain ( __isl_take isl_set *  set, void *  user  )

static

Definition at line 2971 of file isl_union_map.c.

References is_subset_of_identity(), isl_bool_error, isl_stat_error, isl_stat_ok, isl_union_map_apply_range(), isl_union_map_copy(), isl_union_map_free(), isl_union_map_intersect_domain(), isl_union_map_n_map(), isl_union_map_reverse(), isl_union_set_from_set(), n, set, single_map_is_single_valued(), isl_union_map_is_sv_data::sv, test, isl_union_map_is_sv_data::umap, union_map_forall(), and user.

Referenced by isl_union_map_is_single_valued().

solutions_entry()

static isl_stat solutions_entry ( void **  entry, void *  user  )

static

Definition at line 3479 of file isl_union_map.c.

References isl_set_copy(), isl_set_from_basic_set(), isl_set_solutions(), isl_stat_error, isl_stat_ok, isl_union_set_add_set(), isl_union_set_from_set(), res, set, and user.

Referenced by isl_union_set_solutions().

test_set_from_map()

static isl_bool test_set_from_map ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 850 of file isl_union_map.c.

References map, set_from_map(), isl_test_set_from_map_data::test, user, and isl_test_set_from_map_data::user.

Referenced by isl_union_set_every_set().

total()

static __isl_give isl_union_map * total ( __isl_take isl_union_map *  umap, __isl_give isl_map *(*)(__isl_take isl_map *)  fn  )

static

Definition at line 2076 of file isl_union_map.c.

References fn, isl_un_op_control::total, and un_op.

Referenced by add_bound(), add_bound_constant_constraints(), add_bound_from_constraint(), add_bounds(), add_constraints(), add_delta_constraints(), add_div_constraints(), add_divs(), add_larger_bound_constraint(), add_lines(), add_ma_strides(), add_param_sum_constraint(), add_rays(), add_selected_wraps(), add_selected_wraps_around_facet(), add_sum_constraint(), add_var_sum_constraint(), affine_hull(), affine_hull_with_cone(), basic_guarded_poly_bound(), basic_map_bound(), basic_map_bound_si(), basic_map_from_equalities(), basic_map_read_polylib_constraint(), basic_set_maximal_difference_at(), better_div_constraint(), bmap_cmp_row(), box_closure_on_domain(), can_wrap_in_facet(), can_wrap_in_set(), check_eq_adj_eq(), check_for_div_constraints(), clear_entry(), coalesce_divs(), combined_variable_compression(), common_constraints(), construct_column(), construct_product(), convex_hull_pair(), copy_equalities(), defining_equality(), drop_equalities(), drop_inequalities(), dup_constraints(), eliminate_var_using_equality(), equate_parameter_to_length(), equator(), expand_tab(), extend(), extract_compressed_stride_constraints(), extract_ineq(), factored_sample(), farkas(), find_div(), find_modulo_constraint_pair(), fuse(), get_aff(), greator(), harmonize_divs_with_hulls(), has_multiple_var_equality(), has_nested_div(), homogeneous_map(), increment(), ineq_for_div(), insert_bounds_on_div_from_ineq(), inter_dim_map(), intra_dim_map(), invert_div(), is_adj_ineq_extension(), is_adj_ineq_extension_with_wraps(), is_affected(), is_internal(), is_opposite(), is_opposite_except(), is_parallel_except(), is_potential_div_constraint(), isl_aff_alloc(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_apply_range(), isl_basic_map_constraint_cmp(), isl_basic_map_contains(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_detect_equalities(), isl_basic_map_domain_product(), isl_basic_map_drop_core(), isl_basic_map_eliminate_vars(), isl_basic_map_equal_div_expr_except_constant(), isl_basic_map_equalities_matrix(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_floordiv(), isl_basic_map_from_constraint(), isl_basic_map_from_constraint_matrices(), isl_basic_map_gauss5(), isl_basic_map_get_hash(), isl_basic_map_gist(), isl_basic_map_has_defining_equality(), isl_basic_map_has_rational(), isl_basic_map_inequalities_matrix(), isl_basic_map_insert_dims(), isl_basic_map_insert_div(), isl_basic_map_move_dims(), isl_basic_map_nat_universe(), isl_basic_map_normalize_constraints(), isl_basic_map_overlying_set(), isl_basic_map_plain_cmp(), isl_basic_map_plain_has_fixed_var(), isl_basic_map_plain_is_disjoint(), isl_basic_map_plain_is_non_empty(), isl_basic_map_plain_is_singleton(), isl_basic_map_print_polylib(), isl_basic_map_product(), isl_basic_map_range_product(), isl_basic_map_reduce_coefficients(), isl_basic_map_remove_duplicate_constraints(), isl_basic_map_set_to_empty(), isl_basic_map_shift_div(), isl_basic_map_sort_constraints(), isl_basic_map_sort_divs(), isl_basic_map_sum(), isl_basic_set_box_from_points(), isl_basic_set_dim_residue_class(), isl_basic_set_extract_equalities(), isl_basic_set_has_defining_inequalities(), isl_basic_set_positive_orthant(), isl_basic_set_sample_with_cone(), isl_basic_set_variable_compression(), isl_basic_set_vars_get_sign(), isl_cell_foreach_simplex(), isl_inequality_negate(), isl_local_dim(), isl_local_space_alloc(), isl_local_space_get_active(), isl_local_space_substitute_equalities(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_oppose(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_solve_lp(), isl_morph_empty(), isl_morph_identity(), isl_multi_aff_from_aff_mat(), isl_qpolynomial_alloc(), isl_qpolynomial_insert_dims(), isl_qpolynomial_lift(), isl_qpolynomial_substitute_equalities_lifted(), isl_set_bounded_simple_hull(), isl_tab_from_basic_map(), isl_tab_from_recession_cone(), isl_term_dup(), isl_union_map_affine_hull(), isl_union_map_lexmax(), isl_union_map_lexmin(), isl_union_map_polyhedral_hull(), isl_union_map_remove_divs(), isl_union_map_reset_user(), isl_union_map_simple_hull(), mark_shifted_constraints(), modulo_lineality(), move_last(), n_div_eq(), need_split_basic_map(), neg_halfspace(), next_is_opposite(), node_add_coefficient_constraints(), nonneg_halfspace(), normalize_div(), normalize_div_expression(), ok_to_set_div_from_bound(), parametric_constant_never_positive(), path_along_delta(), path_along_steps(), plug_in(), print_aff_c(), print_aff_num_base(), print_affine(), print_base(), print_basic_set_c(), print_constraints(), print_ls_affine_c(), pw_multi_aff_from_map_check_div(), reduce_div(), reduce_div_coefficients_of_div(), reduce_divs(), reduce_stride_constraints(), reduced_using_equalities(), remove_duplicate_divs(), round_up_in_cone(), same_divs(), select_shared_equalities(), set_div_from_eq(), set_div_from_lower_bound(), set_div_slice(), set_path_length(), set_reduced_using_equalities(), set_up_substitutions(), setup_carry_lp(), setup_lp(), shift_cone(), shift_div(), tab_add_divs(), tab_for_lexmin(), tab_for_shifted_cone(), tighten_on_relaxed_facet(), transform_column(), try_wrap_in_facets(), unit_box_base_points(), uset_affine_hull(), uset_convex_hull_unbounded(), uset_gist(), valid_direction_lp(), var_equal(), var_less(), var_less_or_equal(), var_more(), var_more_or_equal(), vertex_coordinate(), wrap_in_facets(), and wraps_update_max().

un_entry()

static isl_stat un_entry ( void **  entry, void *  user  )

static

Definition at line 1973 of file isl_union_map.c.

References isl_union_map_un_data::control, isl_un_op_control::filter, isl_un_op_control::filter_user, isl_un_op_control::fn_map, isl_un_op_control::fn_map2, isl_un_op_control::fn_map2_user, isl_un_op_control::inplace, isl_map_copy(), isl_map_free(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, isl_union_map_un_data::res, and user.

Referenced by un_op().

un_op()

static __isl_give isl_union_map * un_op ( __isl_take isl_union_map *  umap, struct isl_un_op_control *  control  )

static

Definition at line 2015 of file isl_union_map.c.

References isl_union_map_un_data::control, isl_un_op_control::filter, isl_un_op_control::fn_map, isl_un_op_control::fn_map2, isl_un_op_control::inplace, isl_die, isl_error_internal, isl_error_invalid, isl_hash_table_foreach(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_get_space(), isl_union_map_un_data::res, isl_un_op_control::total, and un_entry().

un_op_filter_drop_user()

static isl_bool un_op_filter_drop_user ( __isl_keep isl_map *  map, void *  user  )

static

Definition at line 1949 of file isl_union_map.c.

References isl_un_op_drop_user_data::filter, map, and user.

Referenced by isl_union_map_curry(), isl_union_map_domain_factor_domain(), isl_union_map_domain_factor_range(), isl_union_map_factor_domain(), isl_union_map_factor_range(), isl_union_map_range_curry(), isl_union_map_range_factor_domain(), isl_union_map_range_factor_range(), isl_union_map_range_reverse(), isl_union_map_uncurry(), isl_union_map_zip(), isl_union_set_unwrap(), and isl_union_set_wrapped_domain_map().

union_map_forall()

static isl_bool union_map_forall ( __isl_keep isl_union_map *  umap, isl_bool(*)(__isl_keep isl_map *map)  fn  )

static

Definition at line 2832 of file isl_union_map.c.

References fn, forall_entry(), isl_bool_error, isl_bool_true, isl_hash_table_foreach(), and isl_forall_data::res.

Referenced by isl_union_map_is_empty(), isl_union_map_plain_is_injective(), and single_valued_on_domain().

union_map_forall_user()

static isl_bool union_map_forall_user ( __isl_keep isl_union_map *  umap, isl_bool(*)(__isl_keep isl_map *map, void *user)  fn, void *  user  )

static

Definition at line 2870 of file isl_union_map.c.

References fn, forall_user_entry(), isl_bool_error, isl_bool_true, isl_hash_table_foreach(), isl_forall_user_data::res, and user.

Referenced by isl_union_map_involves_dims(), isl_union_map_plain_is_injective(), and plain_injective_on_range().

union_map_gist_domain()

static __isl_give isl_union_map * union_map_gist_domain ( __isl_take isl_union_map *  umap, __isl_take isl_union_set *  uset  )

static

Definition at line 1456 of file isl_union_map.c.

References gen_bin_op(), isl_map_gist_domain(), isl_space_domain(), and isl_bin_op_control::match_space.

Referenced by isl_union_map_gist_domain().

union_map_gist_params()

static __isl_give isl_union_map * union_map_gist_params ( __isl_take isl_union_map *  umap, __isl_take isl_union_set *  uset  )

static

Definition at line 1171 of file isl_union_map.c.

References isl_set_from_union_set(), and isl_union_map_gist_params().

Referenced by isl_union_map_gist_domain(), and isl_union_set_gist().

union_map_intersect_domain()

static __isl_give isl_union_map * union_map_intersect_domain ( __isl_take isl_union_map *  umap, __isl_take isl_union_set *  uset  )

static

Definition at line 1394 of file isl_union_map.c.

References gen_bin_op(), isl_map_intersect_domain(), isl_space_domain(), and isl_bin_op_control::match_space.

Referenced by isl_union_map_intersect_domain_union_set().

union_map_intersect_params()

static __isl_give isl_union_map * union_map_intersect_params ( __isl_take isl_union_map *  umap, __isl_take isl_union_set *  uset  )

static

Definition at line 1164 of file isl_union_map.c.

References isl_set_from_union_set(), and isl_union_map_intersect_params().

Referenced by isl_union_map_intersect_domain_union_set(), and isl_union_set_intersect().

universe()

static __isl_give isl_map * universe ( __isl_take isl_map *  map )

static

Definition at line 2259 of file isl_union_map.c.

References isl_map_free(), isl_map_get_space(), isl_map_universe(), and map.

Referenced by after_in_band(), after_in_context(), append_range(), collect_filter_prefix_expansion(), extension_from_domain(), generate_code(), isl_ast_graft_list_insert_pending_guard_nodes(), isl_map_complement(), isl_morph_identity(), isl_printer_print_schedule_constraints(), isl_union_map_is_single_valued(), isl_union_map_universe(), replace_by_universe_if_disjoint(), set_options(), set_universe(), and test_simplify_2().