|
Polly 20.0.0git
|
#include <stdio.h>#include <isl/ctx.h>#include <isl/space_type.h>#include <isl/vec.h>#include <isl/mat.h>#include <isl/printer.h>#include <isl/local_space.h>#include <isl/aff_type.h>#include <isl/list.h>#include <isl/map_type.h>#include <isl/val_type.h>#include <isl/stdint.h>#include <isl/stride_info.h>#include <isl/fixed_box.h>Go to the source code of this file.
| __isl_give isl_basic_map * isl_basic_map_add_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 4121 of file isl_map.c.
References isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_insert_dims(), n, and type.
Referenced by isl_basic_map_deltas(), isl_basic_set_add_dims(), and SF().
| __isl_export __isl_give isl_basic_map * isl_basic_map_affine_hull | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 994 of file isl_affine_hull.c.
References isl_basic_map_detect_equalities(), and isl_basic_map_plain_affine_hull().
Referenced by isl::basic_map::affine_hull(), isl_basic_set_affine_hull(), and isl_map_local_affine_hull().
| __isl_give isl_basic_map * isl_basic_map_align_params | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 12517 of file isl_map.c.
References isl_basic_map_free(), isl_basic_map_peek_space(), isl_basic_map_realign(), isl_die, isl_dim_map_extend(), isl_dim_map_free(), isl_dim_map_from_reordering(), isl_error_invalid, isl_parameter_alignment_reordering(), isl_reordering_free(), isl_reordering_get_space(), isl_space_free(), isl_space_get_ctx(), isl_space_has_equal_params(), and isl_space_has_named_params().
Referenced by isl_basic_set_align_params().
| __isl_export __isl_give isl_basic_map * isl_basic_map_apply_domain | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 4819 of file isl_map.c.
References isl_basic_map_apply_range(), isl_basic_map_check_equal_params(), isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_reverse(), isl_die, isl_dim_in, isl_error_invalid, and isl_space_tuple_is_equal().
Referenced by isl::basic_map::apply_domain().
| __isl_export __isl_give isl_basic_map * isl_basic_map_apply_range | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 4753 of file isl_map.c.
References add_divs(), isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_space(), isl_basic_map_check_applies_range(), isl_basic_map_check_equal_params(), isl_basic_map_dim(), isl_basic_map_drop_redundant_divs(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_simplify(), isl_dim_in, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_div(), isl_dim_out, isl_dim_param, isl_space_join(), n, pos(), and total().
Referenced by isl::basic_map::apply_range(), basic_map_follows(), isl_basic_map_apply_domain(), isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_from_domain_and_range(), isl_basic_map_is_single_valued(), isl_basic_map_range_map(), isl_basic_set_apply(), and isl_map_apply_range().
| isl_bool isl_basic_map_can_curry | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 13140 of file isl_map.c.
References isl_bool_error, and isl_space_can_curry().
Referenced by isl_basic_map_curry().
| isl_bool isl_basic_map_can_uncurry | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 13218 of file isl_map.c.
References isl_bool_error, and isl_space_can_uncurry().
Referenced by isl_basic_map_uncurry().
| isl_bool isl_basic_map_can_zip | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 13067 of file isl_map.c.
References isl_bool_error, and isl_space_can_zip().
Referenced by isl_basic_map_zip().
| __isl_give isl_map * isl_basic_map_compute_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 8060 of file isl_map.c.
References compute_divs(), isl_basic_map_divs_known(), isl_basic_map_drop_redundant_divs(), isl_basic_map_free(), isl_map_from_basic_map(), and map.
Referenced by isl_basic_set_compute_divs(), and isl_map_compute_divs().
| __isl_give isl_basic_map * isl_basic_map_copy | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 1479 of file isl_map.c.
References isl_basic_map_dup(), ISL_BASIC_SET_FINAL, ISL_F_ISSET, ISL_F_SET, and isl_basic_map::ref.
Referenced by add_split_on(), basic_map_collect_diff(), basic_map_diff_is_empty(), basic_map_dim_opt(), basic_map_follows(), cached_simple_hull(), can_be_split_off(), check_coalesce_into_eq(), coalesce_expand_tab_divs(), coalesce_info_set_hull_hash(), coalesce_subset_with_equalities(), coalesce_with_expanded_divs(), coalesce_with_subs(), collect_basic_map(), composability(), compose(), compute_incremental(), construct_extended_path(), construct_power_components(), isl::basic_map::copy(), div_find_coalesce(), empty_path_is_identity(), extract_domain(), floyd_warshall_with_groups(), foreach_iteration(), get_expanded_n_div(), harmonize_divs(), incremental_closure(), incremental_on_entire_domain(), isl_basic_map_detect_equalities(), isl_basic_map_foreach_constraint(), isl_basic_map_get_hash(), isl_basic_map_gist(), isl_basic_map_has_defining_equality(), isl_basic_map_has_rational(), isl_basic_map_image_is_bounded(), isl_basic_map_is_disjoint(), isl_basic_map_is_empty(), isl_basic_map_is_single_valued(), isl_basic_map_is_subset(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_sample(), isl_basic_set_copy(), isl_map_affine_hull(), isl_map_apply_range(), isl_map_coalesce(), isl_map_compute_divs(), isl_map_convex_hull(), isl_map_deltas(), isl_map_dup(), isl_map_foreach_basic_map(), isl_map_get_basic_map_list(), isl_map_gist_basic_map(), isl_map_grow(), isl_map_inline_foreach_basic_map(), isl_map_make_disjoint(), isl_map_normalize(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_plain_gist_basic_map(), isl_map_plain_unshifted_simple_hull(), isl_map_remove_obvious_duplicates(), isl_map_sample(), isl_map_subtract(), isl_map_sum(), isl_stream_read_basic_map(), isl_tab_from_basic_map(), map_intersect_internal(), map_intersect_set(), map_product(), map_simple_hull(), map_simple_hull_trivial(), map_union_disjoint(), print_constraints(), pw_multi_aff_from_map_base(), q_closure(), replace_by_disjunct(), set_from_updated_bmap(), setup_groups(), SF(), split_aff(), split_domain(), test_curry(), test_lexmin(), transitive_closure_omega(), union_components(), and union_floyd_warshall_on_list().
| __isl_give isl_basic_map * isl_basic_map_curry | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 13162 of file isl_map.c.
References isl_basic_map_can_curry(), isl_basic_map_cow(), isl_basic_map_free(), isl_basic_map_mark_final(), isl_die, isl_error_invalid, and isl_space_curry().
Referenced by test_curry().
| __isl_export __isl_give isl_basic_set * isl_basic_map_deltas | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 8679 of file isl_map.c.
References isl_basic_map_add_dims(), isl_basic_map_alloc_equality(), isl_basic_map_check_transformation(), isl_basic_map_dim(), isl_basic_map_domain(), isl_basic_map_extend_constraints(), isl_basic_map_free(), isl_basic_map_from_range(), isl_basic_map_get_space(), isl_basic_map_wrap(), isl_basic_set_reset_space(), isl_dim_all, isl_dim_in, isl_dim_param, isl_int_set_si, isl_seq_clr(), isl_space_domain(), and total().
Referenced by construct_extended_path(), isl::basic_map::deltas(), and isl_map_deltas().
| __isl_give isl_basic_map * isl_basic_map_deltas_map | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 8803 of file isl_map.c.
References domain, isl_basic_map_alloc_equality(), isl_basic_map_apply_range(), isl_basic_map_check_transformation(), isl_basic_map_dim(), isl_basic_map_extend_constraints(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_from_domain(), isl_basic_map_gauss(), isl_basic_map_get_space(), isl_basic_map_universe(), isl_basic_map_wrap(), isl_dim_all, isl_dim_in, isl_dim_param, isl_int_set_si, isl_seq_clr(), isl_space_domain(), isl_space_from_range(), n, and total().
Referenced by deltas_map(), and isl_map_deltas_map().
| __isl_export __isl_give isl_basic_map * isl_basic_map_detect_equalities | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 903 of file isl_affine_hull.c.
References equalities_in_underlying_set(), hull, ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_alloc_equality(), isl_basic_map_copy(), ISL_BASIC_MAP_EMPTY, isl_basic_map_extend(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_implicit_equalities(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_RATIONAL, isl_basic_map_set_to_empty(), isl_basic_map_simplify(), isl_basic_set_dim(), ISL_BASIC_SET_EMPTY, isl_basic_set_free(), isl_dim_all, ISL_F_ISSET, ISL_F_SET, isl_seq_cpy(), isl_vec_copy(), isl_vec_free(), and total().
Referenced by isl::basic_map::detect_equalities(), isl_basic_map_affine_hull(), isl_basic_set_detect_equalities(), isl_map_detect_equalities(), and SF().
| isl_size isl_basic_map_dim | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 80 of file isl_map.c.
References isl_basic_map_total_dim(), isl_dim_all, isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_size_error, isl_space_dim(), and type.
Referenced by add_constraints(), add_delta_constraints(), add_div_constraints(), add_divs(), add_gbr_ineq(), add_known_div_constraints(), add_lower_div_constraint(), add_ma_strides(), add_selected_wraps(), add_selected_wraps_around_facet(), add_upper_div_constraint(), align_context_divs(), any_div_involves_div(), basic_map_bound(), basic_map_bound_si(), basic_map_read_polylib_constraint(), basic_set_maximal_difference_at(), can_wrap_in_facet(), can_wrap_in_set(), check_coalesce_into_eq(), check_eq_adj_eq(), coalesce_info_set_hull_hash(), coalesce_or_drop_more_redundant_divs(), coalesce_with_subs(), compute_divs(), compute_weights(), contains(), context_gbr_insert_div(), create_constraint_index(), defining_equality(), div_find_coalesce(), div_may_involve_output(), drop_bmap_div(), drop_equalities(), drop_inequalities(), drop_irrelevant_constraints(), drop_more_redundant_divs(), drop_unrelated_constraints(), dup_constraints(), eliminate_unit_div(), eliminate_var_using_equality(), eq_status_in(), expand_tab(), extend(), extract_aff_from_equality(), extract_compressed_stride_constraints(), extract_domain(), extract_isl_multi_aff_from_basic_map(), find_context_div(), find_div(), find_modulo_constraint_pair(), fuse(), get_aff(), get_div(), greator(), harmonize_divs_with_hulls(), harmonize_stride_divs(), has_multiple_var_equality(), has_nested_div(), increment(), ineq_for_div(), int_between_bounds(), is_adj_ineq_extension(), is_adj_ineq_extension_with_wraps(), is_convex_no_locals(), is_opposite(), is_opposite_except(), is_parallel_except(), isl_basic_map_add_dims(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_add_known_div_constraints(), isl_basic_map_align_divs(), 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_divs_known(), isl_basic_map_domain(), isl_basic_map_domain_map(), isl_basic_map_domain_product(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_map_drop_core(), isl_basic_map_drop_redundant_divs(), isl_basic_map_drop_unrelated_constraints(), isl_basic_map_drop_unused_params(), 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_image_is_bounded(), isl_basic_map_inequalities_matrix(), isl_basic_map_insert_dims(), isl_basic_map_insert_div(), isl_basic_map_is_universe(), isl_basic_map_move_dims(), isl_basic_map_neg(), isl_basic_map_normalize_constraints(), isl_basic_map_output_defining_equality(), isl_basic_map_overlying_set(), isl_basic_map_plain_cmp(), isl_basic_map_plain_has_fixed_var(), isl_basic_map_plain_is_non_empty(), isl_basic_map_plain_is_single_valued(), isl_basic_map_plain_is_singleton(), isl_basic_map_preimage_multi_aff(), isl_basic_map_print_polylib(), isl_basic_map_product(), isl_basic_map_range_map(), isl_basic_map_range_product(), isl_basic_map_realign(), isl_basic_map_reduce_coefficients(), isl_basic_map_remove_duplicate_constraints(), isl_basic_map_reverse(), 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_dim(), isl_inequality_negate(), isl_tab_from_basic_map(), isl_tab_insert_div(), isl_tab_solve_lp(), move_last(), n_div_eq(), need_split_basic_map(), next_is_opposite(), normalize_div_expression(), parallel_constraints(), path_along_delta(), path_along_steps(), polylib_pos_to_isl_pos(), print_constraint_polylib(), print_constraints(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_stride(), reduce_div_coefficients_of_div(), reduce_stride_constraints(), same_divs(), select_shared_equalities(), set_div_from_eq(), set_up_substitutions(), SF(), shift_div(), single_unknown(), singleton_extract_point(), sol_init(), tab_add_constraint(), tab_add_constraints(), tab_add_divs(), tab_for_lexmin(), test_gist(), tighten_on_relaxed_facet(), try_wrap_in_facets(), var_equal(), var_less(), var_less_or_equal(), var_more(), var_more_or_equal(), wrap_in_facets(), and wraps_update_max().
| __isl_give isl_basic_set * isl_basic_map_domain | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 5983 of file isl_map.c.
References isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_project_out(), isl_basic_map_reset_space(), isl_dim_out, and isl_space_domain().
Referenced by composability(), isl::basic_map::domain(), extract_domain(), incremental_closure(), incremental_on_entire_domain(), isl_ast_graft_unembed(), isl_basic_map_deltas(), isl_basic_map_range(), setup_groups(), and test_lift().
| __isl_give isl_basic_map * isl_basic_map_domain_map | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 6031 of file isl_map.c.
References domain, isl_basic_map_apply_range(), isl_basic_map_dim(), isl_basic_map_equate(), isl_basic_map_extend_constraints(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_from_domain(), isl_basic_map_gauss(), isl_basic_map_get_space(), isl_basic_map_universe(), isl_basic_map_wrap(), isl_dim_in, isl_dim_out, isl_dim_param, isl_space_domain(), and isl_space_from_range().
Referenced by isl_local_space_lifting(), and isl_map_domain_map().
| __isl_give isl_basic_map * isl_basic_map_domain_product | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 10768 of file isl_map.c.
References isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_space(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_simplify(), isl_dim_in, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_div(), isl_dim_out, isl_dim_param, isl_space_domain_product(), pos(), and total().
Referenced by isl_map_domain_product().
| __isl_give isl_basic_map * isl_basic_map_drop_constraints_involving_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3124 of file isl_map.c.
References isl_basic_map_add_known_div_constraints(), isl_basic_map_check_range(), isl_basic_map_drop_constraints_involving(), isl_basic_map_free(), isl_basic_map_offset(), isl_basic_map_remove_divs_involving_dims(), n, and type.
Referenced by coalesce_info_set_hull_hash(), extract_domain(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_set_drop_constraints_involving_dims(), and isl_map_drop_constraints_involving_dims().
| __isl_give isl_basic_map * isl_basic_map_drop_constraints_not_involving_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3072 of file isl_map.c.
References isl_basic_map_add_known_div_constraints(), isl_basic_map_check_range(), isl_basic_map_cow(), isl_basic_map_drop_equality(), isl_basic_map_drop_inequality(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_offset(), isl_basic_map_universe(), isl_seq_first_non_zero(), n, and type.
Referenced by compute_weights(), isl_basic_set_drop_constraints_not_involving_dims(), and isl_map_drop_constraints_not_involving_dims().
| __isl_give isl_basic_map * isl_basic_map_drop_unused_params | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 12631 of file isl_map.c.
References isl_basic_map_dim(), isl_basic_map_drop(), isl_basic_map_free(), isl_basic_map_involves_dims(), and isl_dim_param.
Referenced by isl_basic_set_drop_unused_params().
| void isl_basic_map_dump | ( | __isl_keep isl_basic_map * | bmap | ) |
| __isl_give isl_basic_map * isl_basic_map_eliminate | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 1825 of file isl_map_simplify.c.
References isl_basic_map_check_range(), isl_basic_map_eliminate_vars(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_insert_dims(), isl_basic_map_offset(), isl_basic_map_project_out(), ISL_BASIC_MAP_RATIONAL, isl_basic_map_reset_space(), ISL_F_ISSET, n, and type.
Referenced by isl_basic_set_eliminate(), and isl_map_eliminate().
| __isl_give isl_basic_map * isl_basic_map_empty | ( | __isl_take isl_space * | space | ) |
Definition at line 6267 of file isl_map.c.
References isl_basic_map_alloc_space(), and isl_basic_map_set_to_empty().
Referenced by greator(), isl_basic_map_insert_dims(), isl_map_sample(), isl_stream_read_basic_map(), isl_union_map_sample(), and replace_map_by_empty_basic_map().
| __isl_give isl_basic_map * isl_basic_map_equal | ( | __isl_take isl_space * | space, |
| unsigned | n_equal | ||
| ) |
Definition at line 5234 of file isl_map.c.
References isl_basic_map_alloc_space(), isl_basic_map_finalize(), and var_equal().
Referenced by after_at_level(), coscheduled_source(), isl::basic_map::equal(), and isl_basic_map_identity().
| __isl_give isl_mat * isl_basic_map_equalities_matrix | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | c1, | ||
| enum isl_dim_type | c2, | ||
| enum isl_dim_type | c3, | ||
| enum isl_dim_type | c4, | ||
| enum isl_dim_type | c5 | ||
| ) |
Definition at line 12886 of file isl_map.c.
References c1, c2, isl_basic_map_dim(), isl_basic_map_offset(), isl_dim_all, isl_int_set, isl_mat_alloc(), isl_mat_free(), pos(), isl_mat::row, and total().
Referenced by isl_basic_set_equalities_matrix().
| __isl_give isl_basic_map * isl_basic_map_equate | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13313 of file isl_map.c.
References equator(), isl_basic_map_get_space(), and isl_basic_map_intersect().
Referenced by add_nodes(), domain_follows_at_depth(), isl::basic_map::equate(), isl_basic_map_domain_map(), isl_basic_map_range_map(), and shared_outer().
| int isl_basic_map_find_dim_by_name | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 1045 of file isl_map.c.
References isl_space_find_dim_by_name(), name, and type.
| __isl_give isl_basic_map * isl_basic_map_fix_si | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
Definition at line 6491 of file isl_map.c.
References isl_basic_map_check_range(), isl_basic_map_fix_pos_si(), isl_basic_map_free(), isl_basic_map_offset(), pos(), and type.
Referenced by empty_path_is_identity(), isl::basic_map::fix_si(), isl_basic_set_fix_si(), and isl_map_fix_si().
| __isl_give isl_basic_map * isl_basic_map_fix_val | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 6512 of file isl_map.c.
References isl_basic_map_check_range(), isl_basic_map_fix_pos(), isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_offset(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_int(), pos(), and type.
Referenced by isl::basic_map::fix_val(), isl_basic_set_fix_val(), and isl_map_fix_val().
| __isl_give isl_basic_map * isl_basic_map_flat_product | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 10752 of file isl_map.c.
References isl_basic_map_flatten(), and isl_basic_map_product().
| __isl_give isl_basic_map * isl_basic_map_flat_range_product | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 10869 of file isl_map.c.
References isl_basic_map_flatten_range(), and isl_basic_map_range_product().
Referenced by isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), and isl_basic_set_flat_product().
| __isl_export __isl_give isl_basic_map * isl_basic_map_flatten | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 12291 of file isl_map.c.
References isl_basic_map_mark_final(), isl_basic_map_restore_space(), isl_basic_map_take_space(), and isl_space_flatten().
Referenced by isl::basic_map::flatten(), isl_basic_map_flat_product(), and isl_basic_set_flatten().
| __isl_export __isl_give isl_basic_map * isl_basic_map_flatten_domain | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 12309 of file isl_map.c.
References isl_basic_map_mark_final(), isl_basic_map_restore_space(), isl_basic_map_take_space(), and isl_space_flatten_domain().
Referenced by isl::basic_map::flatten_domain().
| __isl_export __isl_give isl_basic_map * isl_basic_map_flatten_range | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 12323 of file isl_map.c.
References isl_basic_map_mark_final(), isl_basic_map_restore_space(), isl_basic_map_take_space(), and isl_space_flatten_range().
Referenced by isl::basic_map::flatten_range(), and isl_basic_map_flat_range_product().
| __isl_null isl_basic_map * isl_basic_map_free | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1503 of file isl_map.c.
References isl_blk_free(), isl_ctx_deref(), isl_space_free(), and isl_vec_free().
Referenced by add_constraints(), add_delta_constraints(), add_divs(), add_known_div_constraints(), add_lower_div_constraint(), add_ma_strides(), add_nodes(), add_split_on(), add_strides(), add_upper_div_constraint(), add_valid_constraints(), align_context_divs(), basic_map_bound(), basic_map_bound_si(), basic_map_check_scaled(), basic_map_collect_diff(), basic_map_from_equalities(), basic_map_init(), basic_map_is_empty_add(), basic_map_partial_lexopt_base_sol(), basic_map_read_polylib(), basic_map_read_polylib_constraint(), basic_replace_space_by_local_space(), basic_set_maximal_difference_at(), box_closure_on_domain(), check_coalesce_into_eq(), check_for_div_constraints(), clear(), clear_caches(), clear_coalesce_info(), coalesce_divs(), coalesce_expand_tab_divs(), coalesce_info_set_hull_hash(), coalesce_or_drop_more_redundant_divs(), coalesce_subset_with_equalities(), coalesce_with_expanded_divs(), coalesce_with_subs(), combined_variable_compression(), compute_divs(), compute_weights(), div_find_coalesce(), domain_follows_at_depth(), drop_aff(), drop_equalities(), drop_inequalities(), drop_irrelevant_constraints(), drop_more_redundant_divs(), drop_unrelated_constraints(), dup_constraints(), eliminate_div(), eliminate_divs_eq(), eliminate_selected_unit_divs(), eliminate_unit_div(), eliminate_var_using_equality(), empty_path_is_identity(), equate_parameter_to_length(), equator(), expand_tab(), extract_isl_multi_aff_from_basic_map(), foreach_iteration(), free_split(), fuse(), gauss_if_shared(), get_aff(), gist_strides(), greator(), increment(), insert_bounds_on_div(), insert_bounds_on_div_from_ineq(), insert_div_rows(), insert_divs_from_local_space(), isl_basic_map_add_constraint(), isl_basic_map_add_constraints_dim_map(), isl_basic_map_add_dims(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_add_known_div_constraints(), isl_basic_map_align_divs(), isl_basic_map_align_params(), isl_basic_map_apply_domain(), isl_basic_map_apply_range(), isl_basic_map_compute_divs(), isl_basic_map_constraint(), isl_basic_map_curry(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_detect_equalities(), isl_basic_map_domain(), isl_basic_map_domain_map(), isl_basic_map_domain_product(), isl_basic_map_drop_constraints_involving(), isl_basic_map_drop_constraints_involving_dims(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_drop_core(), isl_basic_map_drop_redundant_divs(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_drop_unrelated_constraints(), isl_basic_map_drop_unused_params(), isl_basic_map_eliminate(), isl_basic_map_eliminate_vars(), isl_basic_map_expand_divs(), isl_basic_map_extend(), isl_basic_map_fix(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_fix_si(), isl_basic_map_fix_val(), isl_basic_map_floordiv(), isl_basic_map_free_equality(), isl_basic_map_free_inequality(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_local_space(), isl_basic_map_from_qpolynomial(), isl_basic_map_gauss5(), isl_basic_map_get_hash(), isl_basic_map_gist(), isl_basic_map_has_rational(), isl_basic_map_image_is_bounded(), isl_basic_map_implicit_equalities(), isl_basic_map_insert_dims(), isl_basic_map_insert_div(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_is_disjoint(), isl_basic_map_is_empty(), isl_basic_map_is_single_valued(), isl_basic_map_is_universe(), isl_basic_map_make_strides_explicit(), isl_basic_map_mark_div_unknown(), isl_basic_map_move_dims(), isl_basic_map_nat_universe(), isl_basic_map_neg(), isl_basic_map_normalize_constraints(), isl_basic_map_order_divs(), isl_basic_map_overlying_set(), isl_basic_map_plain_gist(), isl_basic_map_plain_unshifted_simple_hull(), isl_basic_map_preimage_multi_aff(), isl_basic_map_preimage_vars(), isl_basic_map_product(), isl_basic_map_project_out(), isl_basic_map_range(), isl_basic_map_range_map(), isl_basic_map_range_product(), isl_basic_map_range_reverse(), isl_basic_map_realign(), isl_basic_map_reduce_coefficients(), isl_basic_map_remove_dims(), isl_basic_map_remove_divs(), isl_basic_map_remove_divs_involving_dims(), isl_basic_map_remove_redundancies(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_reset_space(), isl_basic_map_restore_space(), isl_basic_map_reverse(), isl_basic_map_sample(), isl_basic_map_set_div_expr_constant_num_si_inplace(), isl_basic_map_set_to_empty(), isl_basic_map_shift_div(), isl_basic_map_simplify(), isl_basic_map_sort_constraints(), isl_basic_map_sort_divs(), isl_basic_map_sum(), isl_basic_map_swap_div(), isl_basic_map_swap_vars(), isl_basic_map_transform_dims(), isl_basic_map_uncurry(), isl_basic_map_underlying_set(), isl_basic_map_union(), isl_basic_map_zip(), isl_basic_set_apply(), isl_basic_set_follows_at(), isl_basic_set_free(), isl_inequality_negate(), isl_map_add_basic_map(), isl_map_affine_hull(), isl_map_align_divs_to_basic_map_list(), isl_map_convex_hull(), isl_map_free(), isl_map_gist_basic_map(), isl_map_inline_foreach_basic_map(), isl_map_normalize(), isl_map_oppose(), isl_map_plain_gist_basic_map(), isl_map_remove_obvious_duplicates(), isl_map_sample(), isl_map_sum(), isl_pw_multi_aff_from_map(), isl_stream_read_basic_set(), isl_tab_free(), isl_tab_make_equalities_explicit(), isl_tab_track_bmap(), map_intersect_add_constraint(), map_intersect_internal(), map_product(), move_divs_last(), move_last(), normalize_div_expression(), normalize_divs(), path_along_delta(), path_along_steps(), print_constraints(), print_disjuncts(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), reduce_div_coefficients_of_div(), reduce_stride_constraints(), remove_duplicate_divs(), remove_if_empty(), remove_redundant_divs(), replace_by_disjunct(), select_shared_equalities(), select_shared_inequalities(), set_div_from_eq(), set_ma_divs(), set_path_length(), SF(), shared_outer(), sort_and_remove_duplicates(), split_aff(), tab_insert_divs(), test_curry(), union_components(), union_floyd_warshall(), update_basic_maps(), var_equal(), var_less(), var_less_or_equal(), var_more(), var_more_or_equal(), and isl::basic_map::~basic_map().
| __isl_give isl_basic_map * isl_basic_map_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 110 of file isl_aff_map.c.
References aff, and isl_basic_map_from_aff2().
Referenced by isl::basic_map::from_aff(), isl_basic_map_from_aff_list(), isl_map_from_aff(), and isl_map_from_pw_aff_internal().
| __isl_give isl_basic_map * isl_basic_map_from_aff_list | ( | __isl_take isl_space * | domain_space, |
| __isl_take isl_aff_list * | list | ||
| ) |
Definition at line 265 of file isl_aff_map.c.
References aff, isl_aff_copy(), isl_basic_map_flat_range_product(), isl_basic_map_from_aff(), isl_basic_map_universe(), and isl_space_from_domain().
| __isl_give isl_basic_map * isl_basic_map_from_constraint_matrices | ( | __isl_take isl_space * | space, |
| __isl_take isl_mat * | eq, | ||
| __isl_take isl_mat * | ineq, | ||
| enum isl_dim_type | c1, | ||
| enum isl_dim_type | c2, | ||
| enum isl_dim_type | c3, | ||
| enum isl_dim_type | c4, | ||
| enum isl_dim_type | c5 | ||
| ) |
Definition at line 12952 of file isl_map.c.
References c1, c2, isl_basic_map::div, isl_basic_map::eq, isl_basic_map::ineq, isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_alloc_space(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_offset(), isl_basic_map_simplify(), isl_die, isl_dim_all, isl_error_invalid, isl_int_set, isl_int_set_si, isl_mat_free(), isl_space_copy(), isl_space_dim(), isl_space_free(), pos(), and total().
Referenced by isl_basic_set_from_constraint_matrices().
| __isl_give isl_basic_map * isl_basic_map_from_domain | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 6184 of file isl_map.c.
References isl_basic_map_from_range(), and isl_basic_map_reverse().
Referenced by isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_intersect_domain(), and isl_basic_map_range_map().
| __isl_give isl_basic_map * isl_basic_map_from_domain_and_range | ( | __isl_take isl_basic_set * | domain, |
| __isl_take isl_basic_set * | range | ||
| ) |
Definition at line 6222 of file isl_map.c.
References domain, isl_basic_map_apply_range(), isl_basic_map_reverse(), and range.
Referenced by domain_follows_at_depth(), isl::basic_map::from_domain_and_range(), and shared_outer().
| __isl_give isl_basic_map * isl_basic_map_from_multi_aff | ( | __isl_take isl_multi_aff * | maff | ) |
Definition at line 186 of file isl_aff_map.c.
References basic_map_from_multi_aff(), check_input_is_map(), and ma.
Referenced by foreach_iteration().
| __isl_give isl_basic_map * isl_basic_map_from_range | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 6190 of file isl_map.c.
References bset_to_bmap(), isl_basic_set_get_space(), isl_basic_set_reset_space(), and isl_space_from_range().
Referenced by isl_basic_map_deltas(), isl_basic_map_from_domain(), join_initial(), and test_lift().
| isl_ctx * isl_basic_map_get_ctx | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 381 of file isl_map.c.
Referenced by add_constraints(), can_wrap_in_facet(), check_basic_map_compatible_range_multi_aff(), check_eq_adj_eq(), check_single_adj_eq(), coalesce_after_aligning_divs(), coalesce_divs(), coalesce_pair(), combined_variable_compression(), count_occurrences(), create_constraint_index(), isl::basic_map::ctx(), drop_irrelevant_constraints(), drop_more_redundant_divs(), eliminate_unit_div(), expand_tab(), extract_aff_from_equality(), extract_compressed_stride_constraints(), extract_isl_aff_from_basic_map(), find_modulo_constraint_pair(), is_adj_ineq_extension(), isl_basic_map_align_divs(), isl_basic_map_apply_domain(), isl_basic_map_check_applies_range(), isl_basic_map_check_equal_params(), isl_basic_map_check_transformation(), isl_basic_map_constraint(), isl_basic_map_drop_redundant_divs(), isl_basic_map_equal_div_expr_except_constant(), isl_basic_map_fix_val(), isl_basic_map_free_equality(), isl_basic_map_free_inequality(), isl_basic_map_get_constraint_list(), isl_basic_map_get_div(), isl_basic_map_get_divs(), isl_basic_map_insert_div(), isl_basic_map_make_strides_explicit(), isl_basic_map_order_divs(), isl_basic_map_plain_get_val_if_fixed(), isl_basic_map_plain_gist(), isl_basic_map_print_internal(), isl_basic_map_project_out(), isl_basic_map_reduce_coefficients(), isl_basic_map_var_offset(), isl_inequality_negate(), parallel_constraints(), reduce_stride_constraints(), return_with_identity(), set_up_substitutions(), SF(), tab_insert_divs(), test_ineq_is_satisfied(), tighten_on_relaxed_facet(), and wrap_in_facets().
| const char * isl_basic_map_get_dim_name | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 874 of file isl_map.c.
References isl_space_get_dim_name(), pos(), and type.
| __isl_give isl_aff * isl_basic_map_get_div | ( | __isl_keep isl_basic_map * | bmap, |
| int | pos | ||
| ) |
Definition at line 13523 of file isl_map.c.
References isl_basic_map_divs_known(), isl_basic_map_get_ctx(), isl_basic_map_get_local_space(), isl_die, isl_error_invalid, isl_local_space_free(), isl_local_space_get_div(), and pos().
Referenced by isl_basic_set_get_div().
| __isl_give isl_local_space * isl_basic_map_get_local_space | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 511 of file isl_map.c.
References isl_basic_map_get_divs(), isl_local_space_alloc_div(), and isl_space_copy().
Referenced by compute_divs(), extract_aff_from_equality(), harmonize_divs_with_hulls(), isl_basic_map_constraint(), isl_basic_map_get_div(), isl_basic_set_get_local_space(), and set_up_substitutions().
| __isl_give isl_space * isl_basic_map_get_space | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 416 of file isl_map.c.
References isl_basic_map_peek_space(), and isl_space_copy().
Referenced by basic_map_space_reset(), basic_map_subtract(), combined_variable_compression(), empty_path_is_identity(), extract_isl_multi_aff_from_basic_map(), isl_basic_map_apply_range(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_domain(), isl_basic_map_domain_map(), isl_basic_map_domain_product(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_eliminate(), isl_basic_map_equate(), isl_basic_map_extend(), isl_basic_map_gist(), isl_basic_map_gist_domain(), isl_basic_map_insert_dims(), isl_basic_map_is_single_valued(), isl_basic_map_is_universe(), isl_basic_map_move_dims(), isl_basic_map_order_ge(), isl_basic_map_order_gt(), isl_basic_map_overlying_set(), isl_basic_map_preimage_multi_aff(), isl_basic_map_range_map(), isl_basic_map_take_space(), isl_basic_set_get_space(), move_last(), SF(), singleton_extract_point(), and sol_init().
| const char * isl_basic_map_get_tuple_name | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 679 of file isl_map.c.
References isl_space_get_tuple_name(), and type.
| __isl_export __isl_give isl_basic_map * isl_basic_map_gist | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_map * | context | ||
| ) |
Definition at line 3260 of file isl_map_simplify.c.
References isl_tab::bmap, context, gist_strides(), isl_basic_map_align_divs(), isl_basic_map_copy(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_intersect(), isl_basic_map_order_divs(), isl_basic_map_overlying_set(), isl_basic_map_plain_is_empty(), isl_basic_map_plain_is_universe(), isl_basic_map_remove_redundancies(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_underlying_set(), isl_basic_map_universe(), isl_basic_set_add_dims(), isl_basic_set_copy(), isl_basic_set_cow(), isl_basic_set_free_equality(), isl_basic_set_free_inequality(), isl_basic_set_plain_is_empty(), isl_basic_set_project_out(), isl_dim_all, isl_dim_div, isl_dim_set, isl_tab::n_div, isl_tab::n_eq, total(), and uset_gist().
Referenced by isl::basic_map::gist(), isl_basic_map_gist_domain(), isl_basic_set_gist(), and isl_map_gist_basic_map().
| __isl_give isl_basic_map * isl_basic_map_gist_domain | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | context | ||
| ) |
Definition at line 3765 of file isl_map_simplify.c.
References isl_tab::bmap, context, isl_basic_map_get_space(), isl_basic_map_gist(), isl_basic_map_intersect_domain(), and isl_basic_map_universe().
| isl_bool isl_basic_map_has_dim_id | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 971 of file isl_map.c.
References isl_bool_error, isl_space_has_dim_id(), pos(), and type.
| __isl_give isl_basic_map * isl_basic_map_identity | ( | __isl_take isl_space * | space | ) |
Definition at line 8875 of file isl_map.c.
References isl_basic_map_equal(), isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_space_dim(), and isl_space_free().
Referenced by empty_path_is_identity(), isl_basic_map_is_single_valued(), isl_map_identity(), and path_along_delta().
| isl_bool isl_basic_map_image_is_bounded | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 829 of file isl_convex_hull.c.
References isl_tab::bmap, bset_from_bmap(), isl_basic_map_copy(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_move_dims(), isl_basic_set_is_bounded(), isl_bool_error, isl_dim_in, and isl_dim_param.
| __isl_give isl_mat * isl_basic_map_inequalities_matrix | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | c1, | ||
| enum isl_dim_type | c2, | ||
| enum isl_dim_type | c3, | ||
| enum isl_dim_type | c4, | ||
| enum isl_dim_type | c5 | ||
| ) |
Definition at line 12919 of file isl_map.c.
References c1, c2, isl_basic_map_dim(), isl_basic_map_offset(), isl_dim_all, isl_int_set, isl_mat_alloc(), isl_mat_free(), pos(), isl_mat::row, and total().
Referenced by isl_basic_set_inequalities_matrix().
| __isl_give isl_basic_map * isl_basic_map_insert_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| unsigned | n | ||
| ) |
Definition at line 4052 of file isl_map.c.
References basic_map_space_reset(), isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_space(), isl_basic_map_dim(), isl_basic_map_empty(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_is_rational(), isl_basic_map_plain_is_empty(), isl_basic_map_set_rational(), isl_dim_all, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_dim_range(), isl_dim_map_div(), isl_dim_map_free(), isl_dim_out, isl_dim_param, isl_space_dim(), isl_space_insert_dims(), n, pos(), res, size, t, total(), and type.
Referenced by isl_basic_map_add_dims(), isl_basic_map_eliminate(), isl_basic_set_insert_dims(), and isl_map_insert_dims().
| __isl_export __isl_give isl_basic_map * isl_basic_map_intersect | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 3704 of file isl_map.c.
References add_constraints(), isl_basic_map_check_equal_params(), isl_basic_map_check_equal_space(), isl_basic_map_contains(), isl_basic_map_cow(), isl_basic_map_extend(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_intersect(), isl_basic_map_peek_space(), isl_basic_map_plain_is_empty(), isl_basic_map_simplify(), isl_dim_all, isl_dim_param, isl_space_dim(), isl_vec_copy(), and isl_vec_free().
Referenced by check_coalesce_into_eq(), coalesce_subset_with_equalities(), isl::basic_map::intersect(), isl_basic_map_add_constraint(), isl_basic_map_equate(), isl_basic_map_gist(), isl_basic_map_intersect(), isl_basic_map_is_disjoint(), isl_basic_map_list_intersect(), isl_basic_map_order_gt(), isl_basic_set_intersect(), map_intersect_internal(), and map_simple_hull().
| __isl_export __isl_give isl_basic_map * isl_basic_map_intersect_domain | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | bset | ||
| ) |
Definition at line 3576 of file isl_map.c.
References add_constraints(), bset_to_bmap(), isl_basic_map::dim, isl_basic_map_check_compatible_domain(), isl_basic_map_check_equal_params(), isl_basic_map_cow(), isl_basic_map_extend(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_from_domain(), isl_basic_map_simplify(), isl_basic_set_dim(), isl_basic_set_free(), and isl_dim_set.
Referenced by add_split_on(), isl::basic_map::intersect_domain(), isl_basic_map_gist_domain(), isl_map_intersect_domain(), SF(), and sol_map_add().
| __isl_export __isl_give isl_basic_map * isl_basic_map_intersect_range | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | bset | ||
| ) |
Definition at line 3625 of file isl_map.c.
References add_constraints(), bset_to_bmap(), isl_basic_map::dim, isl_basic_map_check_compatible_range(), isl_basic_map_check_equal_params(), isl_basic_map_cow(), isl_basic_map_extend(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_simplify(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_plain_is_universe(), and isl_dim_set.
Referenced by add_split_on(), isl::basic_map::intersect_range(), and isl_map_intersect_range().
| isl_bool isl_basic_map_involves_dims | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2937 of file isl_map.c.
References isl_basic_map_check_range(), isl_basic_map_offset(), isl_bool_error, isl_bool_false, isl_bool_true, isl_int_is_zero, isl_seq_first_non_zero(), n, and type.
Referenced by isl_basic_map_drop_unused_params(), isl_basic_set_involves_dims(), and isl_map_involves_dims().
| isl_bool isl_basic_map_is_disjoint | ( | __isl_keep isl_basic_map * | bmap1, |
| __isl_keep isl_basic_map * | bmap2 | ||
| ) |
Definition at line 4034 of file isl_map_simplify.c.
References intersect(), isl_basic_map_copy(), isl_basic_map_free(), isl_basic_map_intersect(), isl_basic_map_is_empty(), isl_basic_map_plain_is_disjoint(), isl_basic_map_plain_is_universe(), isl_bool_not(), and test.
Referenced by isl_basic_set_is_disjoint(), and isl_map_is_disjoint_aligned().
| __isl_export isl_bool isl_basic_map_is_empty | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 9379 of file isl_map.c.
References isl_basic_map_copy(), ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_plain_is_empty(), isl_basic_map_plain_is_non_empty(), isl_basic_map_plain_is_universe(), ISL_BASIC_MAP_RATIONAL, isl_basic_map_remove_redundancies(), isl_basic_map_underlying_set(), isl_basic_set_sample_vec(), isl_bool_error, isl_bool_false, isl_bool_true, ISL_F_ISSET, ISL_F_SET, isl_vec_free(), isl_basic_map::sample, and isl_vec::size.
Referenced by basic_map_collect_diff(), domain_follows_at_depth(), isl::basic_map::is_empty(), isl_basic_map_is_disjoint(), isl_basic_set_follows_at(), isl_basic_set_is_empty(), isl_map_is_empty(), isl_map_sum(), map_intersect_internal(), map_product(), and shared_outer().
| __isl_export isl_bool isl_basic_map_is_equal | ( | __isl_keep isl_basic_map * | bmap1, |
| __isl_keep isl_basic_map * | bmap2 | ||
| ) |
Definition at line 9115 of file isl_map.c.
References isl_basic_map_is_subset(), isl_bool_error, and isl_bool_true.
Referenced by empty_path_is_identity(), isl::basic_map::is_equal(), isl_basic_set_is_equal(), and test_curry().
| isl_bool isl_basic_map_is_rational | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 1135 of file isl_map.c.
References ISL_BASIC_MAP_RATIONAL, isl_bool_error, and ISL_F_ISSET.
Referenced by isl_basic_map_has_rational(), isl_basic_map_insert_dims(), isl_basic_map_preimage_multi_aff(), isl_basic_map_range_product(), isl_basic_map_reduce_coefficients(), isl_basic_set_is_rational(), and isl_map_is_rational().
| isl_bool isl_basic_map_is_single_valued | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 11914 of file isl_map.c.
References id, isl_basic_map_apply_range(), isl_basic_map_copy(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_identity(), isl_basic_map_is_subset(), isl_basic_map_plain_is_single_valued(), isl_basic_map_reverse(), isl_space_map_from_set(), isl_space_range(), sv, and test.
| isl_bool isl_basic_map_is_strict_subset | ( | __isl_keep isl_basic_map * | bmap1, |
| __isl_keep isl_basic_map * | bmap2 | ||
| ) |
Definition at line 9247 of file isl_map.c.
References isl_basic_map_is_subset(), isl_bool_error, isl_bool_not(), and isl_bool_true.
| __isl_export isl_bool isl_basic_map_is_subset | ( | __isl_keep isl_basic_map * | bmap1, |
| __isl_keep isl_basic_map * | bmap2 | ||
| ) |
Definition at line 9088 of file isl_map.c.
References isl_basic_map_copy(), isl_bool_error, isl_map_free(), isl_map_from_basic_map(), isl_map_is_subset(), map1, and map2.
Referenced by isl::basic_map::is_subset(), isl_basic_map_is_equal(), isl_basic_map_is_single_valued(), isl_basic_map_is_strict_subset(), isl_basic_map_is_universe(), and isl_basic_set_is_subset().
| isl_bool isl_basic_map_is_universe | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 9325 of file isl_map.c.
References involves_divs(), isl_basic_map_dim(), isl_basic_map_foreach_constraint(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_is_subset(), isl_basic_map_plain_is_universe(), isl_basic_map_universe(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_div, and test.
Referenced by isl_basic_set_is_universe().
| __isl_give isl_basic_map * isl_basic_map_less_at | ( | __isl_take isl_space * | space, |
| unsigned | pos | ||
| ) |
Definition at line 5249 of file isl_map.c.
References isl_basic_map_alloc_space(), isl_basic_map_finalize(), pos(), var_equal(), and var_less().
Referenced by map_lex_lte_first().
| __isl_export __isl_give isl_map * isl_basic_map_lexmax | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 7391 of file isl_map.c.
References ISL_OPT_MAX.
Referenced by isl_basic_set_lexmax(), and isl::basic_map::lexmax().
| __isl_export __isl_give isl_map * isl_basic_map_lexmin | ( | __isl_take isl_basic_map * | bmap | ) |
Referenced by isl_basic_set_lexmin(), and isl::basic_map::lexmin().
| __isl_give isl_pw_multi_aff * isl_basic_map_lexmin_pw_multi_aff | ( | __isl_take isl_basic_map * | bmap | ) |
Referenced by pw_multi_aff_from_map_base(), and test_lexmin().
| __isl_give isl_basic_map * isl_basic_map_list_intersect | ( | __isl_take isl_basic_map_list * | list | ) |
Definition at line 10602 of file isl_map.c.
References isl_basic_map_intersect(), isl_die, isl_error_invalid, and n.
Referenced by isl_basic_set_list_intersect(), and map_unshifted_simple_hull_from_basic_map_list().
| __isl_give isl_basic_map * isl_basic_map_lower_bound_si | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
Definition at line 6754 of file isl_map.c.
References basic_map_bound_si(), pos(), and type.
Referenced by construct_insertion_map().
| __isl_give isl_basic_map * isl_basic_map_more_at | ( | __isl_take isl_space * | space, |
| unsigned | pos | ||
| ) |
Definition at line 5281 of file isl_map.c.
References isl_basic_map_alloc_space(), isl_basic_map_finalize(), pos(), var_equal(), and var_more().
Referenced by after_at_level(), and map_lex_gte_first().
| __isl_give isl_basic_map * isl_basic_map_move_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 4216 of file isl_map.c.
References isl_assert, isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_space(), isl_basic_map_check_range(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_get_space(), isl_basic_map_peek_space(), isl_basic_map_reset(), isl_basic_map_restore_space(), ISL_BASIC_MAP_SORTED, isl_basic_map_take_space(), isl_dim_all, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_dim_range(), isl_dim_map_div(), isl_dim_map_free(), isl_dim_out, isl_dim_param, ISL_F_CLR, isl_space_dim(), isl_space_move_dims(), n, pos(), res, size, t, and total().
Referenced by isl_basic_map_image_is_bounded(), isl_basic_set_move_dims(), isl_map_move_dims(), and join_initial().
| __isl_give isl_basic_map * isl_basic_map_nat_universe | ( | __isl_take isl_space * | space | ) |
Definition at line 6299 of file isl_map.c.
References isl_basic_map::ineq, isl_basic_map_alloc_inequality(), isl_basic_map_alloc_space(), isl_basic_map_free(), isl_dim_all, isl_int_set_si, isl_seq_clr(), isl_space_dim(), isl_space_free(), and total().
Referenced by isl_basic_set_nat_universe(), and isl_map_nat_universe().
| __isl_give isl_basic_map * isl_basic_map_neg | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 4943 of file isl_map.c.
References isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_offset(), isl_dim_out, isl_int_neg, and n.
Referenced by isl_basic_set_neg(), and isl_map_neg().
| __isl_give isl_basic_map * isl_basic_map_order_ge | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13405 of file isl_map.c.
References constraint_order_ge(), isl_basic_map_add_constraint(), and isl_basic_map_get_space().
Referenced by domain_follows_at_depth(), and isl_basic_set_follows_at().
| __isl_give isl_basic_map * isl_basic_map_order_gt | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13487 of file isl_map.c.
References greator(), isl_basic_map_get_space(), and isl_basic_map_intersect().
Referenced by add_nodes(), and isl_basic_set_follows_at().
| __isl_give isl_map * isl_basic_map_partial_lexmax | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | dom, | ||
| __isl_give isl_set ** | empty | ||
| ) |
Referenced by SF().
| __isl_give isl_pw_multi_aff * isl_basic_map_partial_lexmax_pw_multi_aff | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | dom, | ||
| __isl_give isl_set ** | empty | ||
| ) |
| __isl_give isl_map * isl_basic_map_partial_lexmin | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | dom, | ||
| __isl_give isl_set ** | empty | ||
| ) |
Referenced by SF(), and test_partial_lexmin().
| __isl_give isl_pw_multi_aff * isl_basic_map_partial_lexmin_pw_multi_aff | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_basic_set * | dom, | ||
| __isl_give isl_set ** | empty | ||
| ) |
| __isl_give isl_val * isl_basic_map_plain_get_val_if_fixed | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 10113 of file isl_map.c.
References isl_vec::ctx, isl_val::d, isl_basic_map_get_ctx(), isl_basic_map_plain_is_fixed(), isl_int_set_si, isl_val_alloc(), isl_val_free(), isl_val_nan(), isl_val::n, pos(), and type.
Referenced by isl::basic_map::plain_get_val_if_fixed().
| isl_bool isl_basic_map_plain_is_empty | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 9424 of file isl_map.c.
References ISL_BASIC_MAP_EMPTY, isl_bool_error, and ISL_F_ISSET.
Referenced by basic_map_diff_is_empty(), basic_map_partial_lexopt_base_sol(), check_coalesce_into_eq(), coalesce_subset_with_equalities(), isl_basic_map_add_eq(), isl_basic_map_gist(), isl_basic_map_has_rational(), isl_basic_map_insert_dims(), isl_basic_map_intersect(), isl_basic_map_is_empty(), isl_basic_map_plain_gist(), isl_basic_map_project_out(), isl_basic_map_set_to_empty(), isl_basic_map_simplify(), isl_map_add_basic_map(), isl_map_gist_basic_map(), map_intersect_add_constraint(), remove_if_empty(), and sample_entry().
| isl_bool isl_basic_map_plain_is_universe | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 9285 of file isl_map.c.
References isl_bool_error.
Referenced by isl_basic_map_gist(), isl_basic_map_is_disjoint(), isl_basic_map_is_empty(), isl_basic_map_is_universe(), isl_basic_map_plain_gist(), isl_basic_set_plain_is_universe(), isl_map_plain_gist_basic_map(), isl_map_plain_is_universe(), print_disjuncts(), and print_optional_disjunct().
| __isl_give isl_basic_map * isl_basic_map_preimage_domain_multi_aff | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 13918 of file isl_map.c.
References isl_basic_map_preimage_multi_aff(), isl_dim_in, and ma.
| __isl_give isl_basic_map * isl_basic_map_preimage_range_multi_aff | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 13930 of file isl_map.c.
References isl_basic_map_preimage_multi_aff(), isl_dim_out, and ma.
| void isl_basic_map_print_internal | ( | __isl_keep isl_basic_map * | bmap, |
| FILE * | out, | ||
| int | indent | ||
| ) |
Definition at line 3391 of file isl_map.c.
References isl_basic_map_get_ctx(), isl_printer_end_line(), isl_printer_free(), isl_printer_print_basic_map(), isl_printer_set_dump(), isl_printer_set_indent(), isl_printer_start_line(), isl_printer_to_file(), and p.
Referenced by isl_map_print_internal(), and isl_tab_print_internal().
| __isl_give isl_basic_map * isl_basic_map_product | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 10707 of file isl_map.c.
References isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_space(), isl_basic_map_check_equal_params(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_simplify(), isl_dim_in, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_div(), isl_dim_out, isl_dim_param, isl_space_copy(), isl_space_product(), pos(), and total().
Referenced by isl_basic_map_flat_product(), and isl_map_product().
| __isl_give isl_basic_map * isl_basic_map_project_out | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4523 of file isl_map.c.
References basic_map_space_reset(), drop_irrelevant_constraints(), insert_div_rows(), isl_basic_map_check_range(), isl_basic_map_cow(), isl_basic_map_drop_redundant_divs(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_plain_is_empty(), ISL_BASIC_MAP_RATIONAL, isl_basic_map_remove_dims(), isl_basic_map_restore_space(), isl_basic_map_set_to_empty(), isl_basic_map_simplify(), isl_basic_map_take_space(), isl_die, isl_dim_div, isl_error_invalid, ISL_F_ISSET, isl_space_drop_dims(), move_last(), n, and type.
Referenced by compute_weights(), isl_basic_map_domain(), isl_basic_map_eliminate(), isl_basic_set_project_out(), and isl_map_project_out().
| __isl_give isl_basic_set * isl_basic_map_range | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 6016 of file isl_map.c.
References isl_ctx::error, isl_basic_map_domain(), isl_basic_map_free(), isl_basic_map_is_set(), and isl_basic_map_reverse().
Referenced by add_split_on(), composability(), incremental_closure(), incremental_on_entire_domain(), isl_stream_read_basic_set(), and setup_groups().
| __isl_give isl_basic_map * isl_basic_map_range_map | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 6061 of file isl_map.c.
References isl_basic_map_apply_range(), isl_basic_map_dim(), isl_basic_map_equate(), isl_basic_map_extend_constraints(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_from_domain(), isl_basic_map_gauss(), isl_basic_map_get_space(), isl_basic_map_universe(), isl_basic_map_wrap(), isl_dim_in, isl_dim_out, isl_dim_param, isl_space_from_range(), isl_space_range(), and range.
Referenced by isl_map_range_map().
| __isl_give isl_basic_map * isl_basic_map_range_product | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 10815 of file isl_map.c.
References isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_space(), isl_basic_map_check_equal_params(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_is_rational(), isl_basic_map_set_rational(), isl_basic_map_simplify(), isl_dim_in, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_div(), isl_dim_out, isl_dim_param, isl_space_copy(), isl_space_range_product(), pos(), and total().
Referenced by isl_basic_map_flat_range_product(), isl_map_range_product(), and join_initial().
| __isl_give isl_basic_map * isl_basic_map_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3284 of file isl_input.c.
References isl_basic_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_basic_map().
Referenced by test_application_case().
| __isl_constructor __isl_give isl_basic_map * isl_basic_map_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by isl::basic_map::basic_map(), test_curry(), test_lexmin(), test_partial_lexmin(), and test_plain_gist().
| __isl_give isl_basic_map * isl_basic_map_remove_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2622 of file isl_map.c.
References isl_basic_map_check_range(), isl_basic_map_drop(), isl_basic_map_eliminate_vars(), ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_offset(), isl_dim_div, ISL_F_ISSET, isl_space_is_named_or_nested(), n, and type.
Referenced by drop_more_redundant_divs(), isl_basic_map_project_out(), isl_basic_map_remove_divs_involving_dims(), isl_basic_map_remove_unknown_divs(), and isl_basic_set_remove_dims().
| __isl_give isl_basic_map * isl_basic_map_remove_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 2572 of file isl_map.c.
References isl_basic_map_eliminate_vars(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_var_offset(), and isl_dim_div.
Referenced by compute_weights(), isl_basic_set_remove_divs(), isl_map_polyhedral_hull(), and isl_map_remove_divs().
| __isl_give isl_basic_map * isl_basic_map_remove_divs_involving_dims | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2863 of file isl_map.c.
References div_involves_vars(), insert_bounds_on_div(), isl_basic_map_check_range(), isl_basic_map_free(), isl_basic_map_offset(), isl_basic_map_remove_dims(), isl_dim_div, n, and type.
Referenced by isl_basic_map_drop_constraints_involving_dims(), isl_basic_set_remove_divs_involving_dims(), and isl_map_remove_divs_involving_dims().
| __isl_give isl_basic_map * isl_basic_map_remove_redundancies | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 51 of file isl_convex_hull.c.
References isl_tab::bmap, ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_gauss(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_NO_REDUNDANT, isl_basic_map_sort_constraints(), isl_basic_map_update_from_tab(), ISL_F_ISSET, ISL_F_SET, isl_tab_detect_implicit_equalities(), isl_tab_detect_redundant(), isl_tab_free(), isl_tab_from_basic_map(), isl_tab_restore_redundant(), isl_basic_map::n_ineq, and isl_tab::preserve.
Referenced by isl_basic_map_eliminate_vars(), isl_basic_map_gist(), isl_basic_map_is_empty(), isl_basic_map_normalize(), isl_basic_set_remove_redundancies(), isl_map_gist_basic_map(), isl_map_remove_redundancies(), map_simple_hull(), SF(), and uset_convex_hull_wrap_bounded().
| __isl_export __isl_give isl_basic_map * isl_basic_map_reverse | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 3988 of file isl_map.c.
References isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_offset(), isl_basic_map_reset_space(), isl_basic_map_swap_vars(), isl_dim_in, isl_dim_out, isl_space_copy(), isl_space_reverse(), and pos().
Referenced by isl_basic_map_apply_domain(), isl_basic_map_from_domain(), isl_basic_map_from_domain_and_range(), isl_basic_map_is_single_valued(), isl_basic_map_range(), isl_local_space_lifting(), isl_map_reverse(), and isl::basic_map::reverse().
| __isl_export __isl_give isl_basic_map * isl_basic_map_sample | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1243 of file isl_sample.c.
References isl_basic_map_copy(), isl_basic_map_free(), isl_basic_map_overlying_set(), isl_basic_map_set_to_empty(), isl_basic_map_underlying_set(), isl_basic_set_from_vec(), isl_basic_set_sample_vec(), isl_vec_copy(), isl_vec_free(), and isl_vec::size.
Referenced by isl_basic_set_sample(), isl_map_sample(), and isl::basic_map::sample().
| __isl_give isl_basic_map * isl_basic_map_set_dim_name | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 918 of file isl_map.c.
References isl_basic_map_finalize(), isl_basic_map_restore_space(), isl_basic_map_take_space(), isl_space_set_dim_name(), pos(), and type.
Referenced by isl_basic_set_set_dim_name(), and isl_map_set_dim_name().
| __isl_give isl_basic_map * isl_basic_map_set_tuple_id | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 713 of file isl_map.c.
References isl_basic_map_finalize(), isl_basic_map_restore_space(), isl_basic_map_take_space(), isl_space_set_tuple_id(), and type.
Referenced by isl_basic_set_set_tuple_id().
| __isl_give isl_basic_map * isl_basic_map_set_tuple_name | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| const char * | s | ||
| ) |
Definition at line 661 of file isl_map.c.
References isl_basic_map_finalize(), isl_basic_map_restore_space(), isl_basic_map_take_space(), isl_space_set_tuple_name(), and type.
Referenced by isl_basic_set_set_tuple_name(), and isl_map_set_tuple_name().
| __isl_give isl_basic_map * isl_basic_map_sum | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 4841 of file isl_map.c.
References add_divs(), isl_basic_map::eq, isl_basic_map_add_constraints_dim_map(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_space(), isl_basic_map_check_equal_space(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_simplify(), isl_dim_in, isl_dim_map_alloc(), isl_dim_map_dim(), isl_dim_map_div(), isl_dim_out, isl_dim_param, isl_int_set_si, isl_seq_clr(), isl_space_copy(), pos(), and total().
Referenced by isl_map_sum().
| __isl_give char * isl_basic_map_to_str | ( | __isl_keep isl_basic_map * | bmap | ) |
Referenced by isl::operator<<().
| isl_size isl_basic_map_total_dim | ( | __isl_keep const isl_basic_map * | bmap | ) |
Definition at line 232 of file isl_map.c.
References isl_dim_all, isl_size_error, and isl_space_dim().
Referenced by isl_basic_map_dim(), and isl_basic_set_total_dim().
| __isl_give isl_basic_map * isl_basic_map_uncurry | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 13240 of file isl_map.c.
References isl_basic_map_can_uncurry(), isl_basic_map_cow(), isl_basic_map_free(), isl_basic_map_mark_final(), isl_die, isl_error_invalid, and isl_space_uncurry().
| __isl_export __isl_give isl_map * isl_basic_map_union | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 9463 of file isl_map.c.
References isl_basic_map_check_equal_space(), isl_basic_map_free(), isl_map_add_basic_map(), isl_map_alloc_space(), isl_space_copy(), and map.
Referenced by construct_insertion_map(), isl_basic_set_union(), path_along_delta(), and isl::basic_map::unite().
| __isl_give isl_basic_map * isl_basic_map_universe | ( | __isl_take isl_space * | space | ) |
Definition at line 6283 of file isl_map.c.
References isl_basic_map_alloc_space(), and isl_basic_map_finalize().
Referenced by add_nodes(), deltas_map(), equator(), isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), isl_basic_map_gist(), isl_basic_map_gist_domain(), isl_basic_map_is_universe(), isl_basic_map_range_map(), isl_map_universe(), map_unshifted_simple_hull_from_basic_map_list(), and isl::basic_map::universe().
| __isl_give isl_basic_map * isl_basic_map_upper_bound_si | ( | __isl_take isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
Definition at line 6763 of file isl_map.c.
References basic_map_bound_si(), pos(), and type.
Referenced by construct_insertion_map().
| __isl_give isl_basic_set * isl_basic_map_wrap | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 12198 of file isl_map.c.
References bset_from_bmap(), isl_basic_map_finalize(), isl_basic_map_restore_space(), isl_basic_map_take_space(), and isl_space_wrap().
Referenced by harmonize_divs(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_range_map(), set_dim_extent(), and set_up_substitutions().
| __isl_give isl_basic_map * isl_basic_map_zip | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 13086 of file isl_map.c.
References isl_basic_map_can_zip(), isl_basic_map_cow(), isl_basic_map_free(), isl_basic_map_mark_final(), isl_basic_map_offset(), isl_basic_map_swap_vars(), isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_space_dim(), isl_space_zip(), and pos().
Referenced by isl_map_zip().
| __isl_export __isl_give isl_basic_set * isl_basic_set_flatten | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 12304 of file isl_map.c.
References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_flatten().
Referenced by isl::basic_set::flatten(), isl_local_space_lift_basic_set(), and isl_local_space_lift_set().
| __isl_export isl_bool isl_basic_set_is_wrapping | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 12126 of file isl_map.c.
References isl_bool_error, and isl_space_is_wrapping().
Referenced by isl::basic_set::is_wrapping().
| __isl_give isl_basic_map * isl_basic_set_unwrap | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 12218 of file isl_map.c.
References bset_to_bmap(), isl_basic_set_cow(), isl_basic_set_finalize(), isl_basic_set_free(), and isl_space_unwrap().
Referenced by isl_ast_graft_unembed(), and isl_local_space_lifting().
| __isl_give isl_map * isl_map_add_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 4193 of file isl_map.c.
References isl_map_dim(), isl_map_free(), isl_map_insert_dims(), map, n, and type.
Referenced by isl::map::add_dims(), check_power_exactness(), construct_component(), isl_ast_build_map_to_iterator(), isl_map_power(), isl_map_reaching_path_lengths(), isl_set_add_dims(), isl_set_insert_domain(), isl_set_project_onto_map(), map_from_tuple(), read_defined_var_list(), and test_dim().
| __isl_export __isl_give isl_basic_map * isl_map_affine_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 1209 of file isl_affine_hull.c.
References affine_hull(), hull, isl_basic_map_copy(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_overlying_set(), isl_basic_map_simplify(), isl_basic_set_copy(), isl_map_align_divs_internal(), isl_map_detect_equalities(), isl_map_local_affine_hull(), isl_map_remove_empty_parts(), isl_map_remove_unknown_divs(), isl_map_underlying_set(), isl_set_cow(), isl_set_free(), isl_set_local_affine_hull(), map, replace_map_by_empty_basic_map(), and set.
Referenced by isl::map::affine_hull(), compute_weights(), isl_map_affine_hull_map(), isl_set_affine_hull(), and map_simple_hull().
| ISL_DEPRECATED __isl_give isl_map * isl_map_align_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 9752 of file isl_map.c.
References isl_map_align_divs_internal(), and map.
| __isl_give isl_map * isl_map_align_params | ( | __isl_take isl_map * | map, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 12473 of file isl_map.c.
References isl_die, isl_error_invalid, isl_map_check_named_params(), isl_map_free(), isl_map_peek_space(), isl_map_realign(), isl_map_space_has_equal_params(), isl_parameter_alignment_reordering(), isl_space_free(), isl_space_get_ctx(), isl_space_has_named_params(), and map.
Referenced by isl::map::align_params(), isl_compute_flow_schedule_data_align_params(), isl_map_align_params_map_map_and_test(), isl_map_intersect_factor(), isl_map_preimage_multi_aff(), isl_map_preimage_pw_multi_aff(), isl_set_align_params(), isl_union_map_add_map(), and SF().
| __isl_export __isl_give isl_map * isl_map_apply_domain | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 8598 of file isl_map.c.
References isl_map_align_params_bin(), isl_map_apply_range(), isl_map_free(), isl_map_reverse(), map1, and map2.
Referenced by after_in_subtree(), isl::map::apply_domain(), construct_shifted_executed(), first_offset(), has_bounded_distances(), is_condition_false(), is_violated(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), pw_multi_aff_from_map_div(), and restricted_partial_lexmax().
| __isl_export __isl_give isl_map * isl_map_apply_range | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 8612 of file isl_map.c.
References isl_basic_map_apply_range(), isl_basic_map_copy(), ISL_F_SET, isl_map_add_basic_map(), isl_map_align_params_bin(), isl_map_alloc_space(), ISL_MAP_DISJOINT, isl_map_free(), isl_space_copy(), isl_space_join(), map1, map2, and result.
Referenced by all_later_sources(), all_sources(), isl::map::apply_range(), apply_range_entry(), can_be_split_off(), check_exactness(), check_exactness_omega(), check_power_exactness(), compose(), compute_incremental(), compute_mem_based_dependences(), construct_extended_path(), construct_power_components(), floyd_warshall_iterate(), has_bounded_distances(), is_condition_false(), is_violated(), isl_map_apply_domain(), isl_map_from_domain_and_range(), isl_map_is_single_valued(), isl_map_is_transitively_closed(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), isolate_final(), last_later_source(), last_source(), specializer(), and transitive_closure_omega().
| __isl_export __isl_give isl_set * isl_map_bind_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Definition at line 12768 of file isl_map.c.
References isl_map_get_space(), isl_map_reset_space(), isl_space_bind_map_domain(), map, map_equate_params(), set, set_from_map(), and tuple.
Referenced by isl::map::bind_domain(), isl_map_bind_range(), and test_bind_map_domain().
| __isl_export __isl_give isl_set * isl_map_bind_range | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Definition at line 12789 of file isl_map.c.
References isl_map_bind_domain(), isl_map_reverse(), map, and tuple.
Referenced by bind_range(), and isl::map::bind_range().
| isl_bool isl_map_can_curry | ( | __isl_keep isl_map * | map | ) |
Definition at line 13151 of file isl_map.c.
References isl_bool_error, isl_space_can_curry(), and map.
Referenced by isl::map::can_curry(), isl_map_curry(), and isl_union_map_curry().
| isl_bool isl_map_can_range_curry | ( | __isl_keep isl_map * | map | ) |
Definition at line 13197 of file isl_map.c.
References isl_bool_error, isl_space_can_range_curry(), and map.
Referenced by isl_map_range_curry(), and isl_union_map_range_curry().
| isl_bool isl_map_can_uncurry | ( | __isl_keep isl_map * | map | ) |
Definition at line 13229 of file isl_map.c.
References isl_bool_error, isl_space_can_uncurry(), and map.
Referenced by isl_map_uncurry(), and isl_union_map_uncurry().
| isl_bool isl_map_can_zip | ( | __isl_keep isl_map * | map | ) |
Definition at line 13075 of file isl_map.c.
References isl_bool_error, isl_space_can_zip(), and map.
Referenced by extract_edge(), isl_map_zip(), and isl_union_map_zip().
| __isl_export __isl_give isl_map * isl_map_coalesce | ( | __isl_take isl_map * | map | ) |
Definition at line 4191 of file isl_coalesce.c.
References isl_coalesce_info::bmap, clear_coalesce_info(), coalesce(), coalesce_info_set_hull_hash(), drop(), isl_tab::empty, isl_basic_map_copy(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_NO_REDUNDANT, isl_basic_map_reduce_coefficients(), isl_calloc_array, ISL_F_ISSET, isl_map_cow(), isl_map_free(), isl_map_get_ctx(), isl_map_remove_empty_parts(), isl_map_sort_divs(), isl_tab_detect_implicit_equalities(), isl_tab_detect_redundant(), isl_tab_from_basic_map(), isl_tab_make_equalities_explicit(), map, n, isl_coalesce_info::tab, and update_basic_maps().
Referenced by isl::map::coalesce(), compose(), construct_extended_path(), floyd_warshall_iterate(), generate_domain(), isl_ast_build_get_separation_class(), isl_map_power(), isl_map_reaching_path_lengths(), isl_map_transitive_closure(), isl_set_coalesce(), isl_union_map_coalesce(), main(), and test_coalesce_special().
| __isl_export __isl_give isl_map * isl_map_complement | ( | __isl_take isl_map * | map | ) |
Definition at line 929 of file isl_map_subtract.c.
References isl_map_get_space(), isl_map_subtract(), isl_map_universe(), map, and universe().
Referenced by isl::map::complement(), and isl_set_complement().
| __isl_give isl_map * isl_map_compute_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 8086 of file isl_map.c.
References isl_basic_map_compute_divs(), isl_basic_map_copy(), ISL_F_ISSET, ISL_MAP_DISJOINT, isl_map_divs_known(), isl_map_free(), isl_map_union(), isl_map_union_disjoint(), map, and res.
Referenced by collect_basic_maps(), compose(), incremental_closure(), incremental_on_entire_domain(), isl_map_align_divs_internal(), isl_map_align_divs_to_basic_map_list(), isl_map_contains_point(), isl_map_gist(), isl_map_gist_basic_map(), isl_map_make_disjoint(), isl_map_power(), isl_map_reaching_path_lengths(), isl_map_subtract(), isl_map_transitive_closure(), isl_set_compute_divs(), isl_union_map_compute_divs(), main(), map_is_subset(), and polly::simplify().
| __isl_give isl_basic_map * isl_map_convex_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 1930 of file isl_convex_hull.c.
References affine_hull(), ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_copy(), isl_basic_map_free(), ISL_BASIC_MAP_NO_IMPLICIT, isl_basic_map_overlying_set(), ISL_BASIC_MAP_RATIONAL, isl_basic_set_free(), ISL_F_CLR, ISL_F_SET, isl_map_align_divs_internal(), isl_map_detect_equalities(), isl_map_underlying_set(), isl_set_affine_hull(), isl_set_copy(), isl_set_free(), map, modulo_affine_hull(), replace_map_by_empty_basic_map(), set, and uset_convex_hull().
Referenced by isl_map_polyhedral_hull(), and isl_set_convex_hull().
| __isl_give isl_map * isl_map_copy | ( | __isl_keep isl_map * | map | ) |
Definition at line 1494 of file isl_map.c.
References map.
Referenced by add_domain(), add_inter(), add_inter_proximity_constraints(), add_inter_validity_constraints(), add_intra(), add_intra_proximity_constraints(), add_intra_validity_constraints(), add_length(), add_matching_sources(), after_in_subtree(), align_entry(), all_intermediate_sources(), all_later_sources(), all_sources(), apply_range_entry(), at_each_domain(), basic_map_diff_is_empty(), basic_map_partial_lexopt_base(), bin_add_map(), bin_add_pair(), box_closure(), box_closure_on_domain(), box_closure_with_check(), polly::Dependences::calculateDependences(), call_on_copy(), can_be_split_off(), check_exactness(), check_exactness_omega(), check_power_exactness(), collect_edge_constraints(), collectInfo(), compose(), compute_class_domains(), compute_domains(), compute_flow(), compute_incremental(), compute_mem_based_dependences(), compute_single_flow(), compute_size(), compute_val_based_dependences(), compute_weights(), construct_component(), construct_component_executed(), construct_extended_path(), construct_power_components(), construct_shifted_executed(), isl::map::copy(), copy_edges(), copy_map(), copy_nodes(), coscheduled_source(), count_constraints(), count_map_constraints(), domain_product_entry(), extract_domain(), extract_edge(), first_offset(), flat_domain_product_entry(), flat_range_product_entry(), floyd_warshall_iterate(), generate_domain(), generate_non_single_valued(), generate_shifted_component_tree(), polly::Dependences::getReductionDependences(), gist_params_entry(), handle_coscheduled(), has_bounded_distances(), has_singular_src_or_dst(), has_spurious_elements(), importAccesses(), incremental_on_entire_domain(), inter_coefficients(), intermediate_sources(), intersect_domains(), intersect_params_entry(), intra_coefficients(), is_violated(), isl_access_info_compute_flow(), isl_flow_alloc(), isl_flow_foreach(), isl_map_align_params_map_map_and_test(), isl_map_contains_point(), isl_map_get_hash(), isl_map_get_range_simple_fixed_box_hull(), isl_map_get_range_stride_info(), isl_map_gist(), isl_map_is_injective(), isl_map_is_single_valued(), isl_map_is_transitively_closed(), isl_map_is_translation(), isl_map_make_disjoint(), isl_map_plain_is_equal(), isl_map_plain_is_injective(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_subtract(), isl_multi_pw_aff_lex_map_on_space(), isl_obj_map_copy(), isl_pw_multi_aff_from_map(), isl_union_map_add_map(), isl_union_map_extract_map(), last_later_source(), last_source(), map_intersect_domains(), map_is_subset(), map_lex_le_entry(), map_lex_lt_entry(), map_simple_hull(), match_bin_entry(), node_extract_schedule(), obj_read_disjuncts(), options_insert_dim(), preimage_entry(), preimage_mpa_entry(), print_disjuncts(), print_disjuncts_in_hull(), product_entry(), pw_multi_aff_from_map_check_div(), pw_qpolynomial_fold_apply(), q_closure(), range_product_entry(), read_conjunct(), read_conjuncts(), read_disjuncts(), read_formula(), resolve_paren_expr(), restricted_partial_lexmax(), sample_entry(), separates(), set_dim_extent(), test_gist_empty_pair(), test_map_conversion(), test_multi_pw_aff_box(), transitive_closure_omega(), un_entry(), update_edge(), and update_piecewise_affine_colon().
| __isl_export __isl_give isl_map * isl_map_curry | ( | __isl_take isl_map * | map | ) |
Definition at line 13187 of file isl_map.c.
References isl_map_can_curry(), isl_map_change_space(), isl_space_curry(), and map.
Referenced by isl::map::curry(), and isl_union_map_curry().
| __isl_export __isl_give isl_set * isl_map_deltas | ( | __isl_take isl_map * | map | ) |
Definition at line 8777 of file isl_map.c.
References isl_basic_map_copy(), isl_basic_map_deltas(), isl_map_check_transformation(), isl_map_free(), isl_map_get_space(), isl_set_add_basic_set(), isl_set_alloc_space(), isl_space_domain(), map, and result.
Referenced by box_closure_on_domain(), check_exactness_omega(), compute_size(), isl::map::deltas(), generate_component(), has_bounded_distances(), intra_coefficients(), is_acyclic(), isl_map_is_translation(), isl_union_map_deltas(), and polly::Dependences::isParallel().
| __isl_give isl_map * isl_map_deltas_map | ( | __isl_take isl_map * | map | ) |
Definition at line 8852 of file isl_map.c.
References isl_basic_map_deltas_map(), isl_map_check_transformation(), isl_map_free(), isl_map_transform(), isl_space_range_map(), and map.
Referenced by isl_set_translation(), isl_union_map_deltas_map(), and test_deltas_map().
| __isl_export __isl_give isl_map * isl_map_detect_equalities | ( | __isl_take isl_map * | map | ) |
Definition at line 957 of file isl_affine_hull.c.
References isl_basic_map_detect_equalities(), isl_map_inline_foreach_basic_map(), and map.
Referenced by isl::map::detect_equalities(), isl_map_affine_hull(), isl_map_convex_hull(), isl_map_get_range_simple_fixed_box_hull(), isl_pw_multi_aff_from_map(), isl_set_detect_equalities(), isl_union_map_detect_equalities(), and map_simple_hull().
| isl_size isl_map_dim | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 110 of file isl_map.c.
References isl_map_peek_space(), isl_space_dim(), map, and type.
Referenced by all_intermediate_sources(), check_exactness(), check_map_space_equal_total_dim(), compute_val_based_dependences(), construct_extended_path(), isl::map::dim(), explicit_bounds(), FN(), has_spurious_elements(), importAccesses(), incremental_closure(), incremental_on_entire_domain(), intermediate_sources(), isl_map_add_dims(), isl_map_apply_pw_qpolynomial_fold(), isl_map_domain(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_domain_tuple_dim(), isl_map_drop_unused_params(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_get_range_lattice_tile(), isl_map_get_range_simple_fixed_box_hull(), isl_map_get_range_stride_info(), isl_map_oppose(), isl_map_params(), isl_map_power(), isl_map_preimage_multi_pw_aff(), isl_map_project_onto(), isl_map_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_range_tuple_dim(), isl_map_reaching_path_lengths(), isl_map_solve_lp(), isl_set_dim(), polly::Dependences::isParallel(), map_dim_opt(), map_intersect_internal(), pw_multi_aff_from_map_check_div(), read_var_def(), set_dim_extent(), set_range_dim(), split_domain(), and tag().
| __isl_give isl_pw_aff * isl_map_dim_max | ( | __isl_take isl_map * | map, |
| int | pos | ||
| ) |
Definition at line 7493 of file isl_map.c.
References map, map_dim_opt(), and pos().
Referenced by isl::map::dim_max(), and isl_map_max_multi_pw_aff().
| __isl_give isl_pw_aff * isl_map_dim_min | ( | __isl_take isl_map * | map, |
| int | pos | ||
| ) |
Definition at line 7484 of file isl_map.c.
References map, map_dim_opt(), and pos().
Referenced by isl::map::dim_min(), and isl_map_min_multi_pw_aff().
| __isl_export __isl_give isl_set * isl_map_domain | ( | __isl_take isl_map * | bmap | ) |
Definition at line 8129 of file isl_map.c.
References isl_dim_out, isl_map_dim(), isl_map_free(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_domain(), map, and set_from_map().
Referenced by add_domain(), box_closure(), polly::Dependences::calculateDependences(), can_be_split_off(), compute_class_domains(), compute_mem_based_dependences(), compute_val_based_dependences(), construct_component(), coscheduled_source(), polly::IslNodeBuilder::createNewAccesses(), isl::map::domain(), explicit_bounds(), extract_domain(), extract_edge(), has_singular_src_or_dst(), has_spurious_elements(), implicit_bounds(), importAccesses(), incremental_on_entire_domain(), isl_ast_build_get_option_domain(), isl_ast_graft_unembed(), isl_pw_multi_aff_from_map(), isl_set_translation(), isl_union_map_domain(), map_from_tuple(), obj_read_body(), read_conditional_multi_pw_aff(), read_exists(), read_var_def(), split(), and update_piecewise_affine_colon().
| __isl_export __isl_give isl_map * isl_map_domain_factor_domain | ( | __isl_take isl_map * | map | ) |
Definition at line 11056 of file isl_map.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_dim(), isl_space_domain_factor_domain(), isl_space_domain_is_wrapping(), map, and total().
Referenced by isl::map::domain_factor_domain(), handle_coscheduled(), and isl_union_map_domain_factor_domain().
| __isl_export __isl_give isl_map * isl_map_domain_factor_range | ( | __isl_take isl_map * | map | ) |
Definition at line 11081 of file isl_map.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_dim(), isl_space_domain_factor_range(), isl_space_domain_is_wrapping(), map, and total().
Referenced by compute_single_flow(), isl::map::domain_factor_range(), handle_coscheduled(), and isl_union_map_domain_factor_range().
| isl_bool isl_map_domain_is_wrapping | ( | __isl_keep isl_map * | map | ) |
Definition at line 12173 of file isl_map.c.
References isl_bool_error, isl_space_domain_is_wrapping(), and map.
Referenced by isl_union_map_domain_factor_domain(), isl_union_map_domain_factor_range(), isl_union_map_intersect_domain_factor_domain(), isl_union_map_intersect_domain_factor_range(), and isl_union_map_intersect_domain_wrapped_domain_union_set().
| __isl_give isl_map * isl_map_domain_map | ( | __isl_take isl_map * | map | ) |
Definition at line 6152 of file isl_map.c.
References isl_basic_map_domain_map(), isl_map_transform(), isl_space_domain_map(), and map.
Referenced by isl::map::domain_map(), isl_access_info_compute_flow(), isl_set_wrapped_domain_map(), and isl_union_map_domain_map().
| __isl_export __isl_give isl_map * isl_map_domain_product | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 10978 of file isl_map.c.
References isl_basic_map_domain_product(), isl_map_align_params_bin(), isl_space_domain_product(), map1, map2, and map_product.
Referenced by coscheduled_source(), isl::map::domain_product(), domain_product_entry(), generate_non_single_valued(), isl_map_flat_domain_product(), isl_map_intersect_domain_factor_domain(), and isl_map_reverse_domain_product().
| __isl_export isl_size isl_map_domain_tuple_dim | ( | __isl_keep isl_map * | map | ) |
Definition at line 117 of file isl_map.c.
References isl_dim_in, isl_map_dim(), and map.
Referenced by isl::map::domain_tuple_dim().
| __isl_give isl_map * isl_map_drop_constraints_involving_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3185 of file isl_map.c.
References drop_constraints(), isl_basic_map_drop_constraints_involving_dims(), map, n, and type.
Referenced by explicit_bounds(), and isl_set_drop_constraints_involving_dims().
| __isl_give isl_map * isl_map_drop_constraints_not_involving_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3198 of file isl_map.c.
References drop_constraints(), isl_basic_map_drop_constraints_not_involving_dims(), isl_map_free(), isl_map_get_space(), isl_map_universe(), map, n, and type.
Referenced by isl_set_drop_constraints_not_involving_dims().
| __isl_give isl_map * isl_map_drop_unused_params | ( | __isl_take isl_map * | map | ) |
Definition at line 12599 of file isl_map.c.
References isl_dim_param, isl_map_check_named_params(), isl_map_dim(), isl_map_free(), isl_map_involves_dims(), isl_map_project_out(), map, and n.
Referenced by isl_set_drop_unused_params().
| void isl_map_dump | ( | __isl_keep isl_map * | map | ) |
| __isl_give isl_map * isl_map_eliminate | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2526 of file isl_map.c.
References isl_basic_map_eliminate(), isl_map_cow(), isl_map_free(), map, n, and type.
Referenced by construct_shifted_executed(), isl_ast_build_map_to_iterator(), and test_eliminate().
| __isl_export __isl_give isl_map * isl_map_empty | ( | __isl_take isl_space * | space | ) |
Definition at line 6338 of file isl_map.c.
References isl_map_alloc_space(), and ISL_MAP_DISJOINT.
Referenced by basic_map_subtract(), compose(), compute_val_based_dependences(), construct_power_components(), isl::map::empty(), floyd_warshall_with_groups(), handle_coscheduled(), isl_flow_alloc(), isl_map_from_pw_aff_internal(), isl_map_from_pw_multi_aff_internal(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_subtract(), isl_multi_pw_aff_lex_map_on_space(), isl_union_map_extract_map(), read_conjunct(), replace_pair_by_empty(), restricted_partial_lexmax(), split_domain(), test_dep(), and union_floyd_warshall_on_list().
| __isl_overload __isl_give isl_map * isl_map_eq_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 7512 of file isl_aff.c.
References isl_map_order_at_multi_pw_aff(), isl_multi_pw_aff_eq_map(), and map.
Referenced by isl::map::eq_at().
| __isl_give isl_map * isl_map_equate | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13327 of file isl_map.c.
References equator(), isl_map_from_basic_map(), isl_map_get_space(), isl_map_intersect(), and map.
Referenced by isl::map::equate(), generate_component(), generate_shifted_component_tree(), isl_ast_build_map_to_iterator(), isl_set_equate(), isl_set_project_onto_map(), polly::Dependences::isParallel(), map_equate_params(), pw_multi_aff_from_map_div(), read_var_def(), and test_slice().
| __isl_export __isl_give isl_map * isl_map_factor_domain | ( | __isl_take isl_map * | map | ) |
Definition at line 10998 of file isl_map.c.
References isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_dim(), isl_space_domain_is_wrapping(), isl_space_factor_domain(), isl_space_range_is_wrapping(), and map.
Referenced by isl::map::factor_domain(), and isl_union_map_factor_domain().
| __isl_export __isl_give isl_map * isl_map_factor_range | ( | __isl_take isl_map * | map | ) |
Definition at line 11027 of file isl_map.c.
References isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_dim(), isl_space_domain_is_wrapping(), isl_space_factor_range(), isl_space_range_is_wrapping(), and map.
Referenced by compute_single_flow(), isl::map::factor_range(), and isl_union_map_factor_range().
| int isl_map_find_dim_by_id | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| __isl_keep isl_id * | id | ||
| ) |
Definition at line 1027 of file isl_map.c.
References isl_space_find_dim_by_id(), map, and type.
Referenced by isl_set_find_dim_by_id(), and map_equate_params().
| int isl_map_find_dim_by_name | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 1053 of file isl_map.c.
References isl_space_find_dim_by_name(), map, name, and type.
Referenced by isl_set_find_dim_by_name().
| __isl_give isl_map * isl_map_fix_input_si | ( | __isl_take isl_map * | map, |
| unsigned | input, | ||
| int | value | ||
| ) |
Definition at line 6708 of file isl_map.c.
References isl_dim_in, isl_map_fix_si(), and map.
| __isl_give isl_map * isl_map_fix_si | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
Definition at line 6616 of file isl_map.c.
References isl_basic_map_fix_si(), isl_map_cow(), isl_map_free(), isl_map_unmark_normalized(), map, pos(), remove_if_empty(), and type.
Referenced by isl::map::fix_si(), isl_ast_build_get_option_domain(), isl_ast_build_get_separation_class(), isl_map_fix_input_si(), isl_set_fix_dim_si(), and isl_set_fix_si().
| __isl_give isl_map * isl_map_fix_val | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 6669 of file isl_map.c.
References isl_basic_map_fix_val(), isl_die, isl_error_invalid, isl_map_cow(), isl_map_free(), isl_map_get_ctx(), isl_map_unmark_normalized(), isl_val_copy(), isl_val_free(), isl_val_is_int(), map, pos(), remove_if_empty(), and type.
Referenced by construct_shifted_executed(), and isl_set_fix_val().
| __isl_overload __isl_give isl_map * isl_map_fixed_power_val | ( | __isl_take isl_map * | map, |
| __isl_take isl_val * | exp | ||
| ) |
| __isl_give isl_map * isl_map_flat_domain_product | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 11156 of file isl_map.c.
References isl_map_domain_product(), isl_map_flatten_domain(), map1, and map2.
Referenced by flat_domain_product_entry().
| __isl_give isl_map * isl_map_flat_product | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 10952 of file isl_map.c.
References isl_map_flatten(), isl_map_product(), map1, and map2.
| __isl_give isl_map * isl_map_flat_range_product | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 11168 of file isl_map.c.
References isl_map_flatten_range(), isl_map_range_product(), map1, and map2.
Referenced by isl::map::flat_range_product(), flat_range_product_entry(), isl_set_flat_product(), and map_from_multi_pw_aff().
| __isl_export __isl_give isl_map * isl_map_flatten | ( | __isl_take isl_map * | map | ) |
Definition at line 12339 of file isl_map.c.
References isl_map_change_space(), isl_space_flatten(), and map.
Referenced by isl::map::flatten(), isl_map_flat_product(), and isl_set_flatten().
| __isl_export __isl_give isl_map * isl_map_flatten_domain | ( | __isl_take isl_map * | map | ) |
Definition at line 12371 of file isl_map.c.
References isl_map_change_space(), isl_space_flatten_domain(), and map.
Referenced by isl::map::flatten_domain(), isl_map_flat_domain_product(), and isolate_final().
| __isl_export __isl_give isl_map * isl_map_flatten_range | ( | __isl_take isl_map * | map | ) |
Definition at line 12384 of file isl_map.c.
References isl_map_change_space(), isl_space_flatten_range(), and map.
Referenced by isl::map::flatten_range(), and isl_map_flat_range_product().
| __isl_give isl_map * isl_map_floordiv_val | ( | __isl_take isl_map * | map, |
| __isl_take isl_val * | d | ||
| ) |
Definition at line 5082 of file isl_map.c.
References isl_die, isl_error_invalid, isl_map_floordiv(), isl_map_free(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), and map.
Referenced by isl::map::floordiv_val().
| __isl_export isl_stat isl_map_foreach_basic_map | ( | __isl_keep isl_map * | map, |
| isl_stat(*)(__isl_take isl_basic_map *bmap, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 11262 of file isl_map.c.
References fn, isl_basic_map_copy(), isl_stat_error, isl_stat_ok, map, and user.
Referenced by isl::map::foreach_basic_map(), and map_check_scaled().
| __isl_null isl_map * isl_map_free | ( | __isl_take isl_map * | map | ) |
Definition at line 6421 of file isl_map.c.
References clear_caches(), isl_basic_map_free(), isl_ctx_deref(), isl_space_free(), and map.
Referenced by accept_extended_affine(), accept_ternary(), add_domain(), add_hash(), add_length(), add_n_basic_map(), all_intermediate_sources(), apply_range_entry(), basic_map_collect_diff(), basic_map_follows(), basic_map_subtract(), bin_add_pair(), box_closure_on_domain(), box_closure_with_check(), cached_simple_hull(), can_be_split_off(), check_exactness(), check_exactness_omega(), check_injective(), check_power_exactness(), clear_node(), collect_basic_map(), collect_basic_maps(), collect_matching_array(), compose(), compute_domains(), compute_flow(), compute_incremental(), compute_val_based_dependences(), construct_component(), construct_extended_path(), construct_power_components(), construct_shifted_executed(), count_map_constraints(), count_matching_array(), drop_constraints(), explicit_bounds(), extract_edge(), first_offset(), fixed_box_as_map(), floyd_warshall_with_groups(), FN(), free_split(), free_umap_entry(), generate_components(), generate_domain(), gist_params_entry(), handle_coscheduled(), has_bounded_distances(), has_spurious_elements(), importAccesses(), inc_count(), incremental_closure(), incremental_on_entire_domain(), inter_coefficients(), intermediate_sources(), intersect_params_entry(), intra_coefficients(), is_condition_false(), is_isolate_loop_type_option(), is_subset_of_identity(), is_violated(), isl_access_info_add_source(), isl_access_info_alloc(), isl_access_info_free(), isl_ast_build_compute_gist_map_domain(), isl_ast_build_map_to_iterator(), isl_basic_map_is_subset(), isl_compute_flow_schedule_data_clear(), isl_flow_free(), isl_map_add_basic_map(), isl_map_add_dims(), isl_map_align_divs_internal(), isl_map_align_divs_to_basic_map_list(), isl_map_align_params(), isl_map_align_params_map_map_and_test(), isl_map_apply_domain(), isl_map_apply_pw_qpolynomial_fold(), isl_map_apply_range(), isl_map_change_space(), isl_map_coalesce(), isl_map_compute_divs(), isl_map_contains_point(), isl_map_deltas(), isl_map_deltas_map(), isl_map_domain(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_drop(), isl_map_drop_constraints_involving_unknown_divs(), isl_map_drop_constraints_not_involving_dims(), isl_map_drop_unused_params(), isl_map_eliminate(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_fix(), isl_map_fix_si(), isl_map_fix_val(), isl_map_floordiv(), isl_map_floordiv_val(), isl_map_from_pw_multi_aff_internal(), isl_map_get_hash(), isl_map_get_range_simple_fixed_box_hull(), isl_map_gist(), isl_map_gist_basic_map(), isl_map_grow(), isl_map_inline_foreach_basic_map(), isl_map_insert_dims(), isl_map_intersect_domain(), isl_map_intersect_factor(), isl_map_intersect_range(), isl_map_is_identity(), isl_map_is_injective(), isl_map_is_single_valued(), isl_map_is_transitively_closed(), isl_map_local_affine_hull(), isl_map_lower_bound_val(), isl_map_make_disjoint(), isl_map_move_dims(), isl_map_neg(), isl_map_normalize(), isl_map_oppose(), isl_map_order_divs(), isl_map_params(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_plain_gist_basic_map(), isl_map_plain_is_equal(), isl_map_plain_is_injective(), isl_map_plain_unshifted_simple_hull(), isl_map_power(), isl_map_preimage_multi_aff(), isl_map_preimage_multi_pw_aff(), isl_map_preimage_pw_multi_aff(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_project_onto(), isl_map_project_out(), isl_map_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_reaching_path_lengths(), isl_map_realign(), isl_map_remove_dims(), isl_map_remove_divs(), isl_map_remove_divs_involving_dims(), isl_map_remove_obvious_duplicates(), isl_map_remove_unknown_divs(), isl_map_reset(), isl_map_reset_equal_dim_space(), isl_map_reset_space(), isl_map_restore_space(), isl_map_sample(), isl_map_set_dim_name(), isl_map_set_rational(), isl_map_set_tuple_name(), isl_map_subtract(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_map_sum(), isl_map_transform(), isl_map_transitive_closure(), isl_map_underlying_set(), isl_map_union(), isl_map_unshifted_simple_hull_from_map_list(), isl_map_upper_bound_val(), isl_map_zip(), isl_multi_pw_aff_lex_map_on_space(), isl_obj_map_free(), isl_pw_aff_is_equal(), isl_pw_multi_aff_from_map(), isl_pw_multi_aff_is_equal(), isl_restriction_alloc(), isl_sched_graph_free(), isl_set_apply(), isl_set_free(), isl_stream_read_basic_map(), isl_token_free(), isl_union_map_add_map(), main(), map_apply(), map_bound(), map_bound_si(), map_check_scaled(), map_dim_opt(), map_equate_params(), map_from_tuple(), map_intersect(), map_intersect_add_constraint(), map_intersect_internal(), map_intersect_set(), map_is_equal(), map_is_identity(), map_is_subset(), map_plain_is_not_identity(), map_power(), map_preimage_multi_aff(), map_product(), map_simple_hull(), map_simple_hull_trivial(), map_union_disjoint(), map_unshifted_simple_hull_from_basic_map_list(), match_bin_entry(), merge_edge(), obj_read(), obj_read_body(), preimage_entry(), preimage_mpa_entry(), print_disjuncts_in_hull(), print_latex_map_body(), pw_multi_aff_from_map_base(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), q_closure(), read_conjunct(), read_conjuncts(), read_defined_var_list(), read_disjuncts(), read_exists(), read_formula(), read_map_tuple(), read_optional_formula(), read_union_set_body(), read_var_def(), polly::Dependences::releaseMemory(), remove_if_empty(), replace_by_disjunct(), replace_by_universe(), replace_map_by_empty_basic_map(), replace_pair_by_empty(), replace_space_by_local_space(), reset_band(), resolve_paren_expr(), restricted_partial_lexmax(), set_path_length(), set_range_dim(), SF(), single_map_is_single_valued(), skip_edge(), sol_map_free(), split_domain(), test_align_parameters_2(), test_bijective(), test_closure(), test_coalesce_special(), test_deltas_map(), test_dep(), test_dim(), test_domain_hash(), test_eliminate(), test_gist(), test_gist_empty_pair(), test_lex(), test_lexmin(), test_map_conversion(), test_multi_pw_aff_box(), test_parse(), test_parse_map(), test_parse_map_equal(), test_partial_lexmin(), test_plain_fixed(), test_plain_gist(), test_slice(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), transform(), transitive_closure_omega(), un_entry(), union_floyd_warshall_on_list(), universe(), update_basic_maps(), update_edge(), update_piecewise_affine_colon(), update_schedule(), update_values(), and isl::map::~map().
| __isl_give isl_map * isl_map_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 118 of file isl_aff_map.c.
References aff, isl_basic_map_from_aff(), and isl_map_from_basic_map().
Referenced by isl::map::from_aff().
| __isl_constructor __isl_give isl_map * isl_map_from_basic_map | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 3495 of file isl_map.c.
References isl_map_add_basic_map(), isl_map_alloc_space(), ISL_MAP_DISJOINT, isl_space_copy(), and map.
Referenced by after_at_level(), basic_map_follows(), basic_map_subtract_add(), box_closure_on_domain(), can_be_split_off(), compose(), compute_divs(), compute_incremental(), coscheduled_source(), deltas_map(), equate_parameter_to_length(), floyd_warshall_with_groups(), get_expanded_n_div(), increment(), isl_basic_map_compute_divs(), isl_basic_map_is_subset(), isl_map_add_constraint(), isl_map_affine_hull_map(), isl_map_equate(), isl_map_from_aff(), isl_map_from_multi_aff_internal(), isl_map_from_pw_aff_internal(), isl_map_from_pw_multi_aff_internal(), isl_map_identity(), isl_map_make_disjoint(), isl_map_nat_universe(), isl_map_oppose(), isl_map_order_gt(), isl_map_polyhedral_hull_map(), isl_map_simple_hull_map(), isl_set_from_basic_set(), isl_union_map_from_basic_map(), isl::map::map(), map_read_polylib(), path_along_delta(), path_along_steps(), q_closure(), replace_by_disjunct(), set_path_length(), split_aff(), split_domain(), test_lexmin(), union_components(), and union_floyd_warshall_on_list().
| __isl_give isl_map * isl_map_from_domain | ( | __isl_take isl_set * | set | ) |
Definition at line 6217 of file isl_map.c.
References isl_map_from_range(), isl_map_reverse(), and set.
Referenced by isl::map::from_domain(), isl_ast_build_map_to_iterator(), isl_set_project_onto_map(), map_from_tuple(), read_exists(), and split().
| __isl_give isl_map * isl_map_from_domain_and_range | ( | __isl_take isl_set * | domain, |
| __isl_take isl_set * | range | ||
| ) |
Definition at line 6228 of file isl_map.c.
References domain, isl_map_apply_range(), isl_map_reverse(), and range.
Referenced by all_intermediate_sources(), box_closure_on_domain(), polly::Dependences::calculateDependences(), construct_component(), extract_hull(), isl::map::from_domain_and_range(), generate_component(), insert_dummy_tags(), map_from_tuple(), and q_closure().
| __isl_give isl_map * isl_map_from_multi_aff | ( | __isl_take isl_multi_aff * | maff | ) |
Definition at line 224 of file isl_aff_map.c.
References check_input_is_map(), isl_map_from_multi_aff_internal(), and ma.
Referenced by collect_cluster_map(), create_node(), extract_node_transformation(), final_row(), isl::map::from_multi_aff(), isl_ast_build_get_schedule_map(), isl_multi_aff_as_map(), isolate_final(), and node_extract_schedule().
| __isl_give isl_map * isl_map_from_range | ( | __isl_take isl_set * | set | ) |
Definition at line 6204 of file isl_map.c.
References isl_set_get_space(), isl_set_reset_space(), isl_space_from_range(), set, and set_to_map.
Referenced by fixed_box_as_map(), isl::map::from_range(), isl_map_from_domain(), isl_map_power(), isl_set_insert_domain(), isl_stream_read_map(), isl_union_map_from_range(), map_from_tuple(), and set_bound_multi_pw_aff().
| __isl_give isl_basic_map_list * isl_map_get_basic_map_list | ( | __isl_keep isl_map * | map | ) |
Definition at line 10577 of file isl_map.c.
References isl_basic_map::ctx, isl_basic_map_copy(), isl_map_get_ctx(), and map.
Referenced by isl::map::basic_map_list(), and collect_basic_maps().
| isl_ctx * isl_map_get_ctx | ( | __isl_keep isl_map * | map | ) |
Definition at line 391 of file isl_map.c.
References map.
Referenced by add_inter_proximity_constraints(), add_inter_validity_constraints(), add_intra_proximity_constraints(), add_intra_validity_constraints(), check_convex_no_locals(), check_map_compatible_range_multi_aff(), check_map_space_equal_total_dim(), compute_flow(), compute_val_based_dependences(), isl::map::ctx(), extract_edge(), graph_remove_edge(), insert_dummy_tags(), intra_coefficients(), isl_access_info_add_source(), isl_access_info_alloc(), isl_access_info_get_ctx(), isl_flow_alloc(), isl_map_apply_pw_qpolynomial_fold(), isl_map_change_space(), isl_map_check_transformation(), isl_map_coalesce(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_fix_val(), isl_map_get_basic_map_list(), isl_map_gist(), isl_map_is_rational(), isl_map_lower_bound_val(), isl_map_plain_get_val_if_fixed(), isl_map_plain_gist_basic_map(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_upper_bound_val(), isl_restriction_alloc(), map_check_equal(), map_is_singleton_subset(), map_product(), pw_multi_aff_from_map_base(), pw_multi_aff_from_map_div(), sched_info_alloc(), set_dim_extent(), and split_aff().
| __isl_give isl_id * isl_map_get_dim_id | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 991 of file isl_map.c.
References isl_space_get_dim_id(), map, pos(), and type.
Referenced by importAccesses(), and isl_set_get_dim_id().
| const char * isl_map_get_dim_name | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
| __isl_export __isl_give isl_id * isl_map_get_domain_tuple_id | ( | __isl_keep isl_map * | map | ) |
Definition at line 832 of file isl_map.c.
References isl_dim_in, isl_map_get_tuple_id(), and map.
Referenced by isl::map::domain_tuple_id().
| uint32_t isl_map_get_hash | ( | __isl_keep isl_map * | map | ) |
Definition at line 11221 of file isl_map.c.
References isl_basic_map_get_hash(), isl_hash_hash, isl_hash_init, isl_map_copy(), isl_map_free(), isl_map_normalize(), and map.
Referenced by access_sort_cmp(), add_hash(), and isl_set_get_hash().
| __isl_export __isl_give isl_fixed_box * isl_map_get_range_lattice_tile | ( | __isl_keep isl_map * | map | ) |
Definition at line 454 of file isl_box.c.
References isl_aff_free(), isl_dim_out, isl_fixed_box_init(), isl_fixed_box_set_valid_extent(), isl_map_dim(), isl_map_get_range_stride_info(), isl_map_get_space(), isl_stride_info_free(), isl_stride_info_get_offset(), isl_stride_info_get_stride(), isl_val_free(), map, n, and offset.
Referenced by isl_set_get_lattice_tile(), and isl::map::range_lattice_tile().
| __isl_export __isl_give isl_fixed_box * isl_map_get_range_simple_fixed_box_hull | ( | __isl_keep isl_map * | map | ) |
Definition at line 384 of file isl_box.c.
References isl_dim_out, isl_fixed_box_init(), isl_fixed_box_is_valid(), isl_map_copy(), isl_map_detect_equalities(), isl_map_dim(), isl_map_free(), isl_map_get_space(), map, n, and set_dim_extent().
Referenced by isl_set_get_simple_fixed_box_hull(), and isl::map::range_simple_fixed_box_hull().
| __isl_give isl_stride_info * isl_map_get_range_stride_info | ( | __isl_keep isl_map * | map, |
| int | pos | ||
| ) |
Definition at line 368 of file isl_stride.c.
References isl_aff_domain_factor_domain(), isl_dim_in, isl_dim_out, isl_map_copy(), isl_map_dim(), isl_map_project_onto(), isl_map_wrap(), isl_set_free(), isl_set_get_stride_info(), isl_stride_info_free(), map, isl_stride_info::offset, pos(), and set.
Referenced by isl_map_get_range_lattice_tile().
| __isl_export __isl_give isl_id * isl_map_get_range_tuple_id | ( | __isl_keep isl_map * | map | ) |
Definition at line 839 of file isl_map.c.
References isl_dim_out, isl_map_get_tuple_id(), and map.
Referenced by isl::map::range_tuple_id().
| __isl_export __isl_give isl_space * isl_map_get_space | ( | __isl_keep isl_map * | map | ) |
Definition at line 598 of file isl_map.c.
References isl_map_peek_space(), isl_space_copy(), and map.
Referenced by accept_ternary(), add_length(), add_matching_sources(), align_entry(), all_intermediate_sources(), all_later_sources(), all_sources(), bin_try_get_match(), box_closure_on_domain(), check_exactness(), collect_edge_constraints(), collect_matching_array(), compose(), compute_flow(), compute_incremental(), compute_mem_based_dependences(), compute_val_based_dependences(), construct_power(), construct_power_components(), coscheduled_source(), count_matching_array(), domain_map_upma(), find_domain_node(), find_range_node(), floyd_warshall_with_groups(), handle_coscheduled(), insert_dummy_tags(), is_condition_false(), is_subset_of_identity(), isl_compute_flow_schedule_data_align_params(), isl_flow_alloc(), isl_map_align_params_map_map_and_test(), isl_map_apply_pw_qpolynomial_fold(), isl_map_bind_domain(), isl_map_change_space(), isl_map_complement(), isl_map_deltas(), isl_map_domain(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_drop_constraints_not_involving_dims(), isl_map_equate(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_get_range_lattice_tile(), isl_map_get_range_simple_fixed_box_hull(), isl_map_gist_basic_map(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_map_grow(), isl_map_intersect_domain(), isl_map_intersect_domain_wrapped_domain(), isl_map_intersect_factor(), isl_map_intersect_range(), isl_map_intersect_range_wrapped_domain(), isl_map_is_identity(), isl_map_is_single_valued(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), isl_map_oppose(), isl_map_order_ge(), isl_map_order_gt(), isl_map_params(), isl_map_power(), isl_map_preimage_multi_aff(), isl_map_preimage_pw_multi_aff(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_reaching_path_lengths(), isl_map_reset_tuple_id(), isl_map_reset_user(), isl_map_sample(), isl_map_set_dim_id(), isl_map_set_tuple_id(), isl_map_subtract(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_map_take_space(), isl_map_transitive_closure(), isl_stream_read_basic_map(), isl_union_map_add_map(), isl_union_map_from_map(), isolate_final(), last_later_source(), last_source(), map_bound_pw_aff(), map_dim_opt(), map_from_tuple(), map_preimage_multi_aff(), map_space_reset(), map_unshifted_simple_hull_from_basic_map_list(), obj_read_disjuncts(), options_insert_dim(), order_at(), pw_multi_aff_from_map_base(), pw_multi_aff_from_map_div(), pw_qpolynomial_fold_apply(), read_conjunct(), read_factor(), read_var_def(), replace_by_universe(), replace_map_by_empty_basic_map(), replace_pair_by_empty(), reset_params(), reset_range_space(), resolve_paren_expr(), restricted_partial_lexmax(), sched_info_alloc(), set_path_length(), SF(), isl::map::space(), split_domain(), tag(), test_align_parameters_2(), test_domain_hash(), test_multi_pw_aff_box(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), transitive_closure_omega(), union_floyd_warshall_on_list(), universe(), and update_piecewise_affine_colon().
| __isl_give isl_id * isl_map_get_tuple_id | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 824 of file isl_map.c.
References isl_space_get_tuple_id(), map, and type.
Referenced by importAccesses(), isl_map_get_domain_tuple_id(), isl_map_get_range_tuple_id(), isl_set_get_tuple_id(), and isl::map::tuple_id().
| const char * isl_map_get_tuple_name | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 741 of file isl_map.c.
References isl_space_get_tuple_name(), map, and type.
Referenced by is_isolate_loop_type_option().
| __isl_export __isl_give isl_map * isl_map_gist | ( | __isl_take isl_map * | map, |
| __isl_take isl_map * | context | ||
| ) |
Definition at line 3672 of file isl_map_simplify.c.
References context, equal, hull, isl_map_align_params_bin(), isl_map_compute_divs(), isl_map_copy(), isl_map_free(), isl_map_get_ctx(), isl_map_gist_basic_map(), isl_map_is_subset(), isl_map_n_basic_map(), isl_map_plain_is_equal(), isl_map_plain_is_universe(), isl_map_simple_hull(), isl_map_unshifted_simple_hull_from_map_list(), map, replace_by_universe(), and subset.
Referenced by isl::map::gist(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_set_gist(), isl_union_map_gist(), test_gist(), and test_gist_empty_pair().
| __isl_give isl_map * isl_map_gist_basic_map | ( | __isl_take isl_map * | map, |
| __isl_take isl_basic_map * | context | ||
| ) |
Definition at line 3334 of file isl_map_simplify.c.
References context, isl_basic_map_copy(), isl_basic_map_free(), isl_basic_map_gist(), isl_basic_map_plain_is_empty(), isl_basic_map_remove_redundancies(), ISL_F_CLR, isl_map_basic_map_check_equal_space(), isl_map_compute_divs(), isl_map_cow(), isl_map_free(), isl_map_get_space(), ISL_MAP_NORMALIZED, isl_map_universe(), and map.
Referenced by isl_map_gist(), and isl_set_gist_basic_set().
| __isl_export __isl_give isl_map * isl_map_gist_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 3775 of file isl_map_simplify.c.
References context, isl_map_get_space(), isl_map_gist(), isl_map_intersect_domain(), isl_map_universe(), and map.
Referenced by isl::map::gist_domain(), isl_ast_build_compute_gist_map_domain(), and union_map_gist_domain().
| __isl_export __isl_give isl_map * isl_map_gist_params | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 3791 of file isl_map_simplify.c.
References context, isl_map_get_space(), isl_map_gist(), isl_map_intersect_params(), isl_map_universe(), and map.
Referenced by isl::map::gist_params(), gist_params_entry(), and isl_set_gist_params().
| __isl_give isl_map * isl_map_gist_range | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 3783 of file isl_map_simplify.c.
References context, isl_map_get_space(), isl_map_gist(), isl_map_intersect_range(), isl_map_universe(), and map.
Referenced by isl_union_map_gist_range().
| isl_bool isl_map_has_dim_id | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 985 of file isl_map.c.
References isl_bool_error, isl_space_has_dim_id(), map, pos(), and type.
Referenced by isl_set_has_dim_id().
| isl_bool isl_map_has_dim_name | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 888 of file isl_map.c.
References isl_bool_error, isl_space_has_dim_name(), map, pos(), and type.
| __isl_export isl_bool isl_map_has_domain_tuple_id | ( | __isl_keep isl_map * | map | ) |
Definition at line 812 of file isl_map.c.
References isl_dim_in, isl_map_has_tuple_id(), and map.
Referenced by isl::map::has_domain_tuple_id().
| isl_bool isl_map_has_equal_space | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2 | ||
| ) |
Referenced by isl::map::has_equal_space(), isl_map_plain_is_equal(), isl_set_has_equal_space(), map_is_subset(), and obj_add().
| __isl_export isl_bool isl_map_has_range_tuple_id | ( | __isl_keep isl_map * | map | ) |
Definition at line 819 of file isl_map.c.
References isl_dim_out, isl_map_has_tuple_id(), and map.
Referenced by isl::map::has_range_tuple_id().
| isl_bool isl_map_has_tuple_id | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 805 of file isl_map.c.
References isl_bool_error, isl_space_has_tuple_id(), map, and type.
Referenced by isl::map::has_tuple_id(), isl_map_has_domain_tuple_id(), isl_map_has_range_tuple_id(), and isl_set_has_tuple_id().
| isl_bool isl_map_has_tuple_name | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 736 of file isl_map.c.
References isl_bool_error, isl_space_has_tuple_name(), map, and type.
Referenced by isl::map::has_tuple_name(), and is_isolate_loop_type_option().
| __isl_give isl_map * isl_map_identity | ( | __isl_take isl_space * | space | ) |
Definition at line 8893 of file isl_map.c.
References isl_basic_map_identity(), and isl_map_from_basic_map().
Referenced by compute_incremental(), construct_extended_path(), construct_shifted_executed(), isl::map::identity(), internal_executed(), is_condition_false(), is_subset_of_identity(), isl_map_is_identity(), isl_map_is_single_valued(), isl_set_flatten_map(), isl_set_identity(), and options_insert_dim().
| __isl_give isl_map * isl_map_insert_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| unsigned | n | ||
| ) |
Definition at line 4158 of file isl_map.c.
References isl_basic_map_insert_dims(), isl_map_cow(), isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_space_insert_dims(), map, map_space_reset(), n, pos(), and type.
Referenced by construct_shifted_executed(), isl_map_add_dims(), isl_set_insert_dims(), and options_insert_dim().
| __isl_export __isl_give isl_map * isl_map_intersect | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 3958 of file isl_map.c.
References isl_map_align_params_bin(), map1, map2, and map_intersect().
Referenced by all_later_sources(), all_sources(), box_closure_on_domain(), compute_mem_based_dependences(), construct_component(), extract_edge(), isl::map::intersect(), isl_map_add_constraint(), isl_map_equate(), isl_map_oppose(), isl_map_order_at_multi_pw_aff(), isl_map_order_gt(), isl_map_power(), isl_map_reaching_path_lengths(), isl_multi_pw_aff_eq_map_on_space(), isl_multi_pw_aff_lex_map_on_space(), isl_set_intersect(), isl_union_map_intersect(), last_later_source(), last_source(), map_bound_pw_aff(), map_from_tuple(), map_intersect_add_constraint(), order_at(), q_closure(), read_conjuncts(), read_var_def(), set_path_length(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), and update_edge().
| __isl_export __isl_give isl_map * isl_map_intersect_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 8353 of file isl_map.c.
References isl_basic_map_intersect_domain(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_map_align_params_set(), isl_map_compatible_domain(), isl_map_free(), isl_map_get_space(), isl_set_free(), isl_set_peek_space(), isl_space_copy_ids_if_unset(), map, map_intersect_set(), and set.
Referenced by all_later_sources(), all_sources(), cocoa_fig_1_right_graph(), collectInfo(), coscheduled_source(), generate_domain(), isl::map::intersect_domain(), isl_map_from_pw_aff_internal(), isl_map_from_pw_multi_aff_internal(), isl_map_gist_domain(), isl_map_intersect_domain_wrapped_domain(), isl_map_intersect_multi_pw_aff_explicit_domain(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_subtract_domain(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_set_apply(), isl_set_flatten_map(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), map_intersect_domains(), split_domain(), and union_map_intersect_domain().
| __isl_export __isl_give isl_map * isl_map_intersect_domain_factor_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_map * | factor | ||
| ) |
Definition at line 8463 of file isl_map.c.
References isl_dim_in, isl_map_domain_product(), isl_map_intersect_factor(), isl_space_domain_factor_range(), map, and isl_intersect_factor_control::preserve_type.
Referenced by isl::map::intersect_domain_factor_domain(), and isl_union_map_intersect_domain_factor_domain().
| __isl_export __isl_give isl_map * isl_map_intersect_domain_factor_range | ( | __isl_take isl_map * | map, |
| __isl_take isl_map * | factor | ||
| ) |
Definition at line 8478 of file isl_map.c.
References isl_dim_in, isl_map_intersect_factor(), isl_map_reverse_domain_product(), isl_space_domain_factor_domain(), map, and isl_intersect_factor_control::preserve_type.
Referenced by coscheduled_source(), isl::map::intersect_domain_factor_range(), and isl_union_map_intersect_domain_factor_range().
| __isl_export __isl_give isl_map * isl_map_intersect_domain_wrapped_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | domain | ||
| ) |
Definition at line 8564 of file isl_map.c.
References domain, isl_map_align_params_set(), isl_map_get_space(), isl_map_intersect_domain(), isl_set_product(), isl_set_universe(), isl_space_domain_wrapped_range(), and map.
Referenced by isl_union_map_intersect_domain_wrapped_domain_union_set().
| __isl_export __isl_give isl_map * isl_map_intersect_params | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | params | ||
| ) |
Definition at line 3975 of file isl_map.c.
References isl_map_align_params_set(), map, map_intersect_internal(), and params.
Referenced by isl::map::intersect_params(), intersect_params_entry(), isl_map_gist_params(), and isl_set_intersect_params().
| __isl_export __isl_give isl_map * isl_map_intersect_range | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 8325 of file isl_map.c.
References isl_basic_map_intersect_range(), isl_die, isl_error_invalid, isl_map_align_params_set(), isl_map_compatible_range(), isl_map_free(), isl_map_get_space(), isl_set_free(), map, map_intersect_set(), and set.
Referenced by all_intermediate_sources(), cocoa_fig_1_right_graph(), compute_class_domains(), intermediate_sources(), isl::map::intersect_range(), isl_map_gist_range(), isl_map_intersect_range_wrapped_domain(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_subtract_range(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_set_identity(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), isl_set_translation(), isl_union_map_intersect_range_union_set(), and restricted_partial_lexmax().
| __isl_export __isl_give isl_map * isl_map_intersect_range_factor_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_map * | factor | ||
| ) |
Definition at line 8493 of file isl_map.c.
References isl_dim_out, isl_map_intersect_factor(), isl_map_range_product(), isl_space_range_factor_range(), map, and isl_intersect_factor_control::preserve_type.
Referenced by isl::map::intersect_range_factor_domain(), and isl_union_map_intersect_range_factor_domain().
| __isl_export __isl_give isl_map * isl_map_intersect_range_factor_range | ( | __isl_take isl_map * | map, |
| __isl_take isl_map * | factor | ||
| ) |
Definition at line 8508 of file isl_map.c.
References isl_dim_out, isl_map_intersect_factor(), isl_map_reverse_range_product(), isl_space_range_factor_domain(), map, and isl_intersect_factor_control::preserve_type.
Referenced by isl::map::intersect_range_factor_range(), and isl_union_map_intersect_range_factor_range().
| __isl_export __isl_give isl_map * isl_map_intersect_range_wrapped_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | domain | ||
| ) |
Definition at line 8584 of file isl_map.c.
References domain, isl_map_align_params_set(), isl_map_get_space(), isl_map_intersect_range(), isl_set_product(), isl_set_universe(), isl_space_range_wrapped_range(), and map.
Referenced by isl_union_map_intersect_range_wrapped_domain_union_set().
| isl_bool isl_map_involves_dims | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2962 of file isl_map.c.
References isl_basic_map_involves_dims(), isl_bool_error, isl_bool_false, map, n, and type.
Referenced by free_of_depth(), isl::map::involves_dims(), isl_map_drop_unused_params(), isl_map_preimage_multi_pw_aff(), isl_set_involves_dims(), and map_excludes().
| __isl_export isl_bool isl_map_is_bijective | ( | __isl_keep isl_map * | map | ) |
Definition at line 12012 of file isl_map.c.
References isl_map_is_injective(), isl_map_is_single_valued(), map, and sv.
Referenced by isl::map::is_bijective(), and test_bijective().
| __isl_export isl_bool isl_map_is_disjoint | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2 | ||
| ) |
Definition at line 3994 of file isl_map_simplify.c.
References intersect(), isl_bool_not(), isl_map_align_params_map_map_and_test(), isl_map_is_disjoint_aligned(), isl_map_is_empty(), isl_map_plain_is_disjoint_global(), isl_map_plain_is_equal(), isl_map_plain_is_universe(), map1, and map2.
Referenced by isl::map::is_disjoint(), is_disjoint_entry(), isl_map_subtract(), and isl_set_is_disjoint().
| __isl_export isl_bool isl_map_is_empty | ( | __isl_keep isl_map * | map | ) |
Definition at line 9136 of file isl_map.c.
References isl_basic_map_is_empty(), isl_bool_error, isl_bool_false, isl_bool_true, and map.
Referenced by apply_range_entry(), basic_map_follows(), bin_add_pair(), first_offset(), generate_domain(), gist_params_entry(), intersect_params_entry(), isl::map::is_empty(), is_subset_entry(), is_violated(), isl_map_is_disjoint(), isl_set_is_empty(), isl_union_map_is_empty(), map_is_subset(), map_plain_is_not_identity(), match_bin_entry(), preimage_entry(), preimage_mpa_entry(), test_gist_empty_pair(), test_lex(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().
| __isl_export isl_bool isl_map_is_equal | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2 | ||
| ) |
Definition at line 9237 of file isl_map.c.
References equal, isl_map_align_params_map_map_and_test(), isl_map_plain_is_equal(), map1, map2, and map_is_equal().
Referenced by can_be_split_off(), importAccesses(), isl::map::is_equal(), isl_pw_aff_is_equal(), isl_pw_multi_aff_is_equal(), isl_set_is_equal(), map_is_equal(), test_closure(), test_dim(), test_lexmin(), test_map_conversion(), test_multi_pw_aff_box(), test_parse(), test_parse_map_equal(), and test_plain_gist().
| isl_bool isl_map_is_identity | ( | __isl_keep isl_map * | map | ) |
Definition at line 12035 of file isl_map.c.
References equal, id, 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(), and map.
Referenced by map_is_identity().
| __isl_export isl_bool isl_map_is_injective | ( | __isl_keep isl_map * | map | ) |
Definition at line 11986 of file isl_map.c.
References isl_map_copy(), isl_map_free(), isl_map_is_single_valued(), isl_map_reverse(), and map.
Referenced by check_injective(), isl::map::is_injective(), and isl_map_is_bijective().
| isl_bool isl_map_is_product | ( | __isl_keep isl_map * | map | ) |
Definition at line 12183 of file isl_map.c.
References isl_map_peek_space(), isl_space_is_product(), and map.
Referenced by isl_union_map_factor_domain(), and isl_union_map_factor_range().
| __isl_export isl_bool isl_map_is_single_valued | ( | __isl_keep isl_map * | map | ) |
Definition at line 11961 of file isl_map.c.
References id, isl_map_apply_range(), isl_map_copy(), isl_map_free(), isl_map_get_space(), isl_map_identity(), isl_map_is_subset(), isl_map_plain_is_single_valued(), isl_map_reverse(), isl_space_map_from_set(), isl_space_range(), map, sv, and test.
Referenced by generate_domain(), isl::map::is_single_valued(), isl_map_is_bijective(), isl_map_is_injective(), isl_set_is_singleton(), pw_multi_aff_from_map_base(), single_map_is_single_valued(), and update_values().
| __isl_export isl_bool isl_map_is_strict_subset | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2 | ||
| ) |
Definition at line 9261 of file isl_map.c.
References isl_bool_error, isl_bool_not(), isl_bool_true, isl_map_is_subset(), map1, and map2.
Referenced by isl::map::is_strict_subset(), and isl_set_is_strict_subset().
| __isl_export isl_bool isl_map_is_subset | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2 | ||
| ) |
Definition at line 877 of file isl_map_subtract.c.
References isl_map_align_params_map_map_and_test(), map1, map2, and map_is_subset().
Referenced by basic_map_follows(), check_exactness(), check_exactness_omega(), check_power_exactness(), is_condition_false(), isl::map::is_subset(), is_subset_entry(), is_subset_of_identity(), isl_basic_map_is_subset(), isl_map_gist(), isl_map_is_identity(), isl_map_is_single_valued(), isl_map_is_strict_subset(), isl_map_is_transitively_closed(), isl_set_is_subset(), and map_is_equal().
| int isl_map_is_translation | ( | __isl_keep isl_map * | map | ) |
Definition at line 12051 of file isl_map.c.
References isl_map_copy(), isl_map_deltas(), isl_set_free(), isl_set_is_singleton(), and map.
| __isl_give isl_map * isl_map_lex_ge | ( | __isl_take isl_space * | set_space | ) |
Definition at line 5418 of file isl_map.c.
References isl_space_map_from_set(), and map_lex_gte().
Referenced by isl_map_lex_ge_map(), isl_set_lex_ge_set(), isl::map::lex_ge(), list_cmp(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().
| __isl_overload __isl_give isl_map * isl_map_lex_ge_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Referenced by isl::map::lex_ge_at().
| __isl_give isl_map * isl_map_lex_ge_first | ( | __isl_take isl_space * | space, |
| unsigned | n | ||
| ) |
Definition at line 5407 of file isl_map.c.
References map_lex_gte_first(), and n.
| __isl_give isl_map * isl_map_lex_ge_map | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 5483 of file isl_map.c.
References isl_map_apply_domain(), isl_map_apply_range(), isl_map_get_space(), isl_map_lex_ge(), isl_map_reverse(), isl_space_range(), map, map1, and map2.
| __isl_give isl_map * isl_map_lex_gt | ( | __isl_take isl_space * | set_space | ) |
Definition at line 5413 of file isl_map.c.
References isl_space_map_from_set(), and map_lex_gte().
Referenced by after_in_band(), isl_map_lex_gt_map(), isl_set_lex_gt_set(), isl::map::lex_gt(), and list_cmp().
| __isl_overload __isl_give isl_map * isl_map_lex_gt_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Referenced by isl::map::lex_gt_at().
| __isl_give isl_map * isl_map_lex_gt_first | ( | __isl_take isl_space * | space, |
| unsigned | n | ||
| ) |
Definition at line 5401 of file isl_map.c.
References map_lex_gte_first(), and n.
| __isl_give isl_map * isl_map_lex_gt_map | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 5493 of file isl_map.c.
References isl_map_apply_domain(), isl_map_apply_range(), isl_map_get_space(), isl_map_lex_gt(), isl_map_reverse(), isl_space_range(), map, map1, and map2.
| __isl_give isl_map * isl_map_lex_le | ( | __isl_take isl_space * | set_space | ) |
Definition at line 5362 of file isl_map.c.
References isl_space_map_from_set(), and map_lex_lte().
Referenced by isl_map_lex_le_map(), isl_set_lex_le_set(), isl::map::lex_le(), list_cmp(), and test_lex().
| __isl_overload __isl_give isl_map * isl_map_lex_le_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Referenced by isl::map::lex_le_at().
| __isl_give isl_map * isl_map_lex_le_first | ( | __isl_take isl_space * | space, |
| unsigned | n | ||
| ) |
Definition at line 5351 of file isl_map.c.
References map_lex_lte_first(), and n.
Referenced by compute_mem_based_dependences().
| __isl_give isl_map * isl_map_lex_le_map | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 5463 of file isl_map.c.
References isl_map_apply_domain(), isl_map_apply_range(), isl_map_get_space(), isl_map_lex_le(), isl_map_reverse(), isl_space_range(), map, map1, and map2.
Referenced by map_lex_le_entry().
| __isl_give isl_map * isl_map_lex_lt | ( | __isl_take isl_space * | set_space | ) |
Definition at line 5357 of file isl_map.c.
References isl_space_map_from_set(), and map_lex_lte().
Referenced by isl_map_lex_lt_map(), isl_set_lex_lt_set(), isl::map::lex_lt(), and list_cmp().
| __isl_overload __isl_give isl_map * isl_map_lex_lt_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Referenced by isl::map::lex_lt_at().
| __isl_give isl_map * isl_map_lex_lt_first | ( | __isl_take isl_space * | space, |
| unsigned | n | ||
| ) |
Definition at line 5345 of file isl_map.c.
References map_lex_lte_first(), and n.
Referenced by compute_mem_based_dependences().
| __isl_give isl_map * isl_map_lex_lt_map | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 5473 of file isl_map.c.
References isl_map_apply_domain(), isl_map_apply_range(), isl_map_get_space(), isl_map_lex_lt(), isl_map_reverse(), isl_space_range(), map, map1, and map2.
Referenced by map_lex_lt_entry().
| __isl_export __isl_give isl_map * isl_map_lexmax | ( | __isl_take isl_map * | map | ) |
Referenced by isl_union_map_lexmax(), isl::map::lexmax(), and SF().
| __isl_export __isl_give isl_pw_multi_aff * isl_map_lexmax_pw_multi_aff | ( | __isl_take isl_map * | map | ) |
Referenced by exact_bound(), and isl::map::lexmax_pw_multi_aff().
| __isl_export __isl_give isl_map * isl_map_lexmin | ( | __isl_take isl_map * | map | ) |
Referenced by first_offset(), isl_union_map_lexmin(), isl::map::lexmin(), SF(), and test_lexmin().
| __isl_export __isl_give isl_pw_multi_aff * isl_map_lexmin_pw_multi_aff | ( | __isl_take isl_map * | map | ) |
Referenced by exact_bound(), and isl::map::lexmin_pw_multi_aff().
| __isl_overload __isl_give isl_map * isl_map_lower_bound_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | lower | ||
| ) |
Definition at line 7116 of file isl_map.c.
References map, and map_lower_bound_pw_aff().
Referenced by isl::map::lower_bound(), and test_multi_pw_aff_box().
| __isl_give isl_map * isl_map_lower_bound_si | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
Definition at line 6791 of file isl_map.c.
References map, map_bound_si(), pos(), and type.
Referenced by isl_set_lower_bound_si(), and isl::map::lower_bound_si().
| __isl_give isl_map * isl_map_lower_bound_val | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_val * | value | ||
| ) |
Definition at line 6900 of file isl_map.c.
References isl_die, isl_error_invalid, isl_map_free(), isl_map_get_ctx(), isl_map_lower_bound(), isl_val_free(), isl_val_is_int(), map, pos(), and type.
Referenced by isl_set_lower_bound_val(), and map_lower_bound_val().
| __isl_give isl_map * isl_map_make_disjoint | ( | __isl_take isl_map * | map | ) |
Definition at line 888 of file isl_map_subtract.c.
References isl_diff_collector::add, basic_map_collect_diff(), basic_map_subtract_add(), isl_subtract_diff_collector::dc, isl_subtract_diff_collector::diff, isl_basic_map_copy(), ISL_F_ISSET, isl_map_compute_divs(), isl_map_copy(), ISL_MAP_DISJOINT, isl_map_free(), isl_map_from_basic_map(), isl_map_remove_empty_parts(), and map.
Referenced by isl_set_make_disjoint(), and pw_multi_aff_from_map_base().
| __isl_export __isl_give isl_multi_pw_aff * isl_map_max_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6794 of file isl_aff.c.
References isl_map_dim_max(), and map.
Referenced by isl::map::max_multi_pw_aff(), and test_multi_pw_aff_box().
| __isl_export __isl_give isl_multi_pw_aff * isl_map_min_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6785 of file isl_aff.c.
References isl_map_dim_min(), and map.
Referenced by isl::map::min_multi_pw_aff(), and test_multi_pw_aff_box().
| __isl_give isl_map * isl_map_move_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 4335 of file isl_map.c.
References isl_assert, isl_basic_map_move_dims(), isl_map_cow(), isl_map_free(), isl_map_reset(), isl_map_restore_space(), isl_map_take_space(), isl_space_move_dims(), map, and n.
Referenced by isl_map_power(), isl_map_reaching_path_lengths(), isl_set_move_dims(), isl::map::move_dims(), and test_dim().
| __isl_export isl_size isl_map_n_basic_map | ( | __isl_keep isl_map * | map | ) |
Definition at line 11252 of file isl_map.c.
References isl_size_error, and map.
Referenced by add_n_basic_map(), isl_map_gist(), isl_pw_multi_aff_from_map(), and isl::map::n_basic_map().
| __isl_give isl_map * isl_map_nat_universe | ( | __isl_take isl_space * | space | ) |
Definition at line 6328 of file isl_map.c.
References isl_basic_map_nat_universe(), and isl_map_from_basic_map().
Referenced by isl_set_nat_universe().
| __isl_give isl_map * isl_map_neg | ( | __isl_take isl_map * | map | ) |
Definition at line 4975 of file isl_map.c.
References isl_basic_map_neg(), isl_map_cow(), isl_map_free(), and map.
Referenced by isl_set_neg(), and test_fixed().
| __isl_give isl_map * isl_map_oppose | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13341 of file isl_map.c.
References isl_basic_map::eq, isl_basic_map_alloc_equality(), isl_basic_map_alloc_space(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_all, isl_int_set_si, isl_map_dim(), isl_map_free(), isl_map_from_basic_map(), isl_map_get_space(), isl_map_intersect(), isl_seq_clr(), map, and total().
Referenced by test_slice().
| __isl_give isl_map * isl_map_order_ge | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13423 of file isl_map.c.
References constraint_order_ge(), isl_map_add_constraint(), isl_map_get_space(), and map.
Referenced by isl_map_order_le().
| __isl_give isl_map * isl_map_order_gt | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13502 of file isl_map.c.
References greator(), isl_map_from_basic_map(), isl_map_get_space(), isl_map_intersect(), and map.
Referenced by generate_shifted_component_tree(), is_violated(), isl_map_order_lt(), and test_slice().
| __isl_give isl_map * isl_map_order_le | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13441 of file isl_map.c.
References isl_map_order_ge(), and map.
| __isl_give isl_map * isl_map_order_lt | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type1, | ||
| int | pos1, | ||
| enum isl_dim_type | type2, | ||
| int | pos2 | ||
| ) |
Definition at line 13517 of file isl_map.c.
References isl_map_order_gt(), and map.
Referenced by first_offset(), and isl::map::order_lt().
| __isl_give isl_set * isl_map_params | ( | __isl_take isl_map * | map | ) |
Definition at line 5966 of file isl_map.c.
References isl_dim_in, isl_dim_out, isl_map_dim(), isl_map_free(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_params(), and map.
Referenced by isl_set_params(), isl_union_map_params(), and map_from_tuple().
| __isl_give isl_map * isl_map_partial_lexmax | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | dom, | ||
| __isl_give isl_set ** | empty | ||
| ) |
Definition at line 7352 of file isl_map.c.
References ISL_OPT_MAX, and map.
Referenced by isl_set_partial_lexmax(), and restricted_partial_lexmax().
| __isl_give isl_map * isl_map_partial_lexmin | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | dom, | ||
| __isl_give isl_set ** | empty | ||
| ) |
| __isl_give isl_val * isl_map_plain_get_val_if_fixed | ( | __isl_keep isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 10151 of file isl_map.c.
References isl_vec::ctx, isl_val::d, isl_int_set_si, isl_map_get_ctx(), isl_map_plain_is_fixed(), isl_val_alloc(), isl_val_free(), isl_val_nan(), map, isl_val::n, pos(), and type.
Referenced by polly::getConstant(), isl_set_plain_get_val_if_fixed(), and sched_info_alloc().
| isl_bool isl_map_plain_is_empty | ( | __isl_keep isl_map * | map | ) |
Definition at line 9153 of file isl_map.c.
References isl_bool_error, and map.
Referenced by all_intermediate_sources(), copy_edges(), extract_edge(), graph_has_edge(), handle_coscheduled(), has_validity_edges(), intermediate_sources(), is_non_empty_proximity(), isl_flow_foreach(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_plain_is_disjoint_global(), isl_map_power(), isl_map_reaching_path_lengths(), isl_union_map_add_map(), map_intersect_add_constraint(), map_intersect_internal(), map_unshifted_simple_hull_from_basic_map_list(), and update_edge().
| isl_bool isl_map_plain_is_equal | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2 | ||
| ) |
Definition at line 10533 of file isl_map.c.
References equal, isl_basic_map_plain_is_equal(), isl_bool_error, isl_bool_true, isl_map_copy(), isl_map_free(), isl_map_has_equal_space(), isl_map_normalize(), map1, and map2.
Referenced by graph_find_matching_edge(), isl_map_gist(), isl_map_is_disjoint(), isl_map_is_equal(), isl_map_plain_is_disjoint(), isl_map_subtract(), isl_map_union(), isl_set_plain_is_equal(), and map_intersect_internal().
| isl_bool isl_map_plain_is_injective | ( | __isl_keep isl_map * | map | ) |
Definition at line 12000 of file isl_map.c.
References isl_map_copy(), isl_map_free(), isl_map_plain_is_single_valued(), isl_map_reverse(), and map.
Referenced by isl_union_map_plain_is_injective().
| isl_bool isl_map_plain_is_single_valued | ( | __isl_keep isl_map * | map | ) |
Definition at line 11942 of file isl_map.c.
References isl_basic_map_plain_is_single_valued(), isl_bool_error, isl_bool_false, isl_bool_true, and map.
Referenced by generate_domain(), isl_map_is_single_valued(), and isl_map_plain_is_injective().
| isl_bool isl_map_plain_is_universe | ( | __isl_keep isl_map * | map | ) |
Definition at line 9358 of file isl_map.c.
References isl_basic_map_plain_is_universe(), isl_bool_error, isl_bool_false, and map.
Referenced by isl_map_gist(), isl_map_is_disjoint(), isl_map_unshifted_simple_hull_from_map_list(), isl_set_plain_is_universe(), map_intersect_internal(), map_is_subset(), map_union_disjoint(), print_disjuncts(), print_disjuncts_in_hull(), and print_disjuncts_map().
| __isl_give isl_basic_map * isl_map_plain_unshifted_simple_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 2651 of file isl_convex_hull.c.
References hull, isl_basic_map_copy(), isl_basic_map_plain_unshifted_simple_hull(), isl_map_drop_constraints_involving_unknown_divs(), isl_map_free(), map, and map_simple_hull_trivial().
Referenced by isl_set_plain_unshifted_simple_hull(), and print_disjuncts().
| __isl_export __isl_give isl_basic_map * isl_map_polyhedral_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 1980 of file isl_convex_hull.c.
References hull, isl_basic_map_remove_divs(), isl_map_convex_hull(), and map.
Referenced by isl_map_polyhedral_hull_map(), isl_set_polyhedral_hull(), and isl::map::polyhedral_hull().
| __isl_give isl_map * isl_map_power | ( | __isl_take isl_map * | map, |
| isl_bool * | exact | ||
| ) |
Definition at line 2044 of file isl_transitive_closure.c.
References equate_parameter_to_length(), isl_dim_in, isl_dim_out, isl_dim_param, isl_map_add_dims(), isl_map_coalesce(), isl_map_compute_divs(), isl_map_dim(), isl_map_free(), isl_map_from_range(), isl_map_get_space(), isl_map_intersect(), isl_map_move_dims(), isl_map_plain_is_empty(), isl_map_project_out(), isl_map_reset_space(), isl_map_set_dim_name(), isl_map_wrap(), isl_space_add_dims(), isl_space_from_range(), isl_space_set_dim_name(), isl_space_wrap(), map, and map_power().
Referenced by power(), and test_closure().
| __isl_overload __isl_give isl_map * isl_map_preimage_domain_multi_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 14057 of file isl_map.c.
References isl_dim_in, isl_map_preimage_multi_aff(), ma, and map.
Referenced by isl::map::preimage_domain(), and tag().
| __isl_overload __isl_give isl_map * isl_map_preimage_domain_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 14253 of file isl_map.c.
References isl_dim_in, isl_map_preimage_multi_pw_aff(), and map.
Referenced by isl_union_map_preimage_domain_multi_pw_aff(), and isl::map::preimage_domain().
| __isl_overload __isl_give isl_map * isl_map_preimage_domain_pw_multi_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 14181 of file isl_map.c.
References isl_dim_in, isl_map_preimage_pw_multi_aff(), map, and pma.
Referenced by compress(), isl_union_map_preimage_domain_pw_multi_aff(), and isl::map::preimage_domain().
| __isl_overload __isl_give isl_map * isl_map_preimage_range_multi_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 14069 of file isl_map.c.
References isl_dim_out, isl_map_preimage_multi_aff(), ma, and map.
Referenced by isl::map::preimage_range().
| __isl_overload __isl_give isl_map * isl_map_preimage_range_pw_multi_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 14193 of file isl_map.c.
References isl_dim_out, isl_map_preimage_pw_multi_aff(), map, and pma.
Referenced by compress(), isl_union_map_preimage_range_pw_multi_aff(), and isl::map::preimage_range().
| void isl_map_print_internal | ( | __isl_keep isl_map * | map, |
| FILE * | out, | ||
| int | indent | ||
| ) |
Definition at line 3538 of file isl_map.c.
References isl_basic_map_print_internal(), and map.
| __isl_export __isl_give isl_map * isl_map_product | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 10942 of file isl_map.c.
References isl_basic_map_product(), isl_map_align_params_bin(), isl_space_product(), map1, map2, and map_product.
Referenced by add_length(), internal_executed(), isl_map_flat_product(), options_insert_dim(), isl::map::product(), and product_entry().
| __isl_give isl_map * isl_map_project_out | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4579 of file isl_map.c.
References isl_basic_map_project_out(), ISL_F_CLR, isl_map_cow(), ISL_MAP_DISJOINT, isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_map_unmark_normalized(), isl_space_drop_dims(), map, map_space_reset(), n, and type.
Referenced by check_exactness(), construct_projected_component(), polly::PolyhedralInfo::getScheduleForLoop(), has_spurious_elements(), incremental_closure(), incremental_on_entire_domain(), isl_map_domain(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_drop_unused_params(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_params(), isl_map_power(), isl_map_project_onto(), isl_map_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_reaching_path_lengths(), isl_set_project_out(), isolate(), isolate_initial(), map_dim_opt(), map_equate_params(), project_out(), isl::map::project_out(), and test_dim().
| __isl_export __isl_give isl_map * isl_map_project_out_all_params | ( | __isl_take isl_map * | map | ) |
Referenced by isl_set_project_out_all_params(), and isl::map::project_out_all_params().
| __isl_overload __isl_give isl_map * isl_map_project_out_param_id | ( | __isl_take isl_map * | map, |
| __isl_take isl_id * | id | ||
| ) |
Referenced by isl_set_project_out_param_id().
| __isl_overload __isl_give isl_map * isl_map_project_out_param_id_list | ( | __isl_take isl_map * | map, |
| __isl_take isl_id_list * | list | ||
| ) |
Referenced by isl_set_project_out_param_id_list().
| __isl_export __isl_give isl_set * isl_map_range | ( | __isl_take isl_map * | map | ) |
Definition at line 6109 of file isl_map.c.
References isl_dim_in, isl_map_dim(), isl_map_free(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_range(), map, and set_from_map().
Referenced by all_intermediate_sources(), all_later_sources(), box_closure(), can_be_split_off(), cocoa_fig_1_right_tc(), compute_domains(), compute_mem_based_dependences(), compute_size(), compute_val_based_dependences(), construct_component(), coscheduled_source(), generate_non_single_valued(), has_singular_src_or_dst(), has_spurious_elements(), importAccesses(), incremental_on_entire_domain(), isl_set_apply(), isl_stream_read_set(), isl_union_map_range(), last_later_source(), obj_read(), obj_read_poly(), polly::IslNodeBuilder::preloadInvariantLoad(), project_out_fixed(), isl::map::range(), set_bound_multi_pw_aff(), and test_dim_max().
| __isl_give isl_map * isl_map_range_curry | ( | __isl_take isl_map * | map | ) |
Definition at line 13208 of file isl_map.c.
References isl_map_can_range_curry(), isl_map_change_space(), isl_space_range_curry(), and map.
Referenced by compute_single_flow(), and isl_union_map_range_curry().
| __isl_export __isl_give isl_map * isl_map_range_factor_domain | ( | __isl_take isl_map * | map | ) |
Definition at line 11106 of file isl_map.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_dim(), isl_space_range_factor_domain(), isl_space_range_is_wrapping(), map, and total().
Referenced by isl_access_info_compute_flow(), isl_union_map_range_factor_domain(), and isl::map::range_factor_domain().
| __isl_export __isl_give isl_map * isl_map_range_factor_range | ( | __isl_take isl_map * | map | ) |
Definition at line 11131 of file isl_map.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_project_out(), isl_map_reset_space(), isl_space_dim(), isl_space_range_factor_range(), isl_space_range_is_wrapping(), map, and total().
Referenced by isl_union_map_range_factor_range(), and isl::map::range_factor_range().
| isl_bool isl_map_range_is_wrapping | ( | __isl_keep isl_map * | map | ) |
Definition at line 12190 of file isl_map.c.
References isl_bool_error, isl_space_range_is_wrapping(), and map.
Referenced by isl_union_map_intersect_range_factor_domain(), isl_union_map_intersect_range_factor_range(), isl_union_map_intersect_range_wrapped_domain_union_set(), isl_union_map_range_factor_domain(), isl_union_map_range_factor_range(), and isl_union_map_range_reverse().
| __isl_give isl_map * isl_map_range_map | ( | __isl_take isl_map * | map | ) |
Definition at line 6158 of file isl_map.c.
References isl_basic_map_range_map(), isl_map_transform(), isl_space_range_map(), and map.
Referenced by access_info_compute_flow_core(), collectInfo(), embed_options(), isl_union_map_range_map(), and isl::map::range_map().
| __isl_export __isl_give isl_map * isl_map_range_product | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 10988 of file isl_map.c.
References isl_basic_map_range_product(), isl_map_align_params_bin(), isl_space_range_product(), map1, map2, and map_product.
Referenced by compute_size(), coscheduled_source(), isl_map_flat_range_product(), isl_map_intersect_range_factor_domain(), isl_map_reverse_range_product(), isl_set_intersect_factor_domain(), isl_set_product(), isl::map::range_product(), and range_product_entry().
| __isl_export __isl_give isl_map * isl_map_range_reverse | ( | __isl_take isl_map * | map | ) |
Definition at line 7190 of file isl_map.c.
References isl_basic_map_range_reverse(), isl_map_transform(), isl_space_range_reverse(), and map.
Referenced by isl_union_map_range_reverse(), and isl::map::range_reverse().
| __isl_export isl_size isl_map_range_tuple_dim | ( | __isl_keep isl_map * | map | ) |
Definition at line 124 of file isl_map.c.
References isl_dim_out, isl_map_dim(), and map.
Referenced by isl::map::range_tuple_dim().
| __isl_give isl_map * isl_map_reaching_path_lengths | ( | __isl_take isl_map * | map, |
| isl_bool * | exact | ||
| ) |
Definition at line 2097 of file isl_transitive_closure.c.
References equate_parameter_to_length(), isl_bool_true, isl_dim_in, isl_dim_out, isl_dim_param, isl_map_add_dims(), isl_map_coalesce(), isl_map_compute_divs(), isl_map_dim(), isl_map_free(), isl_map_get_space(), isl_map_intersect(), isl_map_move_dims(), isl_map_plain_is_empty(), isl_map_project_out(), isl_map_reverse(), map, and map_power().
| __isl_give isl_map * isl_map_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3316 of file isl_input.c.
References isl_map::ctx, isl_stream_free(), isl_stream_new_file(), isl_stream_read_map(), and map.
Referenced by main().
| __isl_constructor __isl_give isl_map * isl_map_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by cocoa_fig_1_right_graph(), cocoa_fig_1_right_power(), importAccesses(), importSchedule(), isl::map::map(), map_is_equal(), test_align_parameters_2(), test_bijective(), test_bind_map_domain(), test_closure(), test_coalesce_special(), test_deltas_map(), test_dep(), test_dim(), test_dim_max(), test_domain_hash(), test_eliminate(), test_fixed(), test_gist(), test_gist_empty_pair(), test_lexmin(), test_map_conversion(), test_multi_pw_aff_box(), test_parse(), test_parse_map(), test_parse_map_equal(), test_parse_mpa(), test_parse_pma(), test_plain_gist(), and test_slice().
| __isl_give isl_map * isl_map_remove_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3328 of file isl_map.c.
References isl_basic_map_eliminate_vars(), isl_basic_map_offset(), isl_map_cow(), isl_map_drop(), isl_map_free(), map, n, and type.
Referenced by isl_map_remove_inputs(), isl_set_remove_dims(), and split_domain().
| __isl_give isl_map * isl_map_remove_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 2593 of file isl_map.c.
References isl_basic_map_remove_divs(), isl_map_cow(), isl_map_free(), and map.
Referenced by inter_coefficients(), isl_set_remove_divs(), and isl_union_map_remove_divs().
| __isl_give isl_map * isl_map_remove_divs_involving_dims | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2898 of file isl_map.c.
References isl_basic_map_remove_divs_involving_dims(), isl_map_cow(), isl_map_free(), map, n, and type.
Referenced by isl_set_remove_divs_involving_dims().
| __isl_give isl_map * isl_map_remove_inputs | ( | __isl_take isl_map * | map, |
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3361 of file isl_map.c.
References isl_dim_in, isl_map_remove_dims(), map, and n.
| __isl_give isl_map * isl_map_remove_redundancies | ( | __isl_take isl_map * | map | ) |
Definition at line 101 of file isl_convex_hull.c.
References isl_basic_map_remove_redundancies(), isl_map_inline_foreach_basic_map(), and map.
Referenced by isl_set_remove_redundancies(), and isl_union_map_remove_redundancies().
| __isl_give isl_map * isl_map_remove_unknown_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 3290 of file isl_map.c.
References isl_basic_map_remove_unknown_divs(), isl_map_cow(), isl_map_free(), and map.
Referenced by isl_map_affine_hull(), and isl_set_remove_unknown_divs().
| __isl_give isl_map * isl_map_reset_tuple_id | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 788 of file isl_map.c.
References isl_map_get_space(), isl_map_reset_space(), isl_map_restore_space(), isl_map_take_space(), isl_space_reset_tuple_id(), map, and type.
Referenced by isl_set_reset_tuple_id().
| __isl_give isl_map * isl_map_reset_user | ( | __isl_take isl_map * | map | ) |
Definition at line 1116 of file isl_map.c.
References isl_map_get_space(), isl_map_reset_space(), isl_space_reset_user(), and map.
Referenced by isl_set_reset_user(), and isl_union_map_reset_user().
| __isl_export __isl_give isl_map * isl_map_reverse | ( | __isl_take isl_map * | map | ) |
Definition at line 7182 of file isl_map.c.
References isl_basic_map_reverse(), isl_map_transform(), isl_space_reverse(), and map.
Referenced by all_later_sources(), all_sources(), compute_mem_based_dependences(), create_node(), generate_shifted_component_tree(), internal_executed(), isl_map_apply_domain(), isl_map_bind_range(), isl_map_from_domain(), isl_map_from_domain_and_range(), isl_map_is_injective(), isl_map_is_single_valued(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), isl_map_plain_is_injective(), isl_map_reaching_path_lengths(), isl_union_map_reverse(), last_later_source(), last_source(), restricted_partial_lexmax(), isl::map::reverse(), and specializer().
| __isl_export __isl_give isl_basic_map * isl_map_sample | ( | __isl_take isl_map * | map | ) |
Definition at line 1270 of file isl_sample.c.
References isl_basic_map_copy(), isl_basic_map_empty(), ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_sample(), ISL_F_ISSET, isl_map_free(), isl_map_get_space(), and map.
Referenced by isl_set_sample(), isl::map::sample(), and sample_entry().
| __isl_give isl_map * isl_map_set_dim_id | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 1009 of file isl_map.c.
References isl_map_get_space(), isl_map_reset_space(), isl_map_restore_space(), isl_map_take_space(), isl_space_set_dim_id(), map, pos(), and type.
Referenced by importAccesses(), importSchedule(), isl_set_set_dim_id(), and map_from_tuple().
| __isl_give isl_map * isl_map_set_dim_name | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 930 of file isl_map.c.
References isl_basic_map_set_dim_name(), isl_map_cow(), isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_space_set_dim_name(), map, pos(), and type.
Referenced by isl_map_power(), and isl_set_set_dim_name().
| __isl_overload __isl_give isl_map * isl_map_set_domain_tuple_id | ( | __isl_take isl_map * | map, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 768 of file isl_map.c.
References isl_dim_in, isl_map_set_tuple_id(), and map.
Referenced by isl::map::set_domain_tuple().
| __isl_overload __isl_give isl_map * isl_map_set_range_tuple_id | ( | __isl_take isl_map * | map, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 776 of file isl_map.c.
References isl_dim_out, isl_map_set_tuple_id(), and map.
Referenced by isl::map::set_range_tuple().
| __isl_give isl_map * isl_map_set_tuple_id | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 754 of file isl_map.c.
References isl_map_get_space(), isl_map_reset_space(), isl_map_restore_space(), isl_map_take_space(), isl_space_set_tuple_id(), map, and type.
Referenced by polly::PolyhedralInfo::getScheduleForLoop(), importAccesses(), importSchedule(), isl_map_set_domain_tuple_id(), isl_map_set_range_tuple_id(), isl_set_set_tuple_id(), isl_set_wrapped_domain_map(), and isl::map::set_tuple_id().
| __isl_give isl_map * isl_map_set_tuple_name | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| const char * | s | ||
| ) |
Definition at line 685 of file isl_map.c.
References isl_basic_map_set_tuple_name(), isl_map_cow(), isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_space_set_tuple_name(), map, and type.
Referenced by isl_set_set_tuple_name(), and options_insert_dim().
| __isl_give isl_basic_map * isl_map_simple_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 2474 of file isl_convex_hull.c.
References map, and map_simple_hull().
Referenced by isl_map_gist(), isl_map_simple_hull_map(), isl_set_simple_hull(), and set_dim_extent().
| __isl_export __isl_give isl_map * isl_map_subtract | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 533 of file isl_map_subtract.c.
References basic_map_subtract(), equal, isl_basic_map_copy(), ISL_F_ISSET, isl_map_align_params_bin(), isl_map_check_equal_space(), isl_map_compute_divs(), isl_map_copy(), ISL_MAP_DISJOINT, isl_map_empty(), isl_map_free(), isl_map_get_space(), isl_map_is_disjoint(), isl_map_plain_is_equal(), isl_map_remove_empty_parts(), isl_map_union(), isl_map_union_disjoint(), map1, map2, and replace_pair_by_empty().
Referenced by all_intermediate_sources(), can_be_split_off(), handle_coscheduled(), isl_map_complement(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_set_subtract(), isl_union_map_subtract(), read_conjuncts(), read_formula(), and isl::map::subtract().
| __isl_give isl_map * isl_map_subtract_domain | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | dom | ||
| ) |
Definition at line 597 of file isl_map_subtract.c.
References isl_die, isl_error_invalid, isl_map_align_params_set(), isl_map_compatible_domain(), isl_map_free(), isl_map_get_space(), isl_map_intersect_domain(), isl_map_subtract(), isl_map_universe(), isl_set_free(), isl_set_get_ctx(), and map.
Referenced by isl_union_map_subtract_domain().
| __isl_give isl_map * isl_map_subtract_range | ( | __isl_take isl_map * | map, |
| __isl_take isl_set * | dom | ||
| ) |
Definition at line 622 of file isl_map_subtract.c.
References isl_die, isl_error_invalid, isl_map_align_params_set(), isl_map_compatible_range(), isl_map_free(), isl_map_get_space(), isl_map_intersect_range(), isl_map_subtract(), isl_map_universe(), isl_set_free(), isl_set_get_ctx(), and map.
Referenced by isl_union_map_subtract_range().
| __isl_give isl_map * isl_map_sum | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 4900 of file isl_map.c.
References isl_basic_map_copy(), isl_basic_map_free(), isl_basic_map_is_empty(), isl_basic_map_sum(), isl_map_add_basic_map(), isl_map_alloc_space(), isl_map_check_equal_space(), isl_map_free(), isl_space_copy(), map1, map2, and result.
Referenced by isl_set_sum(), and isl::map::sum().
| __isl_give char * isl_map_to_str | ( | __isl_keep isl_map * | map | ) |
Referenced by isl::operator<<().
| __isl_give isl_map * isl_map_transitive_closure | ( | __isl_take isl_map * | map, |
| isl_bool * | exact | ||
| ) |
Definition at line 2557 of file isl_transitive_closure.c.
References isl_bool_true, ISL_CLOSURE_BOX, isl_map_coalesce(), isl_map_compute_divs(), isl_map_free(), isl_map_get_space(), isl_map_is_transitively_closed(), isl_map_reset_space(), map, map_power(), and transitive_closure_omega().
Referenced by compute_incremental(), floyd_warshall_iterate(), main(), and test_closure().
| __isl_export __isl_give isl_map * isl_map_uncurry | ( | __isl_take isl_map * | map | ) |
Definition at line 13263 of file isl_map.c.
References isl_map_can_uncurry(), isl_map_change_space(), isl_space_uncurry(), and map.
Referenced by coscheduled_source(), isl_union_map_uncurry(), isolate_final(), and isl::map::uncurry().
| __isl_export __isl_give isl_map * isl_map_union | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 8246 of file isl_map.c.
References equal, ISL_F_CLR, isl_map_align_params_bin(), ISL_MAP_DISJOINT, isl_map_free(), isl_map_plain_is_equal(), map1, map2, and map_union_disjoint().
Referenced by all_intermediate_sources(), check_exactness(), check_exactness_omega(), cocoa_fig_1_right_graph(), collect_must_may(), compose(), compute_incremental(), compute_mem_based_dependences(), compute_val_based_dependences(), construct_power_components(), floyd_warshall_iterate(), floyd_warshall_with_groups(), handle_coscheduled(), isl_map_compute_divs(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_subtract(), isl_multi_pw_aff_lex_map_on_space(), isl_obj_map_add(), isl_set_union(), isl_union_map_add_map(), map_read_polylib(), read_disjuncts(), read_formula(), split_aff(), test_coalesce_special(), transitive_closure_omega(), union_floyd_warshall_on_list(), and isl::map::unite().
| __isl_give isl_map * isl_map_union_disjoint | ( | __isl_take isl_map * | map1, |
| __isl_take isl_map * | map2 | ||
| ) |
Definition at line 8227 of file isl_map.c.
References isl_map_align_params_bin(), map1, map2, and map_union_disjoint().
Referenced by all_intermediate_sources(), basic_map_subtract_add(), compute_val_based_dependences(), intermediate_sources(), isl_map_compute_divs(), isl_map_from_pw_aff_internal(), isl_map_from_pw_multi_aff_internal(), isl_map_subtract(), isl_set_union_disjoint(), and split_domain().
| __isl_export __isl_give isl_map * isl_map_universe | ( | __isl_take isl_space * | space | ) |
Definition at line 6348 of file isl_map.c.
References isl_basic_map_universe(), isl_map_add_basic_map(), isl_map_alloc_space(), ISL_MAP_DISJOINT, isl_space_copy(), and map.
Referenced by accept_extended_affine(), compute_incremental(), embed_options(), generate_shifted_component_tree(), insert_dummy_tags(), isl_map_complement(), isl_map_drop_constraints_not_involving_dims(), isl_map_gist_basic_map(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_map_intersect_factor(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_multi_pw_aff_eq_map_on_space(), isl_multi_pw_aff_lex_map_on_space(), isl_set_translation(), isl_space_universe_map(), map_from_multi_pw_aff(), map_lex_gte_first(), map_lex_lte_first(), obj_read(), replace_by_universe(), test_multi_pw_aff_box(), universe(), isl::map::universe(), and update_piecewise_affine_colon().
| __isl_export __isl_give isl_basic_map * isl_map_unshifted_simple_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 2487 of file isl_convex_hull.c.
References map, and map_simple_hull().
Referenced by isl_map_plain_gist(), isl_map_unshifted_simple_hull_from_map_list(), isl_pw_multi_aff_from_map(), isl_set_unshifted_simple_hull(), pw_multi_aff_from_map_check_div(), and isl::map::unshifted_simple_hull().
| __isl_give isl_basic_map * isl_map_unshifted_simple_hull_from_map_list | ( | __isl_take isl_map * | map, |
| __isl_take isl_map_list * | list | ||
| ) |
Definition at line 3037 of file isl_convex_hull.c.
References collect_basic_maps(), isl_map_free(), isl_map_plain_is_universe(), isl_map_unshifted_simple_hull(), map, and map_unshifted_simple_hull_from_basic_map_list().
Referenced by isl_map_gist(), and isl_set_unshifted_simple_hull_from_set_list().
| __isl_overload __isl_give isl_map * isl_map_upper_bound_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | upper | ||
| ) |
Definition at line 7126 of file isl_map.c.
References map, and map_upper_bound_pw_aff().
Referenced by test_multi_pw_aff_box(), and isl::map::upper_bound().
| __isl_give isl_map * isl_map_upper_bound_si | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
Definition at line 6797 of file isl_map.c.
References map, map_bound_si(), pos(), and type.
Referenced by isl_set_upper_bound_si(), and isl::map::upper_bound_si().
| __isl_give isl_map * isl_map_upper_bound_val | ( | __isl_take isl_map * | map, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_val * | value | ||
| ) |
Definition at line 6932 of file isl_map.c.
References isl_die, isl_error_invalid, isl_map_free(), isl_map_get_ctx(), isl_map_upper_bound(), isl_val_free(), isl_val_is_int(), map, pos(), and type.
Referenced by isl_set_upper_bound_val(), and map_upper_bound_val().
| __isl_export __isl_give isl_set * isl_map_wrap | ( | __isl_take isl_map * | map | ) |
Definition at line 12213 of file isl_map.c.
References isl_map_change_space(), isl_space_wrap(), and map.
Referenced by accept_ternary(), add_constraint(), polly::Dependences::calculateDependences(), domain_map_upma(), insert_dummy_tags(), inter_coefficients(), intersect_domains(), isl_map_apply_pw_qpolynomial_fold(), isl_map_get_range_stride_info(), isl_map_power(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_union_map_wrap(), isolate_final(), isolate_initial(), list_cmp(), map_intersect_domains(), pw_multi_aff_from_map_stride(), read_exists(), and isl::map::wrap().
| __isl_export __isl_give isl_map * isl_map_zip | ( | __isl_take isl_map * | map | ) |
Definition at line 13122 of file isl_map.c.
References isl_basic_map_zip(), isl_die, isl_error_invalid, isl_map_can_zip(), isl_map_free(), isl_map_transform(), isl_space_zip(), and map.
Referenced by polly::Dependences::calculateDependences(), extract_edge(), insert_dummy_tags(), isl_union_map_zip(), map_intersect_domains(), and isl::map::zip().
| __isl_export __isl_give isl_map * isl_multi_aff_as_map | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 234 of file isl_aff_map.c.
References isl_map_from_multi_aff(), and ma.
Referenced by isl::multi_aff::as_map().
| __isl_give isl_printer * isl_printer_print_basic_map | ( | __isl_take isl_printer * | printer, |
| __isl_keep isl_basic_map * | bmap | ||
| ) |
Definition at line 1535 of file isl_output.c.
References basic_map_print_omega(), isl_assert, isl_basic_map_print_isl(), ISL_FORMAT_ISL, ISL_FORMAT_OMEGA, isl_printer_free(), and p.
Referenced by isl_basic_map_print_internal().
| __isl_give isl_printer * isl_printer_print_map | ( | __isl_take isl_printer * | printer, |
| __isl_keep isl_map * | map | ||
| ) |
Definition at line 1593 of file isl_output.c.
References isl_assert, ISL_FORMAT_EXT_POLYLIB, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, ISL_FORMAT_OMEGA, ISL_FORMAT_POLYLIB, isl_map_print_isl(), isl_map_print_latex(), isl_map_print_omega(), isl_map_print_polylib(), isl_printer_free(), map, and p.
Referenced by isl_obj_map_print(), isl_stream_error(), and main().
| __isl_export __isl_give isl_set * isl_set_flatten | ( | __isl_take isl_set * | set | ) |
Definition at line 12350 of file isl_map.c.
References isl_map_flatten(), set, set_from_map(), and set_to_map.
Referenced by isl::set::flatten(), and isl_ast_build_extract_isolated().
| __isl_give isl_map * isl_set_flatten_map | ( | __isl_take isl_set * | set | ) |
Definition at line 12355 of file isl_map.c.
References isl_map_identity(), isl_map_intersect_domain(), isl_set_get_space(), isl_space_copy(), isl_space_flatten(), isl_space_join(), isl_space_reverse(), map, and set.
| __isl_export __isl_give isl_map * isl_set_identity | ( | __isl_take isl_set * | set | ) |
Definition at line 8898 of file isl_map.c.
References id, isl_map_identity(), isl_map_intersect_range(), isl_set_get_space(), isl_space_map_from_set(), and set.
Referenced by generate_non_single_valued(), isl::set::identity(), and isl_union_set_identity().
| __isl_export __isl_give isl_map * isl_set_insert_domain | ( | __isl_take isl_set * | set, |
| __isl_take isl_space * | domain | ||
| ) |
Definition at line 12863 of file isl_map.c.
References domain, isl_dim_in, isl_dim_set, isl_map_add_dims(), isl_map_from_range(), isl_map_reset_space(), isl_set_check_is_set(), isl_set_get_space(), isl_space_check_is_set(), isl_space_dim(), isl_space_free(), isl_space_map_from_domain_and_range(), isl_space_replace_params(), map, and set.
Referenced by isl::set::insert_domain().
| __isl_export isl_bool isl_set_is_wrapping | ( | __isl_keep isl_set * | set | ) |
Definition at line 12134 of file isl_map.c.
References isl_bool_error, isl_space_is_wrapping(), and set.
Referenced by is_isolate(), is_isolate_loop_type_option(), isl::set::is_wrapping(), isl_set_unwrap(), isl_union_set_unwrap(), isl_union_set_wrapped_domain_map(), and test_product().
| __isl_export __isl_give isl_map * isl_set_translation | ( | __isl_take isl_set * | deltas | ) |
Definition at line 8863 of file isl_map.c.
References isl_map_deltas_map(), isl_map_domain(), isl_map_intersect_range(), isl_map_universe(), isl_set_get_space(), isl_set_unwrap(), isl_space_map_from_set(), and map.
Referenced by isl::set::translation().
| __isl_export __isl_give isl_map * isl_set_unwrap | ( | __isl_take isl_set * | set | ) |
Definition at line 12239 of file isl_map.c.
References isl_map_change_space(), isl_set_is_wrapping(), isl_space_unwrap(), and set.
Referenced by add_constraint(), polly::Dependences::calculateDependences(), cocoa_fig_1_right_tc(), compute_size(), coscheduled_source(), extract_edge(), is_isolate_loop_type_option(), isl_ast_graft_unembed(), isl_flow_get_no_source(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_pw_aff_order_map(), isl_set_translation(), isl_set_wrapped_domain_map(), isl_union_set_unwrap(), isolate_final(), isolate_initial(), pw_multi_aff_from_map_stride(), read_exists(), read_var_def(), and isl::set::unwrap().
| __isl_give isl_map * isl_set_wrapped_domain_map | ( | __isl_take isl_set * | set | ) |
Definition at line 6167 of file isl_map.c.
References id, isl_dim_in, isl_map_domain_map(), isl_map_set_tuple_id(), isl_set_get_tuple_id(), isl_set_has_tuple_id(), isl_set_unwrap(), map, and set.
Referenced by isl_union_set_wrapped_domain_map().
| __isl_export __isl_give isl_map * isl_space_universe_map | ( | __isl_take isl_space * | space | ) |
Definition at line 6361 of file isl_map.c.
References isl_map_universe().
Referenced by isl::space::universe_map().
1.9.6