Polly 22.0.0git
|
#include <isl/list.h>
#include <isl/set.h>
#include <isl/map.h>
#include <isl_reordering.h>
#include <isl/vec.h>
#include <isl/hash.h>
#include <isl_blk.h>
#include <isl_list_templ.h>
Go to the source code of this file.
Classes | |
struct | isl_basic_map |
struct | isl_map |
#define EL isl_basic_set |
Definition at line 81 of file isl_map_private.h.
#define EL isl_set |
Definition at line 81 of file isl_map_private.h.
#define ISL_BASIC_MAP_ALL_EQUALITIES (1 << 7) |
Definition at line 45 of file isl_map_private.h.
Referenced by isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_detect_equalities(), isl_basic_map_inequality_to_equality(), isl_map_convex_hull(), and map_simple_hull().
#define ISL_BASIC_MAP_EMPTY (1 << 1) |
Definition at line 39 of file isl_map_private.h.
Referenced by coalesce_or_drop_more_redundant_divs(), eliminate_divs_ineq(), isl_basic_map_detect_equalities(), isl_basic_map_eliminate_vars(), isl_basic_map_implicit_equalities(), isl_basic_map_is_empty(), isl_basic_map_plain_cmp(), isl_basic_map_plain_is_empty(), isl_basic_map_remove_dims(), isl_basic_map_remove_redundancies(), isl_basic_map_set_to_empty(), isl_map_sample(), isl_tab_from_basic_map(), tab_for_lexmin(), and tab_for_shifted_cone().
#define ISL_BASIC_MAP_FINAL (1 << 0) |
Definition at line 38 of file isl_map_private.h.
Referenced by extend(), isl_basic_map_foreach_constraint(), and isl_basic_map_realign().
#define ISL_BASIC_MAP_NO_IMPLICIT (1 << 2) |
Definition at line 40 of file isl_map_private.h.
Referenced by isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_detect_equalities(), isl_basic_map_implicit_equalities(), isl_basic_map_remove_redundancies(), isl_map_coalesce(), isl_map_convex_hull(), map_simple_hull(), and update_basic_maps().
#define ISL_BASIC_MAP_NO_REDUNDANT (1 << 3) |
Definition at line 41 of file isl_map_private.h.
Referenced by eliminate_var_using_equality(), extend(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_drop_core(), isl_basic_map_inequality_to_equality(), isl_basic_map_reduce_coefficients(), isl_basic_map_remove_redundancies(), isl_inequality_negate(), isl_map_coalesce(), and update_basic_maps().
#define ISL_BASIC_MAP_NORMALIZED_DIVS (1 << 6) |
Definition at line 44 of file isl_map_private.h.
Referenced by isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_inequality_to_equality(), isl_basic_map_realign(), isl_basic_map_transform_dims(), and normalize_divs().
#define ISL_BASIC_MAP_RATIONAL (1 << 4) |
Definition at line 42 of file isl_map_private.h.
Referenced by can_wrap_in_set(), fuse(), isl_basic_map_detect_equalities(), isl_basic_map_eliminate(), isl_basic_map_is_empty(), isl_basic_map_is_rational(), isl_basic_map_normalize_constraints(), isl_basic_map_plain_cmp(), isl_basic_map_print_isl(), isl_basic_map_project_out(), isl_basic_map_set_rational(), isl_basic_set_set_integral(), isl_map_convex_hull(), isl_tab_from_basic_map(), print_body_map(), print_constraints(), print_split_map(), sol_init(), and tab_for_lexmin().
#define ISL_BASIC_MAP_REDUCED_COEFFICIENTS (1 << 8) |
Definition at line 46 of file isl_map_private.h.
Referenced by isl_basic_map_cow(), isl_basic_map_reduce_coefficients(), and isl_basic_map_simplify().
#define ISL_BASIC_MAP_SORTED (1 << 5) |
Definition at line 43 of file isl_map_private.h.
Referenced by eliminate_var_using_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_drop_core(), isl_basic_map_drop_inequality(), isl_basic_map_inequality_to_equality(), isl_basic_map_move_dims(), isl_basic_map_realign(), isl_basic_map_sort_constraints(), isl_basic_map_swap_div(), isl_basic_map_transform_dims(), and isl_inequality_negate().
#define isl_basic_set isl_basic_map |
Definition at line 13 of file isl_map_private.h.
Referenced by __isl_subclass(), __isl_subclass(), add_adjacent_points(), add_bound(), add_bound_from_constraint(), add_bounds(), add_bounds(), add_cell(), add_constant_poly(), add_constraints_dim_map(), add_delta_constraints(), add_guarded_poly(), add_implied_guards(), add_inter_constraints(), add_inter_proximity_constraints(), add_inter_validity_constraints(), add_intra_constraints(), add_intra_proximity_constraints(), add_intra_validity_constraints(), add_larger_bound_constraint(), add_lineality(), add_lines(), add_node(), add_nodes(), add_non_trivial_lineality(), add_rays(), add_split_on(), add_vertex(), add_vertex(), aff_bind_id(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), affine_hull(), affine_hull_with_cone(), align_context_divs(), alloc_groups(), ast_graft_list_fuse(), base_compute_divs(), basic_guarded_fold(), basic_guarded_poly_bound(), basic_map_partial_lexopt(), basic_map_partial_lexopt_base(), basic_map_partial_lexopt_base_pw_multi_aff(), basic_map_partial_lexopt_base_sol(), basic_map_partial_lexopt_pw_multi_aff(), basic_map_partial_lexopt_symm_core(), isl::basic_set::basic_set(), basic_set_append_equalities(), basic_set_coefficients(), basic_set_maximal_difference_at(), basic_set_no_locals(), basic_set_opt(), basic_set_opt_lp(), basic_set_parameter_preimage(), basic_set_print_omega(), basic_set_sample(), bernstein_coefficients_base(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), box_closure_on_domain(), bset_covers_tab(), bset_from_bmap(), bset_print_constraints_polylib(), bset_to_bmap(), bset_update_count(), build_ast_from_guard(), can_intersect(), can_select(), check_pairwise_disjoint(), check_solution(), coef_var_offset(), coefficients_wrap(), collect_basic_set(), collect_inequalities(), combine_initial_into_second(), common_constraints(), compress_variables(), compressed_guarded_poly_bound(), compressed_multiplicative_call(), compute_atomic_domain(), compute_carrying_sol_coef(), compute_chambers(), compute_divs(), compute_facet(), compute_unroll_domains(), const_bset_to_bmap(), constant_on_domain(), construct_column(), construct_extended_path(), construct_product(), context_gbr_detect_equalities(), context_gbr_peek_basic_set(), context_lex_peek_basic_set(), context_tab_for_lexmin(), convex_hull_0d(), convex_hull_1d(), convex_hull_pair(), convex_hull_pair_elim(), convex_hull_pair_pointed(), isl::basic_map_list::copy(), isl::basic_set::copy(), isl::basic_set::copy(), copy_equalities(), count_map_constraints(), create_node(), create_node_scaled(), delete_row(), detect_implicit_equality_constraints(), do_unroll_iteration(), do_unroll_tree_iteration(), domain_follows_at_depth(), drop_coalescing_constraints(), drop_constant_terms(), drop_irrelevant_constraints(), drop_irrelevant_constraints_marked(), empty_sample(), equal_on_domain(), equalities_in_underlying_set(), extend(), extend_affine_hull(), extends(), extract_domain(), extract_ineq(), extract_node(), extract_pending(), extract_shared_enforced(), factor_sample(), factored_sample(), farkas(), find_context_div(), find_unroll_lower_bound(), find_vertex(), first_parameter_equality(), FN(), FN(), isl::basic_set_list::foreach(), isl::set::foreach_basic_set(), foreach_bound_pair(), foreach_iteration(), foreach_lower_bound(), foreach_upper_bound(), gbr_get_sample(), gbr_init_shifted(), gbr_sample(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), isl::basic_set::get(), get_div_purity(), get_size_bounds(), graft_alloc(), graft_extend_body(), guarded_poly_bound(), harmonize_divs(), harmonize_divs_with_hulls(), has_any_defining_equality(), has_facets(), has_pure_outer_disjunction(), has_sign(), hash_basic_set(), hoist_out_of_context(), homogeneous_map(), induced_lineality_space(), ineq_for_div(), init_lexmin_data(), initial_facet_constraint(), initial_hull(), initial_hull(), initial_solution(), initialize_hull(), insert_if(), inter_coefficients(), intersect_constraints(), interval_sample(), intra_coefficients(), is_internal(), is_ray(), isl_aff_bind_id(), isl_aff_eq_basic_set(), isl_aff_ge_basic_set(), isl_aff_gist(), isl_aff_gt_basic_set(), isl_aff_le_basic_set(), isl_aff_lt_basic_set(), isl_aff_neg_basic_set(), isl_aff_nonneg_basic_set(), isl_aff_pos_basic_set(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), isl_aff_unbind_params_insert_domain(), isl_aff_zero_basic_set(), ISL_ARG_CHOICE(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_expr_from_basic_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_set_pending_generated(), isl_ast_build_specialize_basic_set(), isl_ast_graft_alloc(), isl_ast_graft_alloc_from_children(), isl_ast_graft_enforce(), isl_ast_graft_get_enforced(), isl_ast_graft_list_extract_hoistable_guard(), isl_ast_graft_list_extract_shared_enforced(), isl_ast_graft_preimage_multi_aff(), isl_ast_graft_set_enforced(), isl_ast_graft_unembed(), isl_basic_map_check_compatible_domain(), isl_basic_map_check_compatible_range(), isl_basic_map_compatible_domain(), isl_basic_map_compatible_range(), isl_basic_map_deltas(), isl_basic_map_detect_equalities(), isl_basic_map_domain(), isl_basic_map_expand_divs(), isl_basic_map_from_domain(), isl_basic_map_from_domain_and_range(), isl_basic_map_from_range(), isl_basic_map_gist(), isl_basic_map_gist_domain(), isl_basic_map_has_single_reference(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_is_empty(), isl_basic_map_list_underlying_set(), isl_basic_map_overlying_set(), isl_basic_map_partial_lexmax(), isl_basic_map_partial_lexmax_pw_multi_aff(), isl_basic_map_partial_lexmin(), isl_basic_map_partial_lexmin_pw_multi_aff(), isl_basic_map_range(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_sample(), isl_basic_map_set_tuple_is_equal(), isl_basic_map_underlying_set(), isl_basic_map_wrap(), isl_basic_set_add_constraint(), isl_basic_set_add_constraints_dim_map(), isl_basic_set_add_dims(), isl_basic_set_add_eq(), isl_basic_set_add_ineq(), isl_basic_set_affine_hull(), isl_basic_set_align_params(), isl_basic_set_alloc(), isl_basic_set_alloc_div(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_apply(), isl_basic_set_bound(), isl_basic_set_bound_val(), isl_basic_set_box_from_points(), isl_basic_set_check_equal_space(), isl_basic_set_check_equal_space(), isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_check_range(), isl_basic_set_coefficients(), isl_basic_set_coefficients_base(), isl_basic_set_coefficients_factor(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_coefficients_product(), isl_basic_set_compare_at(), isl_basic_set_compute_divs(), isl_basic_set_compute_vertices(), isl_basic_set_constraint(), isl_basic_set_contains(), isl_basic_set_copy(), isl_basic_set_count_upto(), isl_basic_set_cow(), isl_basic_set_detect_equalities(), isl_basic_set_dim(), isl_basic_set_dim_max_val(), isl_basic_set_dim_residue_class(), isl_basic_set_dims_get_sign(), isl_basic_set_drop(), isl_basic_set_drop_constraints_involving(), isl_basic_set_drop_constraints_involving_dims(), isl_basic_set_drop_constraints_involving_unknown_divs(), isl_basic_set_drop_constraints_not_involving_dims(), isl_basic_set_drop_dims(), isl_basic_set_drop_inequality(), isl_basic_set_drop_unused_params(), isl_basic_set_dump(), isl_basic_set_dup(), isl_basic_set_eliminate(), isl_basic_set_eliminate_vars(), isl_basic_set_empty(), isl_basic_set_eq_is_stride(), isl_basic_set_equalities_matrix(), isl_basic_set_expand_divs(), isl_basic_set_extend(), isl_basic_set_extend_constraints(), isl_basic_set_extract_equalities(), isl_basic_set_factorizer(), isl_basic_set_finalize(), isl_basic_set_first_unknown_div(), isl_basic_set_fix(), isl_basic_set_fix_si(), isl_basic_set_fix_val(), isl_basic_set_flat_product(), isl_basic_set_flatten(), isl_basic_set_follows_at(), isl_basic_set_foreach_bound_pair(), isl_basic_set_foreach_constraint(), isl_basic_set_free(), isl_basic_set_free_equality(), isl_basic_set_free_inequality(), isl_basic_set_from_constraint(), isl_basic_set_from_constraint_matrices(), isl_basic_set_from_local_space(), isl_basic_set_from_multi_aff(), isl_basic_set_from_params(), isl_basic_set_from_point(), isl_basic_set_from_underlying_set(), isl_basic_set_from_vec(), isl_basic_set_full_compression(), isl_basic_set_gauss(), isl_basic_set_get_constraint_list(), isl_basic_set_get_ctx(), isl_basic_set_get_dim_id(), isl_basic_set_get_dim_name(), isl_basic_set_get_div(), isl_basic_set_get_divs(), isl_basic_set_get_hash(), isl_basic_set_get_local_space(), isl_basic_set_get_space(), isl_basic_set_get_tuple_name(), isl_basic_set_gist(), isl_basic_set_has_defining_equality(), isl_basic_set_has_defining_equality(), isl_basic_set_has_defining_inequalities(), isl_basic_set_implicit_equalities(), isl_basic_set_inequalities_matrix(), isl_basic_set_insert_dims(), isl_basic_set_interior_point(), isl_basic_set_intersect(), isl_basic_set_intersect_params(), isl_basic_set_involves_dims(), isl_basic_set_involves_locals(), isl_basic_set_is_bounded(), isl_basic_set_is_box(), isl_basic_set_is_disjoint(), isl_basic_set_is_empty(), isl_basic_set_is_equal(), isl_basic_set_is_params(), isl_basic_set_is_rational(), isl_basic_set_is_subset(), isl_basic_set_is_universe(), isl_basic_set_is_wrapping(), isl_basic_set_lexmax(), isl_basic_set_lexmin(), isl_basic_set_lexmin_compute_divs(), isl_basic_set_lexopt(), isl_basic_set_lift(), isl_basic_set_lineality_space(), isl_basic_set_list_intersect(), isl_basic_set_list_intersect(), isl_basic_set_list_union(), isl_basic_set_lower_bound_val(), isl_basic_set_max_lp_val(), isl_basic_set_max_val(), isl_basic_set_min_lp_val(), isl_basic_set_move_dims(), isl_basic_set_multiplicative_call(), isl_basic_set_n_constraint(), isl_basic_set_n_dim(), isl_basic_set_n_equality(), isl_basic_set_n_inequality(), isl_basic_set_n_param(), isl_basic_set_nat_universe(), isl_basic_set_neg(), isl_basic_set_normalize_constraints(), isl_basic_set_offset(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_opt_val(), isl_basic_set_parameter_compression(), isl_basic_set_params(), isl_basic_set_partial_lexmax(), isl_basic_set_partial_lexmax_pw_multi_aff(), isl_basic_set_partial_lexmin(), isl_basic_set_partial_lexmin_pw_multi_aff(), isl_basic_set_peek_space(), isl_basic_set_plain_affine_hull(), isl_basic_set_plain_cmp(), isl_basic_set_plain_dim_is_fixed(), isl_basic_set_plain_has_fixed_var(), isl_basic_set_plain_is_disjoint(), isl_basic_set_plain_is_empty(), isl_basic_set_plain_is_equal(), isl_basic_set_plain_is_universe(), isl_basic_set_positive_orthant(), isl_basic_set_preimage(), isl_basic_set_preimage_multi_aff(), isl_basic_set_print_internal(), isl_basic_set_print_polylib(), isl_basic_set_project_out(), isl_basic_set_read_from_file(), isl_basic_set_read_from_str(), isl_basic_set_recession_cone(), isl_basic_set_reduce_using_equalities(), isl_basic_set_reduced_basis(), isl_basic_set_remove_dims(), isl_basic_set_remove_divs(), isl_basic_set_remove_divs_involving_dims(), isl_basic_set_remove_equalities(), isl_basic_set_remove_redundancies(), isl_basic_set_remove_unknown_divs(), isl_basic_set_reset_space(), isl_basic_set_sample(), isl_basic_set_sample_bounded(), isl_basic_set_sample_point(), isl_basic_set_sample_vec(), isl_basic_set_sample_with_cone(), isl_basic_set_samples(), isl_basic_set_scan(), isl_basic_set_scan_samples(), isl_basic_set_set_dim_name(), isl_basic_set_set_integral(), isl_basic_set_set_rational(), isl_basic_set_set_to_empty(), isl_basic_set_set_tuple_id(), isl_basic_set_set_tuple_name(), isl_basic_set_simplify(), isl_basic_set_size(), isl_basic_set_solutions(), isl_basic_set_solve_ilp(), isl_basic_set_solve_lp(), isl_basic_set_sort_constraints(), isl_basic_set_sort_divs(), isl_basic_set_space_has_equal_params(), isl_basic_set_tighten_outward(), isl_basic_set_to_set(), isl_basic_set_to_str(), isl_basic_set_total_dim(), isl_basic_set_transform_dims(), isl_basic_set_underlying_set(), isl_basic_set_union(), isl_basic_set_universe(), isl_basic_set_unwrap(), isl_basic_set_update_from_tab(), isl_basic_set_upper_bound_val(), isl_basic_set_var_offset(), isl_basic_set_variable_compression(), isl_basic_set_variable_compression_with_id(), isl_basic_set_vars_get_sign(), isl_cell_alloc(), isl_cell_get_domain(), isl_constraint_is_equality(), isl_context_alloc(), isl_context_gbr_alloc(), isl_context_lex_alloc(), isl_factorizer_alloc(), isl_factorizer_every_factor_basic_set(), isl_factorizer_groups(), isl_factorizer_identity(), isl_local_space_check_range(), isl_local_space_lift_basic_set(), isl_local_space_lift_set(), isl_local_space_lifting(), isl_local_space_substitute_equalities(), isl_map_affine_hull(), isl_map_align_params_set(), isl_map_check_equal_space(), isl_map_check_named_params(), isl_map_convex_hull(), isl_map_has_equal_space(), isl_map_lexmax_pw_multi_aff(), isl_map_project_out_all_params(), isl_morph_alloc(), isl_morph_basic_set(), isl_morph_compose(), isl_morph_empty(), isl_morph_identity(), isl_morph_inverse(), isl_morph_set(), isl_multi_aff_bind(), isl_multi_aff_domain(), isl_multi_aff_dup(), isl_multi_aff_from_basic_set_equalities(), isl_multi_aff_substitute_equalities(), isl_printer_print_basic_set(), isl_pw_multi_aff_check_named_params(), isl_pw_multi_aff_project_out(), isl_pw_qpolynomial_fold_morph_domain(), isl_pw_qpolynomial_gist_params(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_bound_on_domain_range(), isl_qpolynomial_cst_bound(), isl_qpolynomial_fold_substitute_equalities(), isl_qpolynomial_gist(), isl_qpolynomial_involves_dims(), isl_qpolynomial_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), isl_set_add_basic_set(), isl_set_affine_hull(), isl_set_basic_set_check_equal_space(), isl_set_basic_set_check_equal_space(), isl_set_bounded_simple_hull(), isl_set_box_from_points(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_convex_hull(), isl_set_dump(), isl_set_every_basic_set(), isl_set_foreach_basic_set(), isl_set_from_basic_set(), isl_set_from_point(), isl_set_get_basic_set_list(), isl_set_gist_basic_set(), isl_set_gist_params_basic_set(), isl_set_lexmax_pw_multi_aff(), isl_set_plain_gist_basic_set(), isl_set_plain_unshifted_simple_hull(), isl_set_polyhedral_hull(), isl_set_sample(), isl_set_simple_hull(), isl_set_solutions(), isl_set_split_dims(), isl_set_unshifted_simple_hull(), isl_set_unshifted_simple_hull_from_set_list(), isl_set_wrap_facet(), isl_stream_read_ast_graft(), isl_stream_read_basic_set(), isl_tab_basic_map_partial_lexopt(), isl_tab_basic_map_partial_lexopt_pw_multi_aff(), isl_tab_basic_set_non_trivial_lexmin(), isl_tab_detect_equalities(), isl_tab_from_basic_set(), isl_tab_from_recession_cone(), isl_tab_lexmin_from_basic_set(), isl_tab_peek_bset(), isl_tab_track_bset(), isl_union_pw_aff_max_val(), isl_union_set_from_basic_set(), isl_union_set_sample(), isl_vertex_get_domain(), isl_vertex_get_expr(), isl_vertices_foreach_cell(), isl_vertices_foreach_disjoint_cell(), join_initial(), lower_dim_vertices(), lower_dim_vertices_free(), lp_add_inter(), lp_add_intra(), main(), isl::basic_set::manage, isl::basic_set::manage_copy, map_intersect_set(), map_simple_hull(), mark_shifted_constraints(), modulo_affine_hull(), modulo_lineality(), monotonicity(), move_parameters(), multiplicative_call_base(), multiplicative_call_factor_pw_qpolynomial(), need_split_basic_set(), neg_halfspace(), non_neg_lexmin(), nonneg_halfspace(), opt_at(), parameter_compute_divs(), parametric_constant_never_positive(), path_along_delta(), plug_in(), plug_in_parameters(), print_basic_set_c(), project_onto_involved(), propagate_on_bound_pair(), propagate_on_domain(), proto_hull(), purity(), pw_aff_locus(), qpolynomial_bound_on_domain_range(), rational_sample(), rational_universe(), refine_generic(), isl::basic_set::release(), remove_shifted_constraints(), replace_by_empty(), return_with_identity(), round_up_in_cone(), sample_bounded(), sample_eq(), scan_0D(), select_minimum(), set_bounds(), set_common_multiple(), set_compute_elimination_index(), set_detect_stride(), set_dim_extent(), set_div_slice(), set_enforced_from_list(), set_enforced_from_set(), set_from_updated_bmap(), set_hash_index(), set_largest_lower_bound(), set_minimum(), set_minimum_pa(), set_reduced_using_equalities(), set_smallest_upper_bound(), set_up_substitutions(), setup_constraint_index(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), shared_outer(), shift_cone(), sol_add(), sol_domain(), sol_init(), sol_map_add(), sol_map_add_empty(), sol_map_add_empty_wrap(), sol_map_add_wrap(), sol_map_init(), sol_pma_add(), sol_pma_add_empty(), sol_pma_add_empty_wrap(), sol_pma_add_wrap(), sol_pma_init(), sol_push_sol(), sol_push_sol_mat(), solve_ilp(), solve_ilp_search(), solve_ilp_with_eq(), solve_lp(), substitute_equalities(), tab_equalities(), tab_for_lexmin(), tab_for_shifted_cone(), tab_shift_cone(), test_affine_hull(), test_affine_hull_case(), test_application_case(), test_chambers(), test_coalesce_union(), test_compute_divs(), test_construction_1(), test_construction_2(), test_convex_hull_case(), test_div(), test_drop_unused_parameters(), test_dual(), test_elimination(), test_empty_projection(), test_factorize(), test_gist(), test_gist_fail(), test_intersect_1(), test_lift(), test_ma_conversion(), test_min_special(), test_min_special2(), test_partial_lexmin(), test_plain_unshifted_simple_hull_special(), test_read(), test_recession_cone(), test_sample(), test_simple_hull(), test_simplify_1(), test_simplify_2(), test_universe(), test_various_simple_hull(), test_vertices(), to_parameter_domain(), transform_column(), triangulate(), try_extract_mod(), unit_box_base_points(), unwrapped_guarded_poly_bound(), update_count(), update_enforced(), update_ineq(), update_ineq_free(), update_values(), uset_affine_hull(), uset_affine_hull_bounded(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_convex_hull_wrap(), uset_convex_hull_wrap_bounded(), uset_gist(), uset_gist_compressed(), uset_gist_full(), uset_gist_uncompressed(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), valid_direction(), valid_direction_lp(), vertex_coordinate(), vertex_is_integral(), vertex_on_facet(), vertices_0D(), vertices_empty(), vertices_from_list(), wrap_constraints(), and zero_sample().
#define ISL_BASIC_SET_ALL_EQUALITIES (1 << 7) |
Definition at line 54 of file isl_map_private.h.
Referenced by isl_basic_set_preimage().
#define ISL_BASIC_SET_EMPTY (1 << 1) |
Definition at line 48 of file isl_map_private.h.
Referenced by isl_basic_map_detect_equalities(), isl_basic_set_plain_is_empty(), isl_basic_set_remove_equalities(), sample_bounded(), and uset_is_bound().
#define ISL_BASIC_SET_FINAL (1 << 0) |
Definition at line 47 of file isl_map_private.h.
Referenced by dup_constraints(), isl_basic_map_copy(), isl_basic_map_cow(), isl_basic_map_extend(), isl_basic_map_from_constraint(), and isl_basic_map_mark_final().
#define isl_basic_set_list isl_basic_map_list |
Definition at line 16 of file isl_map_private.h.
Referenced by add_all_constraints(), add_cell(), add_list(), add_nodes(), add_split_on(), isl::basic_set_list::basic_set_list(), check_pairwise_disjoint(), collect_basic_set(), collect_inequalities(), collect_inter_validity(), collect_intra_validity(), compute_atomic_domain(), compute_carrying_sol_coef(), compute_domains(), compute_partial_domains(), compute_separate_domain(), compute_unroll_domains(), isl::basic_set::copy(), isl::basic_set_list::copy(), isl::basic_set_list::copy(), count_all_constraints(), do_unroll_iteration(), generate_parallel_domains(), generate_shifted_component_flat(), generate_shifted_component_tree_base(), generate_shifted_component_tree_separate(), generate_sorted_domains(), generate_sorted_domains_wrap(), isl::basic_set_list::get(), isl_ast_build_expr_from_set_internal(), isl_basic_map_has_single_reference(), isl_basic_map_list_underlying_set(), isl_basic_set_list_coefficients(), isl_basic_set_list_from_set(), isl_basic_set_list_intersect(), isl_basic_set_list_intersect(), isl_basic_set_list_union(), isl_set_get_basic_set_list(), isl_set_lexmax_pw_multi_aff(), isl_union_set_get_basic_set_list(), isl::basic_set_list::manage, isl::basic_set_list::manage_copy, map_unshifted_simple_hull_from_basic_map_list(), isl::basic_set_list::release(), setup_carry_lp(), test_chambers(), uset_convex_hull_unbounded(), and uset_unshifted_simple_hull_from_basic_set_list().
#define ISL_BASIC_SET_NO_IMPLICIT (1 << 2) |
Definition at line 49 of file isl_map_private.h.
Referenced by isl_basic_set_preimage(), isl_basic_set_recession_cone(), sample_bounded(), uset_gist(), and uset_gist_full().
#define ISL_BASIC_SET_NO_REDUNDANT (1 << 3) |
Definition at line 50 of file isl_map_private.h.
Referenced by create_todo(), has_facets(), isl_basic_set_preimage(), uset_gist(), and uset_gist_full().
#define ISL_BASIC_SET_NORMALIZED_DIVS (1 << 6) |
Definition at line 53 of file isl_map_private.h.
Referenced by isl_basic_set_preimage().
#define ISL_BASIC_SET_RATIONAL (1 << 4) |
Definition at line 51 of file isl_map_private.h.
Referenced by isl_tab_from_recession_cone(), and tab_for_shifted_cone().
#define ISL_BASIC_SET_REDUCED_COEFFICIENTS (1 << 8) |
Definition at line 55 of file isl_map_private.h.
#define ISL_BASIC_SET_SORTED (1 << 5) |
Definition at line 52 of file isl_map_private.h.
Referenced by isl_basic_map_swap_vars(), and isl_basic_set_preimage().
#define ISL_MAP_DISJOINT (1 << 0) |
Definition at line 98 of file isl_map_private.h.
Referenced by drop_constraints(), isl_map_apply_range(), isl_map_compute_divs(), isl_map_drop_constraints_involving_unknown_divs(), isl_map_empty(), isl_map_floordiv(), isl_map_from_basic_map(), isl_map_make_disjoint(), isl_map_plain_gist_basic_map(), isl_map_project_out(), isl_map_remove_obvious_duplicates(), isl_map_subtract(), isl_map_union(), isl_map_universe(), isl_set_empty(), isl_set_universe(), map_intersect_internal(), map_intersect_set(), map_lex_gte_first(), map_lex_lte_first(), map_preimage_multi_aff(), map_product(), map_union_disjoint(), and sol_map_init().
#define ISL_MAP_NORMALIZED (1 << 1) |
Definition at line 99 of file isl_map_private.h.
Referenced by isl_map_gist_basic_map(), isl_map_normalize(), isl_map_plain_gist_basic_map(), isl_map_remove_obvious_duplicates(), and isl_map_unmark_normalized().
#define isl_maybe_isl_basic_set isl_maybe_isl_basic_map |
Definition at line 14 of file isl_map_private.h.
Referenced by inter_coefficients(), and intra_coefficients().
Definition at line 15 of file isl_map_private.h.
Referenced by __isl_subclass(), __isl_subclass(), add_bound(), add_bound_from_constraint(), add_bounds(), add_constraint(), add_domain(), add_fold(), add_guarded_poly(), add_implied_guards(), add_intermediate_piece(), add_lineality(), add_list(), add_loop_types(), add_n(), add_node(), add_node(), add_non_trivial_lineality(), add_pw_multi_aff_from_domain(), add_same_guard(), add_selected_wraps(), add_selected_wraps_around_facet(), add_split_on(), add_to_guard_list(), add_valid_wraps_around_facet(), add_wrap(), add_wraps(), add_wraps_around_facet(), addNumBasicSets(), polly::IslNodeBuilder::addParameters(), polly::ScopBuilder::addRecordedAssumptions(), polly::ScopBuilder::addUserAssumptions(), aff_constant_is_negative(), after_in_context(), all_intermediate_sources(), all_later_sources(), all_sources(), ast_expr_from_pw_aff(), ast_graft_list_fuse(), ast_node_insert_if(), base_compute_divs(), basic_map_partial_lexopt(), basic_map_partial_lexopt_base(), basic_map_partial_lexopt_base_pw_multi_aff(), basic_map_partial_lexopt_base_sol(), basic_map_partial_lexopt_pw_multi_aff(), basic_map_partial_lexopt_symm_core(), before_for(), bernstein_coefficients_cell(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), bind_id(), box_closure(), box_closure_on_domain(), box_closure_with_identity(), build_ast_from_context(), build_ast_from_domain(), build_ast_from_extension(), build_ast_from_guard(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildUnsignedConditionSets(), polly::Dependences::calculateDependences(), call_create_leaf(), can_be_split_off(), can_wrap_in_facet(), check_eq_adj_eq(), check_exactness_omega(), check_single_expr_min(), check_solution(), check_solution(), cocoa_fig_1_right_graph(), coefficients_entry(), collect_bounds(), collectInfo(), combined_lineality_space(), common_constraints(), composability(), compress_node(), compressed_multiplicative_call(), compute_atomic_domain(), compute_class_domains(), compute_divs(), compute_domains(), compute_domains_init_options(), compute_facet(), compute_mem_based_dependences(), compute_partial_domains(), compute_schedule_with_context(), compute_separate_domain(), compute_size(), compute_sizes(), compute_sizes_and_max(), compute_unroll_domains(), compute_val_based_dependences(), construct_ast_from_union_map(), construct_component(), construct_compressed_id(), construct_constraints(), convex_hull_0d(), convex_hull_1d(), convex_hull_pair(), convex_hull_pair_pointed(), isl::set::copy(), isl::set::copy(), coscheduled_source(), create_node(), create_node_scaled(), dim_is_fixed(), distance_is_bounded(), do_unroll(), do_unroll_iteration(), drop_coalescing_constraints(), polly::dumpExpanded(), polly::dumpPw(), equal_on_domain(), equate_params(), isl::union_set::every_set(), exact_bound(), explicit_bounds(), extend(), extend_domain(), extend_max(), extend_min(), extends(), extends_max(), extends_min(), extract_coefficients(), extract_disjunction(), extract_hull(), extract_loop_type(), extract_node(), extract_pending(), extract_single_piece(), find_unroll_lower_bound(), fix_inactive(), fixed_box_as_map(), floyd_warshall(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), isl::set_list::foreach(), foreach_iteration(), foreach_lifted_subset(), foreach_orthant(), isl::pw_aff::foreach_piece(), isl::pw_multi_aff::foreach_piece(), foreach_point(), isl::union_set::foreach_set(), gen_bin_set_op(), generate_code_in_space(), generate_code_set(), generate_component(), generate_domain(), generate_name(), generate_shifted_component_only_after(), generate_shifted_component_parts(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), generate_shifted_component_tree_separate(), generate_shifted_component_tree_unroll(), isl::set::get(), get_expanded_n_div(), getWidthExpValOnDomain(), gist(), gist_guards(), graft_alloc(), guarded_fold(), has_any(), has_bounded_distances(), has_pure_outer_disjunction(), has_single_value(), has_singular_src_or_dst(), has_spurious_elements(), hoist_guard(), hoist_out_of_context(), identity_upma(), implicit_bounds(), importAccesses(), incremental_closure(), incremental_on_entire_domain(), init_n_maxvar(), initial_facet_constraint(), initial_hull(), insert_dummy_tags(), insert_if(), insert_if_node(), insert_pending_guard_nodes(), inter_coefficients(), intermediate_sources(), intersect_constraints(), intersect_explicit_domain(), intersect_stride_constraint(), intra_coefficients(), is_acyclic(), is_adj_ineq_extension(), is_bound(), is_isolate(), is_isolate_loop_type_option(), is_loop_type_option(), isl_aff_add_on_domain(), isl_aff_eq_set(), isl_aff_ge_set(), isl_aff_gist(), isl_aff_gist_params(), isl_aff_gt_set(), isl_aff_le_set(), isl_aff_lt_set(), isl_aff_ne_set(), isl_aff_unbind_params_insert_domain(), ISL_ARG_CHILD(), isl_ast_build_aff_is_nonneg(), isl_ast_build_alloc(), isl_ast_build_compute_gist(), isl_ast_build_detect_strides(), isl_ast_build_eliminate(), isl_ast_build_eliminate_divs(), isl_ast_build_eliminate_inner(), isl_ast_build_expr_from_basic_set(), isl_ast_build_expr_from_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_extract_isolated(), isl_ast_build_from_context(), isl_ast_build_get_domain(), isl_ast_build_get_generated(), isl_ast_build_get_isolated(), isl_ast_build_get_option_domain(), isl_ast_build_get_pending(), isl_ast_build_get_stride_constraint(), isl_ast_build_include_stride(), isl_ast_build_init(), isl_ast_build_map_to_iterator(), isl_ast_build_product(), isl_ast_build_replace_pending_by_guard(), isl_ast_build_restrict(), isl_ast_build_restrict_generated(), isl_ast_build_restrict_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_specialize(), isl_ast_graft_add_guard(), isl_ast_graft_alloc(), isl_ast_graft_alloc_from_children(), isl_ast_graft_get_guard(), isl_ast_graft_list_extract_hoistable_guard(), isl_ast_graft_list_gist_guards(), isl_ast_graft_list_insert_pending_guard_nodes(), isl_basic_map_expand_divs(), isl_basic_map_has_single_reference(), isl_basic_map_partial_lexmax(), isl_basic_map_partial_lexmax_pw_multi_aff(), isl_basic_map_partial_lexmin(), isl_basic_map_partial_lexmin_pw_multi_aff(), isl_basic_set_compute_divs(), isl_basic_set_lexmax(), isl_basic_set_lexmin(), isl_basic_set_lexmin_compute_divs(), isl_basic_set_lexopt(), isl_basic_set_list_from_set(), isl_basic_set_list_intersect(), isl_basic_set_list_union(), isl_basic_set_partial_lexmax(), isl_basic_set_partial_lexmax_pw_multi_aff(), isl_basic_set_partial_lexmin(), isl_basic_set_partial_lexmin_pw_multi_aff(), isl_basic_set_read_from_str(), isl_basic_set_to_set(), isl_basic_set_union(), isl_local_space_check_range(), isl_local_space_lift_set(), isl_map_affine_hull(), isl_map_align_params_set(), isl_map_apply_pw_qpolynomial_fold(), isl_map_bind_domain(), isl_map_bind_range(), isl_map_check_named_params(), isl_map_compatible_domain(), isl_map_compatible_range(), isl_map_convex_hull(), isl_map_deltas(), isl_map_domain(), isl_map_from_domain(), isl_map_from_domain_and_range(), isl_map_from_range(), isl_map_get_range_stride_info(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_map_has_equal_space(), isl_map_intersect_domain(), isl_map_intersect_domain_wrapped_domain(), isl_map_intersect_multi_pw_aff_explicit_domain(), isl_map_intersect_params(), isl_map_intersect_range(), isl_map_intersect_range_wrapped_domain(), isl_map_is_translation(), isl_map_lexmax_pw_multi_aff(), isl_map_params(), isl_map_partial_lexmax(), isl_map_partial_lexmin(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_project_out_all_params(), isl_map_range(), isl_map_set_has_equal_params(), isl_map_set_tuple_is_equal(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_map_underlying_set(), isl_map_wrap(), isl_morph_set(), isl_multi_aff_add_on_domain(), isl_multi_aff_as_set(), isl_multi_aff_gist(), isl_multi_aff_gist_params(), isl_multi_aff_lex_ge_set(), isl_multi_aff_lex_gt_set(), isl_multi_aff_lex_gte_set(), isl_multi_aff_lex_gte_set_0d(), isl_multi_aff_lex_le_set(), isl_multi_aff_lex_lt_set(), isl_multi_aff_move_dims(), isl_multi_aff_order_at(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_pw_aff_as_set(), isl_multi_pw_aff_bind(), isl_multi_pw_aff_domain(), isl_multi_pw_aff_from_pw_multi_aff(), isl_multi_pw_aff_gist(), isl_multi_pw_aff_gist_params(), isl_multi_pw_aff_intersect_domain(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_multi_pw_aff_intersect_params(), isl_multi_pw_aff_move_dims(), isl_multi_union_pw_aff_apply_pw_aff(), isl_multi_union_pw_aff_gist_params(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_multi_union_pw_aff_intersect_params(), isl_multi_union_pw_aff_intersect_range(), isl_obj_set_add(), isl_obj_set_copy(), isl_obj_set_free(), isl_obj_set_print(), isl_options_get_ast_build_allow_or(), isl_options_get_schedule_carry_self_first(), isl_options_get_tile_shift_point_loops(), isl_point_to_set(), isl_poly_mul(), isl_printer_print_set(), isl_pw_aff_alloc(), isl_pw_aff_as_aff(), isl_pw_aff_bind_domain_wrapped_domain(), isl_pw_aff_bind_id(), isl_pw_aff_cond(), isl_pw_aff_domain(), isl_pw_aff_dump(), isl_pw_aff_eq_set(), isl_pw_aff_every_piece(), isl_pw_aff_foreach_piece(), isl_pw_aff_ge_set(), isl_pw_aff_gist(), isl_pw_aff_gist_params(), isl_pw_aff_gt_set(), isl_pw_aff_intersect_domain(), isl_pw_aff_intersect_domain_wrapped_domain(), isl_pw_aff_intersect_domain_wrapped_range(), isl_pw_aff_intersect_params(), isl_pw_aff_le_set(), isl_pw_aff_list_eq_set(), isl_pw_aff_list_ge_set(), isl_pw_aff_list_gt_set(), isl_pw_aff_list_le_set(), isl_pw_aff_list_lt_set(), isl_pw_aff_list_ne_set(), isl_pw_aff_list_opt(), isl_pw_aff_lt_set(), isl_pw_aff_ne_set(), isl_pw_aff_non_zero_set(), isl_pw_aff_nonneg_set(), isl_pw_aff_order_map(), isl_pw_aff_param_on_domain_id(), isl_pw_aff_params(), isl_pw_aff_pos_set(), isl_pw_aff_select(), isl_pw_aff_subtract_domain(), isl_pw_aff_tdiv_q(), isl_pw_aff_val_on_domain(), isl_pw_aff_zero_set(), isl_pw_multi_aff_alloc(), isl_pw_multi_aff_as_multi_aff(), isl_pw_multi_aff_as_set(), isl_pw_multi_aff_domain(), isl_pw_multi_aff_empty(), isl_pw_multi_aff_every_piece(), isl_pw_multi_aff_foreach_piece(), isl_pw_multi_aff_from_domain(), isl_pw_multi_aff_from_multi_pw_aff_0D(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_from_set(), isl_pw_multi_aff_gist(), isl_pw_multi_aff_gist_params(), isl_pw_multi_aff_intersect_domain(), isl_pw_multi_aff_intersect_domain_wrapped_domain(), isl_pw_multi_aff_intersect_domain_wrapped_range(), isl_pw_multi_aff_intersect_params(), isl_pw_multi_aff_multi_val_on_domain(), isl_pw_multi_aff_product(), isl_pw_multi_aff_substitute(), isl_pw_multi_aff_subtract_domain(), isl_pw_multi_aff_to_str(), isl_pw_qpolynomial_add_piece(), isl_pw_qpolynomial_alloc(), isl_pw_qpolynomial_domain(), isl_pw_qpolynomial_every_piece(), isl_pw_qpolynomial_fold_alloc(), isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_domain(), isl_pw_qpolynomial_fold_every_piece(), isl_pw_qpolynomial_fold_fix_val(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_foreach_lifted_piece(), isl_pw_qpolynomial_fold_foreach_piece(), isl_pw_qpolynomial_fold_gist(), isl_pw_qpolynomial_fold_gist_params(), isl_pw_qpolynomial_fold_intersect_domain(), isl_pw_qpolynomial_fold_intersect_domain_wrapped_domain(), isl_pw_qpolynomial_fold_intersect_domain_wrapped_range(), isl_pw_qpolynomial_fold_intersect_params(), isl_pw_qpolynomial_fold_min(), isl_pw_qpolynomial_fold_morph_domain(), isl_pw_qpolynomial_fold_peek_base_at(), isl_pw_qpolynomial_fold_subtract_domain(), isl_pw_qpolynomial_foreach_lifted_piece(), isl_pw_qpolynomial_foreach_piece(), isl_pw_qpolynomial_from_pw_aff(), isl_pw_qpolynomial_gist(), isl_pw_qpolynomial_gist_params(), isl_pw_qpolynomial_intersect_domain(), isl_pw_qpolynomial_intersect_domain_wrapped_domain(), isl_pw_qpolynomial_intersect_domain_wrapped_range(), isl_pw_qpolynomial_intersect_params(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_project_out(), isl_pw_qpolynomial_subtract_domain(), isl_qpolynomial_add_on_domain(), isl_qpolynomial_aff_sign(), isl_qpolynomial_cst_bound(), isl_qpolynomial_fold_add_on_domain(), isl_qpolynomial_fold_fold_on_domain(), isl_qpolynomial_fold_gist(), isl_qpolynomial_fold_gist_params(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_gist(), isl_qpolynomial_gist_params(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_sign(), isl_restriction_input(), isl_restriction_output(), isl_sched_graph_domain(), isl_schedule_band_get_ast_isolate_option(), isl_schedule_band_replace_ast_build_option(), isl_schedule_constraints_get_context(), isl_schedule_constraints_set_context(), isl_schedule_constraints_to_str(), isl_schedule_gist_domain_params(), isl_schedule_insert_context(), isl_schedule_insert_guard(), isl_schedule_node_band_get_ast_isolate_option(), isl_schedule_node_context_get_context(), isl_schedule_node_domain_gist_params(), isl_schedule_node_group(), isl_schedule_node_guard_get_guard(), isl_schedule_node_insert_context(), isl_schedule_node_insert_guard(), isl_schedule_tree_band_get_ast_isolate_option(), isl_schedule_tree_band_split(), isl_schedule_tree_context_get_context(), isl_schedule_tree_from_context(), isl_schedule_tree_from_guard(), isl_schedule_tree_guard_get_guard(), isl_schedule_tree_guard_get_guard(), isl_schedule_tree_insert_context(), isl_schedule_tree_insert_guard(), isl_set_add_basic_set(), isl_set_add_basic_set_equality(), isl_set_add_constraint(), isl_set_add_dims(), isl_set_affine_hull(), isl_set_align_divs(), isl_set_align_params(), isl_set_alloc_space(), isl_set_apply(), isl_set_apply_pw_qpolynomial_fold(), isl_set_as_pw_multi_aff(), isl_set_basic_set_check_equal_space(), isl_set_basic_set_check_equal_space(), isl_set_bind(), isl_set_bounded_simple_hull(), isl_set_box_from_points(), isl_set_check_is_set(), isl_set_check_range(), isl_set_check_range(), isl_set_coalesce(), isl_set_coalesce_preserve(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_complement(), isl_set_compute_divs(), isl_set_contains_point(), isl_set_convex_hull(), isl_set_copy(), isl_set_count(), isl_set_count_upto(), isl_set_count_val(), isl_set_cow(), isl_set_detect_equalities(), isl_set_dim(), isl_set_dim_has_any_lower_bound(), isl_set_dim_has_any_upper_bound(), isl_set_dim_has_lower_bound(), isl_set_dim_has_upper_bound(), isl_set_dim_is_bounded(), isl_set_dim_max(), isl_set_dim_max_val(), isl_set_dim_min(), isl_set_dim_min_val(), isl_set_dim_residue_class(), isl_set_dim_residue_class_val(), isl_set_drop(), isl_set_drop_constraints_involving_dims(), isl_set_drop_constraints_not_involving_dims(), isl_set_drop_unused_params(), isl_set_dump(), isl_set_eliminate(), isl_set_eliminate_dims(), isl_set_empty(), isl_set_equate(), isl_set_every_basic_set(), isl_set_find_dim_by_id(), isl_set_find_dim_by_name(), isl_set_fix(), isl_set_fix_dim_si(), isl_set_fix_si(), isl_set_fix_val(), isl_set_flat_product(), isl_set_flatten(), isl_set_flatten_map(), isl_set_follows_at(), isl_set_foreach_basic_set(), isl_set_foreach_orthant(), isl_set_foreach_point(), isl_set_free(), isl_set_from_basic_set(), isl_set_from_multi_aff(), isl_set_from_multi_pw_aff(), isl_set_from_params(), isl_set_from_point(), isl_set_from_pw_aff(), isl_set_from_pw_multi_aff(), isl_set_from_union_set(), isl_set_get_basic_set_list(), isl_set_get_ctx(), isl_set_get_dim_id(), isl_set_get_dim_name(), isl_set_get_hash(), isl_set_get_lattice_tile(), isl_set_get_plain_multi_val_if_fixed(), isl_set_get_simple_fixed_box_hull(), isl_set_get_space(), isl_set_get_stride(), isl_set_get_stride_info(), isl_set_get_tuple_id(), isl_set_get_tuple_name(), isl_set_gist(), isl_set_gist_basic_set(), isl_set_gist_params(), isl_set_gist_params_basic_set(), isl_set_grow(), isl_set_has_dim_id(), isl_set_has_dim_name(), isl_set_has_equal_space(), isl_set_has_rational(), isl_set_has_tuple_id(), isl_set_has_tuple_name(), isl_set_identity(), isl_set_indicator_function(), isl_set_insert_dims(), isl_set_insert_domain(), isl_set_intersect(), isl_set_intersect_factor_domain(), isl_set_intersect_factor_range(), isl_set_intersect_params(), isl_set_involves_dims(), isl_set_involves_locals(), isl_set_is_bounded(), isl_set_is_box(), isl_set_is_disjoint(), isl_set_is_empty(), isl_set_is_equal(), isl_set_is_params(), isl_set_is_rational(), isl_set_is_singleton(), isl_set_is_strict_subset(), isl_set_is_subset(), isl_set_is_wrapping(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), isl_set_lexmax(), isl_set_lexmax_pw_multi_aff(), isl_set_lexmin(), isl_set_lexmin_pw_multi_aff(), isl_set_lift(), isl_set_list_union(), isl_set_local_affine_hull(), isl_set_lower_bound(), isl_set_lower_bound_multi_pw_aff(), isl_set_lower_bound_multi_val(), isl_set_lower_bound_si(), isl_set_lower_bound_val(), isl_set_make_disjoint(), isl_set_max_multi_pw_aff(), isl_set_max_val(), isl_set_min_multi_pw_aff(), isl_set_min_val(), isl_set_move_dims(), isl_set_n_basic_set(), isl_set_n_dim(), isl_set_n_param(), isl_set_nat_universe(), isl_set_neg(), isl_set_normalize(), isl_set_opt(), isl_set_opt_aligned(), isl_set_opt_val(), isl_set_overlaps(), isl_set_param_pw_aff_on_domain_id(), isl_set_params(), isl_set_partial_lexmax(), isl_set_partial_lexmin(), isl_set_peek_space(), isl_set_plain_cmp(), isl_set_plain_get_val_if_fixed(), isl_set_plain_gist_basic_set(), isl_set_plain_is_disjoint(), isl_set_plain_is_empty(), isl_set_plain_is_equal(), isl_set_plain_is_universe(), isl_set_plain_unshifted_simple_hull(), isl_set_polyhedral_hull(), isl_set_preimage(), isl_set_preimage_multi_aff(), isl_set_preimage_multi_pw_aff(), isl_set_preimage_pw_multi_aff(), isl_set_print_internal(), isl_set_print_omega(), isl_set_print_polylib(), isl_set_product(), isl_set_project_onto_map(), isl_set_project_out(), isl_set_project_out_all_params(), isl_set_project_out_param_id(), isl_set_project_out_param_id_list(), isl_set_pw_aff_on_domain_val(), isl_set_pw_multi_aff_on_domain_multi_val(), isl_set_read_from_file(), isl_set_read_from_str(), isl_set_realign(), isl_set_remove_dims(), isl_set_remove_divs(), isl_set_remove_divs_involving_dims(), isl_set_remove_empty_parts(), isl_set_remove_redundancies(), isl_set_remove_unknown_divs(), isl_set_reset_space(), isl_set_reset_tuple_id(), isl_set_reset_user(), isl_set_sample(), isl_set_sample_point(), isl_set_scan(), isl_set_set_dim_id(), isl_set_set_dim_name(), isl_set_set_rational(), isl_set_set_tuple_id(), isl_set_set_tuple_name(), isl_set_simple_hull(), isl_set_size(), isl_set_solutions(), isl_set_solve_lp(), isl_set_space_has_equal_params(), isl_set_split_dims(), isl_set_substitute(), isl_set_subtract(), isl_set_sum(), isl_set_to_str(), isl_set_to_union_set(), isl_set_translation(), isl_set_tuple_dim(), isl_set_unbind_params(), isl_set_unbind_params_insert_domain(), isl_set_union(), isl_set_union_disjoint(), isl_set_universe(), isl_set_unshifted_simple_hull(), isl_set_unshifted_simple_hull_from_set_list(), isl_set_unwrap(), isl_set_upper_bound(), isl_set_upper_bound_multi_pw_aff(), isl_set_upper_bound_multi_val(), isl_set_upper_bound_si(), isl_set_upper_bound_val(), isl_set_wrap_facet(), isl_set_wrapped_domain_map(), isl_space_universe_set(), isl_stream_read_ast_graft(), isl_stream_read_schedule_constraints(), isl_stream_read_set(), isl_stream_read_with_params_multi_pw_aff(), isl_stream_read_with_params_union_pw_aff(), isl_stream_read_with_params_union_pw_multi_aff(), isl_tab_basic_map_partial_lexopt(), isl_tab_basic_map_partial_lexopt_pw_multi_aff(), isl_term_get_exp(), isl_union_map_dim(), isl_union_map_gist_params(), isl_union_map_intersect_params(), isl_union_map_params(), isl_union_pw_aff_gist_params(), isl_union_pw_aff_intersect_params(), isl_union_pw_aff_max_val(), isl_union_pw_multi_aff_gist_params(), isl_union_pw_multi_aff_intersect_params(), isl_union_pw_qpolynomial_fold_gist_params(), isl_union_pw_qpolynomial_fold_intersect_params(), isl_union_pw_qpolynomial_gist_params(), isl_union_pw_qpolynomial_intersect_params(), isl_union_set_add_set(), isl_union_set_as_set(), isl_union_set_every_set(), isl_union_set_extract_set(), isl_union_set_foreach_set(), isl_union_set_from_set(), isl_union_set_gist_params(), isl_union_set_intersect_params(), isl_union_set_is_params(), isl_union_set_params(), isolate(), isolate_final(), isolate_initial(), polly::Dependences::isParallel(), last_later_source(), last_source(), less(), list_add_guard(), list_cmp(), loop_types(), lower_bounds(), main(), isl::set::manage, isl::set::manage_copy, map_from_tuple(), map_intersect_domains(), map_intersect_set(), map_simple_hull(), map_unshifted_simple_hull_from_basic_map_list(), polly::IslNodeBuilder::materializeParameters(), merge(), merge_lists(), modulo_affine_hull(), modulo_lineality(), MULTI(), MULTI(), mupa_intersect_range_0D(), nan_on_domain_set(), need_split_set(), not(), obj_read_body(), obj_read_poly(), obj_read_poly_or_fold(), only_intersects_first(), polly::operator<<(), parameter_compute_divs(), piece_opt(), plain_injective_on_range_wrap(), plain_pw_multi_aff_from_map(), polly::IslNodeBuilder::preloadInvariantLoad(), polly::IslNodeBuilder::preloadUnconditionally(), print_disjuncts_set(), print_pw_aff_c(), print_set_c(), project_out_fixed(), proto_hull(), pw_aff_gte_set(), pw_aff_list_set(), pw_aff_locus(), pw_aff_max(), pw_aff_min(), pw_aff_on_domain(), pw_aff_val_on_domain(), pw_multi_aff_from_map_stride(), pw_multi_aff_multi_val_on_domain(), pw_multi_aff_set_pw_aff(), q_closure(), qpolynomial_bound_on_domain_range(), qpolynomial_fold_covers_on_domain(), read_aff_domain(), read_conditional_aff(), read_conditional_multi_aff(), read_conditional_multi_pw_aff(), read_context(), read_guard(), read_multi_union_pw_aff_core(), read_params(), read_pw_aff_with_dom(), read_union_pw_aff_el(), read_union_pw_aff_with_dom(), read_universe_params(), refine_generic(), refine_generic_bounds(), refine_generic_split(), isl::set::release(), remove_redundant_lower_bounds(), replace_by_nan(), replace_list_by_nan(), restricted_partial_lexmax(), S(), S(), scan_one(), separate_domain(), separate_schedule_domains(), isl::set::set(), set_append_equalities(), set_bound_multi_pw_aff(), set_bound_multi_val(), set_bounds(), set_check_equal(), set_detect_stride(), set_dim_opt(), set_div(), set_div_slice(), set_enforced_from_list(), set_enforced_from_set(), set_for_cond_from_set(), set_for_node_expressions(), set_from_map(), set_from_updated_bmap(), set_is_equal(), set_lower(), set_max_constant_term(), set_minimum(), set_parameter_preimage(), set_plug_in_parameters(), set_product_entry(), set_single(), set_to_map(), set_upper(), setup_groups(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), SF(), sh_data_alloc(), single_is_subset(), single_valued_on_domain(), solutions_entry(), split(), split_div(), split_domain(), split_domain_pma(), split_periods(), steal_from_cst(), store_guard(), test_aff(), test_affine_hull(), test_ast_build(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), test_bin_locus_ma(), test_bind_aff(), test_bind_map_domain(), test_bind_pa(), test_bind_set(), test_bound_space(), test_bounded(), test_box_hull(), test_coalesce_intersection(), test_coalesce_set(), test_coalesce_special3(), test_coalesce_union(), test_compute_divs(), test_convex_hull_algo(), test_convex_hull_case(), test_dim_max(), test_dim_max_1(), test_dim_max_2(), test_disjoint(), test_div(), test_drop_unused_parameters(), test_equal(), test_eval_1(), test_eval_2(), test_eval_aff(), test_gist(), test_intersect_2(), test_lexmin(), test_min(), test_min_special(), test_multi_pw_aff_1(), test_mupa_set(), test_one_schedule(), test_output_set(), test_padded_schedule(), test_parse_mpa(), test_parse_mupa(), test_plain_unshifted_simple_hull_special(), test_pointer(), test_product(), test_pwqp(), test_pwqp_gist(), test_residue_class(), test_set_conversion(), test_simple_hull(), test_subset(), test_subset_duplicate_integer_divisions(), test_subtract_empty(), test_unbind_set(), test_various_simple_hull(), to_polynomial_on_orthant(), try_wrap_in_facets(), unbind_params_insert_domain(), union_floyd_warshall_on_list(), update_n_div(), update_values(), upper_bounds(), use_upper_bound_list(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_convex_hull_wrap(), uset_convex_hull_wrap_bounded(), uset_is_bound(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), verify_point(), polly::SCEVAffinator::visit(), wrap_constraints(), wrap_in_facet(), wrap_in_facets(), and polly::IslNodeBuilder::~IslNodeBuilder().
#define ISL_SET_DISJOINT (1 << 0) |
Definition at line 100 of file isl_map_private.h.
Referenced by set_minimum(), sol_map_init(), and sol_pma_init().
#define isl_set_list isl_map_list |
Definition at line 17 of file isl_map_private.h.
Referenced by isl::set::copy(), isl::set_list::copy(), isl::set_list::copy(), FN(), FN(), isl::set_list::get(), isl_ast_graft_list_extract_hoistable_guard(), isl_basic_set_list_intersect(), isl_set_lexmax_pw_multi_aff(), isl_set_list_union(), isl_set_unshifted_simple_hull_from_set_list(), isl_union_set_get_set_list(), isl::set_list::manage, isl::set_list::manage_copy, isl::set_list::release(), S(), isl::set_list::set_list(), and set_list_from_map_list().
#define ISL_SET_NORMALIZED (1 << 1) |
Definition at line 101 of file isl_map_private.h.
Referenced by isl_set_preimage(), and map_preimage_multi_aff().
__isl_give isl_basic_map * isl_basic_map_add_div_constraint | ( | __isl_take isl_basic_map * | bmap, |
unsigned | div, | ||
int | sign ) |
Definition at line 5610 of file isl_map.c.
References __isl_give, __isl_take, add_lower_div_constraint(), and add_upper_div_constraint().
Referenced by eliminate_unit_div().
__isl_give isl_basic_map * isl_basic_map_add_div_constraints | ( | __isl_take isl_basic_map * | bmap, |
unsigned | div ) |
Definition at line 5564 of file isl_map.c.
References __isl_give, __isl_take, add_lower_div_constraint(), add_upper_div_constraint(), and pos().
Referenced by add_known_div_constraints(), fix_constant_divs(), isl_basic_map_align_divs(), isl_basic_map_expand_divs(), isl_basic_map_from_qpolynomial(), and set_ma_divs().
__isl_give isl_basic_map * isl_basic_map_add_eq | ( | __isl_take isl_basic_map * | bmap, |
isl_int * | eq ) |
Definition at line 1808 of file isl_map.c.
References __isl_give, __isl_take, isl_ctx::error, isl_basic_map_alloc_equality(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_extend_constraints(), isl_basic_map_free(), isl_basic_map_plain_is_empty(), isl_dim_all, isl_seq_cpy(), and total().
Referenced by isl_basic_set_add_eq(), and map_intersect_add_constraint().
__isl_give isl_basic_map * isl_basic_map_add_ineq | ( | __isl_take isl_basic_map * | bmap, |
isl_int * | ineq ) |
Definition at line 1842 of file isl_map.c.
References __isl_give, __isl_take, isl_ctx::error, isl_basic_map_alloc_inequality(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_extend_constraints(), isl_basic_map_free(), isl_dim_all, isl_seq_cpy(), and total().
Referenced by add_lexmin_eq(), add_lexmin_ineq(), fix_constant_divs(), isl_basic_set_add_ineq(), isl_tab_add_eq(), isl_tab_add_ineq(), and map_intersect_add_constraint().
__isl_give isl_basic_map * isl_basic_map_add_known_div_constraints | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 5580 of file isl_map.c.
References __isl_give, __isl_take, add_known_div_constraints(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_remove_duplicate_constraints(), and isl_dim_div.
Referenced by isl_basic_map_drop_constraints_involving_dims(), isl_basic_map_drop_constraints_not_involving_dims(), and isl_basic_map_overlying_set().
__isl_give isl_basic_map * isl_basic_map_align_divs | ( | __isl_take isl_basic_map * | dst, |
__isl_keep isl_basic_map * | src ) |
Definition at line 9663 of file isl_map.c.
References __isl_give, __isl_keep, __isl_take, find_div(), isl_basic_map_add_div_constraints(), isl_basic_map_alloc_div(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_divs_known(), isl_basic_map_extend(), isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_order_divs(), isl_basic_map_swap_div(), isl_basic_map_var_offset(), isl_die, isl_dim_div, isl_error_invalid, isl_seq_clr(), and isl_seq_cpy().
Referenced by isl_basic_map_gist(), isl_basic_map_list_align_divs_to_basic_map(), isl_basic_map_plain_gist(), isl_basic_map_plain_unshifted_simple_hull(), isl_basic_map_remove_shifted_constraints(), isl_map_align_divs_internal(), and isl_map_align_divs_to_basic_map_list().
__isl_give isl_basic_map * isl_basic_map_alloc | ( | isl_ctx * | ctx, |
unsigned | nparam, | ||
unsigned | in, | ||
unsigned | out, | ||
unsigned | extra, | ||
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 1393 of file isl_map.c.
References __isl_give, isl_basic_map::ctx, isl_basic_map::extra, isl_basic_map_alloc_space(), isl_space_alloc(), isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by basic_map_read_polylib().
int isl_basic_map_alloc_div | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 1869 of file isl_map.c.
References __isl_keep, isl_assert, isl_basic_map_dim(), ISL_BASIC_MAP_NORMALIZED_DIVS, isl_dim_all, ISL_F_CLR, isl_seq_clr(), and total().
Referenced by add_divs(), add_ma_strides(), add_strides(), add_sub_vars(), align_context_divs(), basic_map_read_polylib(), box_closure_on_domain(), dup_constraints(), fuse(), isl_basic_map_add_constraints_dim_map(), isl_basic_map_align_divs(), isl_basic_map_expand_divs(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_local_space(), isl_basic_map_from_qpolynomial(), isl_basic_map_insert_div(), isl_basic_map_preimage_multi_aff(), isl_basic_set_alloc_div(), normalize_divs(), path_along_delta(), and path_along_steps().
int isl_basic_map_alloc_equality | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 1631 of file isl_map.c.
References __isl_keep, isl_assert, ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_alloc_inequality(), isl_basic_map_dim(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_NO_REDUNDANT, ISL_BASIC_MAP_NORMALIZED_DIVS, isl_dim_all, ISL_F_CLR, isl_seq_clr(), room_for_con(), t, and total().
Referenced by add_delta_constraints(), add_ma_strides(), add_strides(), add_valid_constraints(), basic_map_from_equalities(), basic_map_read_polylib_constraint(), box_closure_on_domain(), dup_constraints(), equate_parameter_to_length(), equator(), increment(), isl_basic_map_add_constraints_dim_map(), isl_basic_map_add_eq(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_detect_equalities(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_qpolynomial(), isl_basic_map_preimage_multi_aff(), isl_basic_map_set_to_empty(), isl_basic_map_sum(), isl_basic_set_alloc_equality(), isl_map_oppose(), normalize_divs(), path_along_delta(), path_along_steps(), set_path_length(), and var_equal().
int isl_basic_map_alloc_inequality | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 1742 of file isl_map.c.
References __isl_keep, isl_assert, ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_dim(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_NO_REDUNDANT, ISL_BASIC_MAP_SORTED, isl_dim_all, ISL_F_CLR, isl_seq_clr(), room_for_ineq(), and total().
Referenced by add_delta_constraints(), add_lower_div_constraint(), add_upper_div_constraint(), add_valid_constraints(), basic_map_bound(), basic_map_bound_si(), basic_map_read_polylib_constraint(), box_closure_on_domain(), dup_constraints(), equate_parameter_to_length(), fuse(), greator(), insert_bounds_on_div_from_ineq(), isl_basic_map_add_constraints_dim_map(), isl_basic_map_add_ineq(), isl_basic_map_alloc_equality(), isl_basic_map_eliminate_vars(), isl_basic_map_floordiv(), isl_basic_map_from_constraint(), isl_basic_map_from_constraint_matrices(), isl_basic_map_nat_universe(), isl_basic_map_preimage_multi_aff(), isl_basic_set_alloc_inequality(), path_along_delta(), path_along_steps(), set_path_length(), SF(), var_less(), var_less_or_equal(), var_more(), and var_more_or_equal().
__isl_give isl_basic_map * isl_basic_map_alloc_space | ( | __isl_take isl_space * | space, |
unsigned | extra, | ||
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 1375 of file isl_map.c.
References __isl_give, __isl_take, basic_map_init(), isl_basic_map::dim, isl_basic_map::extra, isl_calloc_type, isl_space_free(), isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by basic_map_from_equalities(), box_closure_on_domain(), equate_parameter_to_length(), equator(), fuse(), greator(), increment(), isl_basic_map_alloc(), isl_basic_map_apply_range(), isl_basic_map_domain_product(), isl_basic_map_dup(), isl_basic_map_empty(), isl_basic_map_equal(), isl_basic_map_extend(), isl_basic_map_floordiv(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_local_space(), isl_basic_map_from_qpolynomial(), isl_basic_map_insert_dims(), isl_basic_map_less_at(), isl_basic_map_less_or_equal_at(), isl_basic_map_more_at(), isl_basic_map_more_or_equal_at(), isl_basic_map_move_dims(), isl_basic_map_nat_universe(), isl_basic_map_preimage_multi_aff(), isl_basic_map_product(), isl_basic_map_range_product(), isl_basic_map_realign(), isl_basic_map_sum(), isl_basic_map_universe(), isl_basic_set_alloc(), isl_basic_set_alloc_space(), isl_map_oppose(), move_last(), path_along_delta(), path_along_steps(), and set_path_length().
isl_bool isl_basic_map_applies_range | ( | __isl_keep isl_basic_map * | bmap1, |
__isl_keep isl_basic_map * | bmap2 ) |
Definition at line 4726 of file isl_map.c.
References __isl_keep, isl_basic_map_peek_space(), isl_dim_in, isl_dim_out, and isl_space_tuple_is_equal().
Referenced by basic_map_follows(), and isl_basic_map_check_applies_range().
isl_stat isl_basic_map_check_equal_space | ( | __isl_keep isl_basic_map * | bmap1, |
__isl_keep isl_basic_map * | bmap2 ) |
isl_stat isl_basic_map_check_range | ( | __isl_keep isl_basic_map * | bmap, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
References __isl_keep, n, and type.
Referenced by basic_map_bound(), basic_map_bound_si(), basic_map_dim_is_bounded(), isl_basic_map_div_is_marked_unknown(), isl_basic_map_drop_constraints_involving_dims(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_drop_core(), isl_basic_map_eliminate(), isl_basic_map_equal_div_expr_part(), isl_basic_map_fix(), isl_basic_map_fix_si(), isl_basic_map_fix_val(), isl_basic_map_has_defining_equality(), isl_basic_map_insert_div(), isl_basic_map_involves_dims(), isl_basic_map_move_dims(), isl_basic_map_plain_is_fixed(), isl_basic_map_preimage_vars(), isl_basic_map_project_out(), isl_basic_map_remove_dims(), isl_basic_map_remove_divs_involving_dims(), isl_basic_map_set_div_expr_constant_num_si_inplace(), isl_basic_map_swap_vars(), isl_basic_map_transform_dims(), and isl_basic_set_check_range().
isl_bool isl_basic_map_compatible_domain | ( | __isl_keep isl_basic_map * | bmap, |
__isl_keep isl_basic_set * | bset ) |
Definition at line 345 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_has_equal_params(), isl_basic_map_set_tuple_is_equal(), isl_basic_set, isl_bool_error, isl_dim_in, and m.
Referenced by isl_basic_map_check_compatible_domain(), and SF().
isl_bool isl_basic_map_compatible_range | ( | __isl_keep isl_basic_map * | bmap, |
__isl_keep isl_basic_set * | bset ) |
Definition at line 369 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_has_equal_params(), isl_basic_map_set_tuple_is_equal(), isl_basic_set, isl_bool_error, isl_dim_out, and m.
Referenced by isl_basic_map_check_compatible_range().
int isl_basic_map_constraint_cmp | ( | __isl_keep isl_basic_map * | bmap, |
isl_int * | c1, | ||
isl_int * | c2 ) |
Definition at line 10275 of file isl_map.c.
References __isl_keep, c1, c2, isl_basic_map_dim(), isl_dim_all, size, sort_constraint_cmp(), and total().
Referenced by drop_inequalities(), and select_shared_inequalities().
isl_bool isl_basic_map_contains | ( | __isl_keep isl_basic_map * | bmap, |
__isl_keep isl_vec * | vec ) |
Definition at line 3661 of file isl_map.c.
References __isl_keep, isl_basic_map_dim(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_all, isl_int_clear, isl_int_init, isl_int_is_neg, isl_int_is_zero, isl_seq_inner_product(), and total().
Referenced by isl_basic_map_contains_point(), isl_basic_map_intersect(), isl_basic_map_plain_is_non_empty(), isl_basic_set_contains(), and outside_point().
isl_bool isl_basic_map_contains_point | ( | __isl_keep isl_basic_map * | bmap, |
__isl_keep isl_point * | point ) |
Definition at line 616 of file isl_point.c.
References __isl_keep, contains(), isl_basic_map_contains(), isl_basic_map_get_divs(), isl_bool_error, isl_local_alloc_from_mat(), isl_local_extend_point_vec(), isl_local_free(), isl_point_get_vec(), isl_vec_free(), and point.
Referenced by isl_map_contains_point(), and map_is_singleton_subset().
__isl_give isl_basic_map * isl_basic_map_cow | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 2052 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_dup(), ISL_BASIC_MAP_REDUCED_COEFFICIENTS, ISL_BASIC_SET_FINAL, and ISL_F_CLR.
Referenced by add_known_div_constraints(), add_sub_vars(), align_context_divs(), basic_map_bound(), basic_map_bound_si(), basic_map_collect_diff(), basic_replace_space_by_local_space(), compute_divs(), drop_equalities(), drop_inequalities(), drop_unrelated_constraints(), extend(), get_aff(), insert_bounds_on_div_from_ineq(), insert_div_rows(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_align_divs(), isl_basic_map_curry(), isl_basic_map_drop(), isl_basic_map_drop_constraints_involving(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_eliminate_vars(), isl_basic_map_expand_divs(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_image_is_bounded(), isl_basic_map_insert_div(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_mark_div_unknown(), isl_basic_map_neg(), isl_basic_map_plain_affine_hull(), isl_basic_map_preimage_vars(), isl_basic_map_project_out(), isl_basic_map_reduce_coefficients(), isl_basic_map_restore_space(), isl_basic_map_reverse(), isl_basic_map_set_rational(), isl_basic_map_swap_vars(), isl_basic_map_transform_dims(), isl_basic_map_uncurry(), isl_basic_map_underlying_set(), isl_basic_map_zip(), isl_basic_set_cow(), isl_tab_track_bmap(), select_shared_equalities(), select_shared_inequalities(), set_eq_and_try_again(), SF(), split_aff(), and tab_insert_divs().
__isl_give isl_basic_map * isl_basic_map_detect_inequality_pairs | ( | __isl_take isl_basic_map * | bmap, |
int * | progress ) |
Definition at line 1309 of file isl_map_simplify.c.
References __isl_give, __isl_take, and isl_basic_map_remove_duplicate_constraints().
Referenced by fuse(), and isl_basic_map_reduce_coefficients().
isl_bool isl_basic_map_div_is_known | ( | __isl_keep isl_basic_map * | bmap, |
int | div ) |
Definition at line 3237 of file isl_map.c.
References __isl_keep, isl_basic_map_div_is_known(), isl_basic_map_div_is_marked_unknown(), isl_basic_map_offset(), isl_bool_not(), isl_bool_true, isl_dim_div, and isl_int_is_zero.
Referenced by harmonize_stride_divs(), isl_basic_map_div_is_known(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_map_first_unknown_div(), isl_basic_map_remove_unknown_divs(), and single_unknown().
isl_bool isl_basic_map_div_is_marked_unknown | ( | __isl_keep isl_basic_map * | bmap, |
int | div ) |
Definition at line 7983 of file isl_map.c.
References __isl_keep, isl_basic_map_check_range(), isl_bool_error, isl_dim_div, and isl_int_is_zero.
Referenced by any_div_involves_div(), bmap_eq_involves_unknown_divs(), isl_basic_map_div_is_known(), isl_basic_map_expand_divs(), isl_basic_map_mark_div_unknown(), isl_basic_map_plain_cmp(), and isl_basic_map_preimage_vars().
isl_bool isl_basic_map_divs_known | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 8024 of file isl_map.c.
References __isl_keep, isl_basic_map_dim(), isl_basic_map_first_unknown_div(), isl_bool_error, isl_dim_div, and n.
Referenced by check_coalesce_eq(), coalesce_after_aligning_divs(), coalesce_expand_tab_divs(), isl_basic_map_align_divs(), isl_basic_map_compute_divs(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_map_drop_redundant_divs(), isl_basic_map_get_constraint_list(), isl_basic_map_get_div(), isl_basic_map_make_strides_explicit(), isl_basic_map_plain_gist(), isl_map_divs_known(), isl_map_plain_gist_basic_map(), and same_divs().
__isl_give isl_basic_map * isl_basic_map_drop | ( | __isl_take isl_basic_map * | bmap, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2437 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_drop_core(), isl_basic_map_finalize(), isl_basic_map_simplify(), isl_space_is_named_or_nested(), n, and type.
Referenced by isl_basic_map_drop_unused_params(), isl_basic_map_remove_dims(), isl_basic_set_drop(), isl_basic_set_drop_dims(), and isl_map_drop().
__isl_give isl_basic_map * isl_basic_map_drop_constraints_involving | ( | __isl_take isl_basic_map * | bmap, |
unsigned | first, | ||
unsigned | n ) |
Definition at line 3029 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_drop_equality(), isl_basic_map_drop_inequality(), isl_basic_map_free(), isl_seq_first_non_zero(), and n.
Referenced by isl_basic_map_drop_constraints_involving_dims(), isl_basic_set_drop_constraints_involving(), and remove_redundant_divs().
__isl_give isl_basic_map * isl_basic_map_drop_constraints_involving_unknown_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1870 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_basic_map_dim(), isl_basic_map_div_is_known(), isl_basic_map_divs_known(), isl_basic_map_drop_constraints_involving_dims(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_div, and remove_dependent_vars().
Referenced by isl_basic_map_plain_unshifted_simple_hull(), isl_basic_set_drop_constraints_involving_unknown_divs(), isl_map_drop_constraints_involving_unknown_divs(), and plain_pw_multi_aff_from_map().
__isl_give isl_basic_map * isl_basic_map_drop_div | ( | __isl_take isl_basic_map * | bmap, |
unsigned | div ) |
Definition at line 2516 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_drop_core(), and isl_dim_div.
Referenced by coalesce_divs(), drop_bmap_div(), drop_div_and_try_again(), eliminate_div(), eliminate_divs_ineq(), isl_basic_map_drop_redundant_divs_ineq(), normalize_divs(), and remove_redundant_divs().
int isl_basic_map_drop_equality | ( | __isl_keep isl_basic_map * | bmap, |
unsigned | pos ) |
Definition at line 1694 of file isl_map.c.
References __isl_keep, isl_assert, pos(), and t.
Referenced by drop_aff(), drop_equalities(), drop_unrelated_constraints(), eliminate_divs_eq(), get_aff(), isl_basic_map_drop_constraints_involving(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_eliminate_vars(), isl_basic_map_normalize_constraints(), normalize_divs(), and select_shared_equalities().
int isl_basic_map_drop_inequality | ( | __isl_keep isl_basic_map * | bmap, |
unsigned | pos ) |
Definition at line 1786 of file isl_map.c.
References __isl_keep, isl_assert, ISL_BASIC_MAP_SORTED, ISL_F_CLR, pos(), and t.
Referenced by coalesce_divs(), drop_div_and_try_again(), drop_inequalities(), drop_unrelated_constraints(), isl_basic_map_drop_constraints_involving(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_eliminate_vars(), isl_basic_map_normalize_constraints(), isl_basic_map_remove_duplicate_constraints(), isl_basic_map_update_from_tab(), isl_basic_set_drop_inequality(), select_shared_inequalities(), and SF().
__isl_give isl_basic_map * isl_basic_map_drop_redundant_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 5249 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_basic_map_dim(), isl_basic_map_divs_known(), isl_basic_map_drop_redundant_divs(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_first_unknown_div(), isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_mark_div_unknown(), isl_basic_map_offset(), isl_basic_map_preimage_vars(), isl_basic_map_simplify(), isl_basic_map_sort_divs(), isl_dim_div, isl_mat_alloc(), isl_mat_normalize_row(), isl_mat_right_inverse(), isl_mat_unimodular_complete(), isl_seq_cpy(), isl_seq_first_non_zero(), and isl_mat::row.
Referenced by coalesce_or_drop_more_redundant_divs(), drop_more_redundant_divs(), drop_redundant_divs_again(), fix_cst_lower(), isl_basic_map_apply_range(), isl_basic_map_compute_divs(), isl_basic_map_drop_redundant_divs(), and isl_basic_map_project_out().
__isl_give isl_basic_map * isl_basic_map_drop_unrelated_constraints | ( | __isl_take isl_basic_map * | bmap, |
__isl_take int * | group ) |
Definition at line 2290 of file isl_map_simplify.c.
References __isl_give, __isl_take, drop_unrelated_constraints(), isl_basic_map_dim(), isl_basic_map_free(), isl_dim_all, and update_groups().
Referenced by drop_irrelevant_constraints(), drop_irrelevant_constraints(), and drop_irrelevant_constraints_marked().
__isl_give isl_basic_map * isl_basic_map_eliminate_pure_unit_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1510 of file isl_map_simplify.c.
References __isl_give, __isl_take, eliminate_selected_unit_divs(), and is_pure_unit_div().
Referenced by fuse().
__isl_give isl_basic_map * isl_basic_map_eliminate_vars | ( | __isl_take isl_basic_map * | bmap, |
unsigned | pos, | ||
unsigned | n ) |
Definition at line 1718 of file isl_map_simplify.c.
References __isl_give, __isl_take, eliminate_var_using_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_drop_equality(), isl_basic_map_drop_inequality(), ISL_BASIC_MAP_EMPTY, isl_basic_map_extend_constraints(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_normalize_constraints(), isl_basic_map_remove_duplicate_constraints(), isl_basic_map_remove_redundancies(), isl_dim_all, ISL_F_ISSET, isl_int_is_neg, isl_int_is_pos, isl_int_is_zero, isl_int_sgn, isl_seq_clr(), isl_seq_cpy(), isl_seq_elim(), n, pos(), remove_dependent_vars(), and total().
Referenced by eliminate_divs_ineq(), isl_basic_map_eliminate(), isl_basic_map_remove_dims(), isl_basic_map_remove_divs(), isl_basic_set_eliminate_vars(), and isl_map_remove_dims().
isl_bool isl_basic_map_equal_div_expr_except_constant | ( | __isl_keep isl_basic_map * | bmap1, |
int | pos1, | ||
__isl_keep isl_basic_map * | bmap2, | ||
int | pos2 ) |
Definition at line 14306 of file isl_map.c.
References __isl_keep, equal, isl_basic_map_dim(), isl_basic_map_equal_div_expr_part(), isl_basic_map_get_ctx(), isl_bool_error, isl_bool_not(), isl_die, isl_dim_all, isl_error_invalid, and total().
Referenced by harmonize_stride_divs().
isl_bool isl_basic_map_equal_div_expr_part | ( | __isl_keep isl_basic_map * | bmap1, |
int | pos1, | ||
__isl_keep isl_basic_map * | bmap2, | ||
int | pos2, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 14290 of file isl_map.c.
References __isl_keep, isl_basic_map_check_range(), isl_bool_error, isl_dim_div, isl_seq_eq(), and n.
Referenced by isl_basic_map_equal_div_expr_except_constant(), and set_up_substitutions().
__isl_give isl_basic_map * isl_basic_map_expand_divs | ( | __isl_take isl_basic_set * | bmap, |
__isl_take isl_mat * | div, | ||
int * | exp ) |
References __isl_give, __isl_keep, __isl_take, fn, isl_basic_set, isl_set, map, n, set, test, type, and user.
__isl_give isl_basic_map * isl_basic_map_extend | ( | __isl_take isl_basic_map * | base, |
unsigned | extra, | ||
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 1984 of file isl_map.c.
References __isl_give, __isl_take, add_constraints(), isl_basic_map::extra, isl_basic_map::flags, isl_basic_map_alloc_space(), isl_basic_map_free(), isl_basic_map_get_space(), ISL_BASIC_SET_FINAL, ISL_F_CLR, isl_vec_copy(), isl_basic_map::n_eq, isl_basic_map::n_ineq, room_for_con(), room_for_ineq(), and isl_basic_map::sample.
Referenced by add_strides(), add_sub_vars(), align_context_divs(), isl_basic_map_align_divs(), isl_basic_map_detect_equalities(), isl_basic_map_expand_divs(), isl_basic_map_extend_constraints(), isl_basic_map_insert_div(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_set_extend(), and normalize_divs().
__isl_give isl_basic_map * isl_basic_map_extend_constraints | ( | __isl_take isl_basic_map * | base, |
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 2033 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_extend(), isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by add_known_div_constraints(), basic_map_bound(), basic_map_bound_si(), eliminate_unit_div(), fix_constant_divs(), insert_bounds_on_div_from_ineq(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_eliminate_vars(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint(), isl_basic_map_range_map(), isl_basic_set_extend_constraints(), path_along_delta(), and SF().
__isl_give isl_basic_map * isl_basic_map_finalize | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1678 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_basic_map_mark_final(), and remove_redundant_divs().
Referenced by basic_map_bound(), basic_map_bound_si(), basic_map_collect_diff(), basic_map_read_polylib(), basic_replace_space_by_local_space(), box_closure_on_domain(), equate_parameter_to_length(), equator(), fuse(), get_aff(), greator(), isl_basic_map_add_known_div_constraints(), isl_basic_map_apply_range(), isl_basic_map_deltas_map(), isl_basic_map_detect_equalities(), isl_basic_map_domain_map(), isl_basic_map_domain_product(), isl_basic_map_drop(), isl_basic_map_eliminate(), isl_basic_map_equal(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_floordiv(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_qpolynomial(), isl_basic_map_insert_dims(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_less_at(), isl_basic_map_less_or_equal_at(), isl_basic_map_more_at(), isl_basic_map_more_or_equal_at(), isl_basic_map_move_dims(), isl_basic_map_neg(), isl_basic_map_overlying_set(), isl_basic_map_plain_affine_hull(), isl_basic_map_plain_gist(), isl_basic_map_plain_unshifted_simple_hull(), isl_basic_map_preimage_multi_aff(), isl_basic_map_product(), isl_basic_map_project_out(), isl_basic_map_range_map(), isl_basic_map_range_product(), isl_basic_map_realign(), isl_basic_map_remove_divs(), isl_basic_map_reset_space(), isl_basic_map_set_dim_name(), isl_basic_map_set_rational(), isl_basic_map_set_to_empty(), isl_basic_map_set_tuple_id(), isl_basic_map_set_tuple_name(), isl_basic_map_sum(), isl_basic_map_swap_vars(), isl_basic_map_underlying_set(), isl_basic_map_universe(), isl_basic_map_wrap(), isl_basic_set_finalize(), isl_map_affine_hull(), isl_map_oppose(), map_intersect_add_constraint(), map_simple_hull(), path_along_delta(), path_along_steps(), set_path_length(), SF(), update_basic_maps(), var_equal(), var_less(), var_less_or_equal(), var_more(), and var_more_or_equal().
int isl_basic_map_first_unknown_div | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 7997 of file isl_map.c.
References __isl_keep, and isl_basic_map_div_is_known().
Referenced by compute_divs(), isl_basic_map_divs_known(), isl_basic_map_drop_redundant_divs(), and isl_basic_set_first_unknown_div().
__isl_give isl_basic_map * isl_basic_map_fix | ( | __isl_take isl_basic_map * | bmap, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
isl_int | value ) |
Definition at line 6500 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_check_range(), isl_basic_map_fix_pos(), isl_basic_map_free(), isl_basic_map_offset(), pos(), and type.
Referenced by fix_cst_lower(), isl_basic_set_fix(), and isl_map_fix().
isl_stat isl_basic_map_free_div | ( | __isl_keep isl_basic_map * | bmap, |
unsigned | n ) |
Definition at line 1938 of file isl_map.c.
References __isl_keep, isl_assert, isl_stat_error, isl_stat_ok, and n.
Referenced by isl_basic_map_drop_core(), and isl_basic_map_set_to_empty().
__isl_give isl_basic_map * isl_basic_map_free_equality | ( | __isl_take isl_basic_map * | bmap, |
unsigned | n ) |
Definition at line 1671 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_free(), isl_basic_map_get_ctx(), isl_die, isl_error_invalid, and n.
Referenced by isl_basic_map_gauss5(), isl_basic_map_set_to_empty(), isl_basic_set_free_equality(), and perform_undo().
__isl_give isl_basic_map * isl_basic_map_free_inequality | ( | __isl_take isl_basic_map * | bmap, |
unsigned | n ) |
Definition at line 1766 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_free(), isl_basic_map_get_ctx(), isl_die, isl_error_invalid, and n.
Referenced by get_aff(), isl_basic_map_plain_affine_hull(), isl_basic_map_set_to_empty(), isl_basic_set_free_inequality(), perform_undo(), and tab_insert_divs().
__isl_give isl_basic_map * isl_basic_map_from_local_space | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 560 of file isl_map.c.
References __isl_give, __isl_take, add_known_div_constraints(), isl_basic_map::div, isl_basic_map_alloc_div(), isl_basic_map_alloc_space(), isl_basic_map_free(), isl_dim_div, isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_space(), and isl_seq_cpy().
Referenced by isl_basic_map_from_aff2(), isl_basic_map_from_constraint(), and isl_basic_set_from_local_space().
__isl_give isl_basic_map * isl_basic_map_from_multi_aff2 | ( | __isl_take isl_multi_aff * | maff, |
int | rational ) |
Definition at line 131 of file isl_aff_map.c.
References __isl_give, __isl_take, aff, isl_aff_copy(), isl_basic_map_flat_range_product(), isl_basic_map_from_aff2(), isl_basic_map_reset_space(), isl_basic_map_set_rational(), isl_basic_map_universe(), isl_die, isl_dim_out, isl_error_internal, isl_space_domain(), and isl_space_from_domain().
Referenced by basic_map_from_multi_aff(), isl_map_from_pw_multi_aff_internal(), and sol_map_add().
__isl_give isl_basic_map * isl_basic_map_gauss | ( | __isl_take isl_basic_map * | bmap, |
int * | progress ) |
Definition at line 661 of file isl_map_simplify.c.
References __isl_give, __isl_take, and isl_basic_map_gauss5().
Referenced by combined_variable_compression(), fuse(), isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_eliminate_vars(), isl_basic_map_from_aff2(), isl_basic_map_implicit_equalities(), isl_basic_map_make_strides_explicit(), isl_basic_map_move_dims(), isl_basic_map_neg(), isl_basic_map_plain_gist(), isl_basic_map_range_map(), isl_basic_map_realign(), isl_basic_map_reduce_coefficients(), isl_basic_map_remove_redundancies(), isl_basic_map_simplify(), isl_basic_map_swap_vars(), isl_basic_map_update_from_tab(), isl_basic_set_gauss(), isl_map_local_affine_hull(), isl_tab_solve_lp(), path_along_delta(), reduce_stride_constraints(), and update_basic_maps().
__isl_give isl_basic_map * isl_basic_map_gauss5 | ( | __isl_take isl_basic_map * | bmap, |
int * | progress, | ||
isl_stat(* | swap )(unsigned a, unsigned b, void *user), | ||
isl_stat(* | drop )(unsigned n, void *user), | ||
void * | user ) |
Definition at line 596 of file isl_map_simplify.c.
References __isl_give, __isl_take, a(), b(), drop(), eliminate_var_using_equality(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_free_equality(), isl_basic_map_order_divs(), isl_basic_map_set_to_empty(), isl_dim_all, isl_int_is_neg, isl_int_is_zero, isl_seq_neg(), n, set_div_from_eq(), swap(), swap_equality(), total(), and user.
Referenced by gauss_if_shared(), and isl_basic_map_gauss().
__isl_give isl_mat * isl_basic_map_get_divs | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 480 of file isl_map.c.
References __isl_give, __isl_keep, isl_basic_map_get_ctx(), isl_basic_map_var_offset(), isl_dim_div, isl_mat_alloc(), and isl_seq_cpy().
Referenced by coalesce_after_aligning_divs(), isl_basic_map_contains_point(), isl_basic_map_get_local_space(), isl_basic_set_get_divs(), and print_disjunct().
uint32_t isl_basic_map_get_hash | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 11178 of file isl_map.c.
References __isl_keep, isl_basic_map_copy(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_normalize(), isl_dim_all, isl_hash_byte, isl_hash_hash, isl_hash_init, isl_int_is_zero, isl_seq_get_hash(), and total().
Referenced by coalesce_info_set_hull_hash(), isl_basic_set_get_hash(), and isl_map_get_hash().
isl_bool isl_basic_map_has_single_reference | ( | __isl_keep isl_basic_map * | bmap | ) |
References __isl_give, __isl_keep, __isl_take, a(), b(), c1, c2, drop(), fn, isl_basic_set, isl_basic_set_list, isl_set, ma, map, n, pa, pma, point, pos(), set, swap(), type, and user.
Referenced by gauss_if_shared().
__isl_give isl_basic_map * isl_basic_map_implicit_equalities | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 32 of file isl_affine_hull.c.
References __isl_give, __isl_take, isl_tab::bmap, ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_gauss(), ISL_BASIC_MAP_NO_IMPLICIT, isl_basic_map_update_from_tab(), ISL_F_ISSET, ISL_F_SET, isl_tab_detect_implicit_equalities(), isl_tab_free(), isl_tab_from_basic_map(), and isl_basic_map::n_ineq.
Referenced by isl_basic_map_detect_equalities(), isl_basic_map_has_rational(), and isl_basic_set_implicit_equalities().
void isl_basic_map_inequality_to_equality | ( | __isl_keep isl_basic_map * | bmap, |
unsigned | pos ) |
Definition at line 1719 of file isl_map.c.
References __isl_keep, ISL_BASIC_MAP_ALL_EQUALITIES, ISL_BASIC_MAP_NO_REDUNDANT, ISL_BASIC_MAP_NORMALIZED_DIVS, ISL_BASIC_MAP_SORTED, ISL_F_CLR, pos(), and t.
Referenced by isl_basic_map_remove_duplicate_constraints(), isl_basic_map_update_from_tab(), isl_tab_make_equalities_explicit(), set_eq_and_try_again(), and update_ineq().
__isl_give isl_basic_map * isl_basic_map_insert_div | ( | __isl_take isl_basic_map * | bmap, |
int | pos, | ||
__isl_keep isl_vec * | div ) |
Definition at line 1908 of file isl_map.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_alloc_div(), isl_basic_map_check_range(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_extend(), isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_swap_div(), isl_die, isl_dim_all, isl_dim_div, isl_error_invalid, isl_int_set_si, isl_seq_cpy(), pos(), and total().
Referenced by context_gbr_insert_div(), and isl_tab_insert_div().
isl_bool isl_basic_map_is_div_constraint | ( | __isl_keep isl_basic_map * | bmap, |
isl_int * | constraint, | ||
unsigned | div ) |
Definition at line 1555 of file isl_map_simplify.c.
References __isl_keep, isl_basic_map_offset(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_div, isl_int_abs_eq, isl_int_add, isl_int_add_ui, isl_int_eq, isl_int_sub, isl_int_sub_ui, isl_seq_eq(), isl_seq_first_non_zero(), isl_seq_is_neg(), neg(), and pos().
Referenced by div_is_redundant(), is_pure_unit_div(), next_is_opposite(), and print_constraints().
isl_bool isl_basic_map_is_transformation | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 8651 of file isl_map.c.
References __isl_keep, isl_basic_map_peek_space(), isl_dim_in, isl_dim_out, and isl_space_tuple_is_equal().
Referenced by basic_map_follows(), and isl_basic_map_check_transformation().
__isl_give isl_basic_map_list * isl_basic_map_list_align_divs_to_basic_map | ( | __isl_take isl_basic_map_list * | list, |
__isl_keep isl_basic_map * | bmap ) |
Definition at line 9797 of file isl_map.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_align_divs(), and n.
Referenced by map_unshifted_simple_hull_from_basic_map_list().
__isl_give isl_basic_set_list * isl_basic_map_list_underlying_set | ( | __isl_take isl_basic_map_list * | list | ) |
Definition at line 5657 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_list, isl_basic_set_underlying_set(), and n.
Referenced by map_unshifted_simple_hull_from_basic_map_list().
__isl_give isl_basic_map * isl_basic_map_mark_div_unknown | ( | __isl_take isl_basic_map * | bmap, |
int | div ) |
Definition at line 7958 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_div_is_marked_unknown(), isl_basic_map_free(), and isl_int_set_si.
Referenced by add_sub_vars(), coalesce_divs(), isl_basic_map_drop_redundant_divs(), reduce_stride_constraints(), and remove_dependent_vars().
__isl_give isl_basic_map * isl_basic_map_mark_final | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1667 of file isl_map_simplify.c.
References __isl_give, __isl_take, ISL_BASIC_SET_FINAL, and ISL_F_SET.
Referenced by coalesce_with_expanded_divs(), isl_basic_map_curry(), isl_basic_map_finalize(), isl_basic_map_flatten(), isl_basic_map_flatten_domain(), isl_basic_map_flatten_range(), isl_basic_map_reset(), isl_basic_map_uncurry(), and isl_basic_map_zip().
isl_bool isl_basic_map_may_be_set | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 5998 of file isl_map.c.
References __isl_keep, isl_bool_error, and isl_space_may_be_set().
Referenced by isl_stream_read_basic_set().
isl_size isl_basic_map_n_equality | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 247 of file isl_map.c.
References __isl_keep, and isl_size_error.
Referenced by any_eq(), compute_weights(), count_eq(), find_eq(), has_redundant_cuts(), is_adj_ineq_extension(), is_adj_ineq_extension_with_wraps(), and isl_basic_set_n_equality().
isl_size isl_basic_map_n_inequality | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 265 of file isl_map.c.
References __isl_keep, and isl_size_error.
Referenced by any_ineq(), count_ineq(), find_ineq(), has_redundant_cuts(), is_adj_ineq_extension(), is_adj_ineq_extension_with_wraps(), is_pure_unit_div(), isl_basic_map_drop_redundant_divs_ineq(), and isl_basic_set_n_inequality().
__isl_give isl_basic_map * isl_basic_map_normalize_constraints | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 47 of file isl_map_simplify.c.
References __isl_give, __isl_take, gcd(), isl_basic_map_dim(), isl_basic_map_drop_equality(), isl_basic_map_drop_inequality(), isl_basic_map_free(), ISL_BASIC_MAP_RATIONAL, isl_basic_map_set_to_empty(), isl_dim_all, ISL_F_ISSET, isl_int_clear, isl_int_fdiv_q, isl_int_gcd, isl_int_init, isl_int_is_divisible_by, isl_int_is_neg, isl_int_is_one, isl_int_is_zero, isl_seq_gcd(), isl_seq_scale_down(), and total().
Referenced by isl_basic_map_eliminate_vars(), isl_basic_map_simplify(), and isl_basic_set_normalize_constraints().
unsigned isl_basic_map_offset | ( | __isl_keep isl_basic_map * | bmap, |
enum isl_dim_type | type ) |
Definition at line 177 of file isl_map.c.
References __isl_keep, isl_basic_map_var_offset(), isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, and type.
Referenced by add_constraints(), basic_map_bound(), basic_map_bound_si(), basic_map_dim_is_bounded(), better_div_constraint(), bmap_eq_involves_unknown_divs(), check_for_div_constraints(), div_involves_vars(), div_may_involve_output(), drop_irrelevant_constraints(), drop_more_redundant_divs(), eliminate_divs_eq(), eliminate_divs_ineq(), equator(), extract_aff_from_equality(), find_modulo_constraint_pair(), fix_constant_divs(), fix_cst_lower(), greator(), has_coef_one(), increment(), insert_div_rows(), int_between_bounds(), isl_basic_map_div_is_known(), 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_eliminate(), isl_basic_map_equalities_matrix(), isl_basic_map_fix(), isl_basic_map_fix_si(), isl_basic_map_fix_val(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint_matrices(), isl_basic_map_has_defining_equality(), isl_basic_map_inequalities_matrix(), isl_basic_map_involves_dims(), isl_basic_map_is_div_constraint(), isl_basic_map_neg(), isl_basic_map_output_defining_equality(), isl_basic_map_plain_is_fixed(), isl_basic_map_remove_dims(), isl_basic_map_remove_divs_involving_dims(), isl_basic_map_reverse(), isl_basic_map_transform_dims(), isl_basic_map_zip(), isl_basic_set_offset(), isl_dim_map_div(), isl_dim_map_extend(), isl_map_oppose(), isl_map_remove_dims(), lower_bound_is_cst(), move_last(), next_is_opposite(), ok_to_set_div_from_bound(), print_constraints(), 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(), set_div_from_eq(), set_div_from_lower_bound(), and single_unknown().
__isl_give isl_basic_map * isl_basic_map_order_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 9491 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_swap_div(), isl_basic_map_var_offset(), isl_die, isl_dim_div, isl_error_internal, isl_int_is_zero, isl_seq_first_non_zero(), and pos().
Referenced by basic_map_collect_diff(), eliminate_divs_eq(), isl_basic_map_align_divs(), isl_basic_map_gauss5(), isl_basic_map_gist(), isl_basic_map_plain_gist(), isl_basic_map_plain_unshifted_simple_hull(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_sort_divs(), isl_map_align_divs_to_basic_map_list(), isl_map_order_divs(), and remove_duplicate_divs().
int isl_basic_map_output_defining_equality | ( | __isl_keep isl_basic_map * | bmap, |
int | pos, | ||
int * | div, | ||
int * | ineq ) |
Definition at line 11828 of file isl_map.c.
References __isl_keep, find_modulo_constraint_pair(), first_div_may_involve_output(), isl_basic_map_dim(), isl_basic_map_offset(), isl_dim_div, isl_dim_out, isl_int_is_negone, isl_int_is_one, isl_int_is_zero, isl_seq_first_non_zero(), and pos().
Referenced by extract_isl_aff_from_basic_map(), and isl_basic_map_plain_is_single_valued().
__isl_give isl_basic_map * isl_basic_map_overlying_set | ( | __isl_take isl_basic_set * | bset, |
__isl_take isl_basic_map * | like ) |
Definition at line 5682 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map::block2, bset_to_bmap(), isl_blk::data, isl_basic_map::div, isl_ctx::error, isl_basic_map::extra, isl_assert, isl_basic_map_add_known_div_constraints(), isl_basic_map_dim(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_get_space(), isl_basic_map_reset_space(), isl_basic_map_restore_space(), isl_basic_map_simplify(), isl_basic_map_take_space(), isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_cow(), isl_basic_set_dim(), isl_basic_set_free(), isl_blk_extend(), isl_blk_is_error(), isl_dim_all, isl_dim_set, isl_realloc_array, isl_seq_clr(), isl_seq_cpy(), isl_space_free(), isl_basic_map::n_div, and total().
Referenced by isl_basic_map_gist(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_sample(), isl_basic_set_from_underlying_set(), isl_map_affine_hull(), isl_map_convex_hull(), map_simple_hull(), and map_unshifted_simple_hull_from_basic_map_list().
__isl_keep isl_space * isl_basic_map_peek_space | ( | __isl_keep const isl_basic_map * | bmap | ) |
Definition at line 403 of file isl_map.c.
References __isl_keep.
Referenced by add_constraints(), basic_map_init(), isl_basic_map_align_params(), isl_basic_map_applies_range(), isl_basic_map_get_space(), isl_basic_map_has_equal_params(), isl_basic_map_intersect(), isl_basic_map_is_transformation(), isl_basic_map_move_dims(), isl_basic_map_plain_cmp(), isl_basic_map_range_reverse(), isl_basic_map_reset_space(), isl_basic_map_set_tuple_is_equal(), isl_basic_map_var_offset(), isl_basic_set_peek_space(), and move_last().
__isl_give isl_basic_map * isl_basic_map_plain_affine_hull | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 971 of file isl_affine_hull.c.
References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_finalize(), and isl_basic_map_free_inequality().
Referenced by check_coalesce_into_eq(), coalesce_info_set_hull_hash(), coalesce_subset_with_equalities(), harmonize_divs(), isl_basic_map_affine_hull(), isl_basic_set_plain_affine_hull(), and isl_pw_multi_aff_from_map().
int isl_basic_map_plain_cmp | ( | __isl_keep isl_basic_map * | bmap1, |
__isl_keep isl_basic_map * | bmap2 ) |
Definition at line 10325 of file isl_map.c.
References __isl_keep, cmp(), isl_basic_map_dim(), isl_basic_map_div_is_marked_unknown(), ISL_BASIC_MAP_EMPTY, isl_basic_map_peek_space(), ISL_BASIC_MAP_RATIONAL, isl_dim_all, ISL_F_ISSET, isl_seq_cmp(), isl_space_cmp(), and total().
Referenced by aff_split_cmp(), isl_basic_map_plain_is_equal(), isl_basic_set_plain_cmp(), and qsort_bmap_cmp().
isl_bool isl_basic_map_plain_is_equal | ( | __isl_keep isl_basic_map * | bmap1, |
__isl_keep isl_basic_map * | bmap2 ) |
Definition at line 10415 of file isl_map.c.
References __isl_keep, isl_basic_map_plain_cmp(), and isl_bool_error.
Referenced by check_coalesce_into_eq(), coalesce_subset_with_equalities(), isl_basic_set_plain_is_equal(), isl_map_plain_is_equal(), sort_and_remove_duplicates(), and split_aff().
isl_bool isl_basic_map_plain_is_non_empty | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 9442 of file isl_map.c.
References __isl_keep, isl_basic_map_contains(), isl_basic_map_dim(), isl_bool_error, isl_bool_false, isl_dim_all, and total().
Referenced by drop_irrelevant_constraints(), and isl_basic_map_is_empty().
isl_bool isl_basic_map_plain_is_single_valued | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 11884 of file isl_map.c.
References __isl_keep, isl_basic_map_dim(), isl_basic_map_output_defining_equality(), isl_bool_error, isl_bool_false, isl_bool_true, and isl_dim_out.
Referenced by isl_basic_map_is_single_valued(), isl_map_plain_is_single_valued(), and isl_pw_multi_aff_from_map().
__isl_give isl_basic_map * isl_basic_map_reduce_coefficients | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 5409 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_vec::el, eliminate_divs_eq(), has_multiple_var_equality(), isl_basic_map_cow(), isl_basic_map_detect_inequality_pairs(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_get_ctx(), isl_basic_map_is_rational(), ISL_BASIC_MAP_NO_REDUNDANT, ISL_BASIC_MAP_REDUCED_COEFFICIENTS, isl_basic_map_set_to_empty(), isl_dim_all, ISL_F_CLR, ISL_F_ISSET, ISL_F_SET, isl_mat_copy(), isl_mat_free(), isl_mat_sub_alloc6(), isl_mat_variable_compression(), isl_seq_cpy(), isl_vec_alloc(), isl_vec_free(), isl_vec_mat_product(), isl_mat::n_col, normalize_constraint(), total(), and test_ineq_data::v.
Referenced by isl_map_coalesce().
__isl_give isl_basic_map * isl_basic_map_remove_duplicate_constraints | ( | __isl_take isl_basic_map * | bmap, |
int * | progress, | ||
int | detect_divs ) |
Definition at line 1239 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_constraint_index::bits, check_for_div_constraints(), constraint_index_free(), create_constraint_index(), hash_index(), isl_constraint_index::index, isl_basic_map_dim(), isl_basic_map_drop_inequality(), isl_basic_map_inequality_to_equality(), isl_basic_map_set_to_empty(), isl_dim_all, isl_int_add, isl_int_clear, isl_int_init, isl_int_is_pos, isl_int_is_zero, isl_int_lt, isl_seq_get_hash_bits(), isl_seq_neg(), swap_inequality(), and total().
Referenced by isl_basic_map_add_known_div_constraints(), isl_basic_map_detect_inequality_pairs(), isl_basic_map_eliminate_vars(), and isl_basic_map_simplify().
__isl_give isl_basic_map * isl_basic_map_reset | ( | __isl_take isl_basic_map * | bmap, |
enum isl_dim_type | type ) |
Definition at line 12245 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_mark_final(), isl_basic_map_restore_space(), isl_basic_map_take_space(), isl_space_reset(), and type.
Referenced by isl_basic_map_move_dims(), and isl_map_reset().
__isl_give isl_basic_map * isl_basic_map_reset_space | ( | __isl_take isl_basic_map * | bmap, |
__isl_take isl_space * | space ) |
Definition at line 5796 of file isl_map.c.
References __isl_give, __isl_take, equal, isl_ctx::error, isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_peek_space(), isl_basic_map_restore_space(), isl_basic_map_take_space(), isl_space_free(), isl_space_has_equal_ids(), and isl_space_is_equal().
Referenced by basic_map_space_reset(), compute_divs(), isl_basic_map_domain(), isl_basic_map_eliminate(), isl_basic_map_from_multi_aff2(), isl_basic_map_overlying_set(), isl_basic_map_reverse(), isl_basic_set_reset_space(), and isl_map_reset_space().
__isl_give isl_basic_map * isl_basic_map_set_div_expr_constant_num_si_inplace | ( | __isl_take isl_basic_map * | bmap, |
int | div, | ||
int | value ) |
Definition at line 14337 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_check_range(), isl_basic_map_free(), isl_dim_div, and isl_int_set_si.
Referenced by normalize_stride_div().
__isl_give isl_basic_map * isl_basic_map_set_rational | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 2215 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_finalize(), ISL_BASIC_MAP_RATIONAL, ISL_F_ISSET, and ISL_F_SET.
Referenced by isl_basic_map_from_aff2(), isl_basic_map_from_multi_aff2(), isl_basic_map_insert_dims(), isl_basic_map_preimage_multi_aff(), isl_basic_map_range_product(), isl_basic_set_set_rational(), and isl_map_set_rational().
__isl_give isl_basic_map * isl_basic_map_set_to_empty | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 2167 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_alloc_equality(), isl_basic_map_dim(), ISL_BASIC_MAP_EMPTY, isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_free_div(), isl_basic_map_free_equality(), isl_basic_map_free_inequality(), isl_basic_map_n_constraint(), isl_basic_map_plain_is_empty(), isl_dim_all, ISL_F_SET, isl_int_set_si, isl_seq_clr(), isl_vec_free(), n, and total().
Referenced by div_find_coalesce(), drop_more_redundant_divs(), isl_basic_map_detect_equalities(), isl_basic_map_empty(), isl_basic_map_gauss5(), isl_basic_map_normalize_constraints(), isl_basic_map_project_out(), isl_basic_map_reduce_coefficients(), isl_basic_map_remove_duplicate_constraints(), isl_basic_map_sample(), isl_basic_map_update_from_tab(), isl_basic_set_set_to_empty(), isl_tab_track_bmap(), and normalize_divs().
__isl_give isl_basic_map * isl_basic_map_shift_div | ( | __isl_take isl_basic_map * | bmap, |
int | div, | ||
int | pos, | ||
isl_int | shift ) |
Definition at line 5506 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_basic_map_dim(), isl_basic_map_free(), isl_dim_all, isl_dim_div, isl_int_addmul, isl_int_is_zero, isl_int_submul, pos(), and total().
Referenced by reduce_coefficient_in_div(), and shift_div().
__isl_give isl_basic_map * isl_basic_map_simplify | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 1516 of file isl_map_simplify.c.
References __isl_give, __isl_take, eliminate_divs_eq(), eliminate_divs_ineq(), eliminate_unit_divs(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_normalize_constraints(), isl_basic_map_plain_is_empty(), ISL_BASIC_MAP_REDUCED_COEFFICIENTS, isl_basic_map_remove_duplicate_constraints(), ISL_F_CLR, normalize_div_expressions(), normalize_divs(), reduce_div_coefficients(), and remove_duplicate_divs().
Referenced by basic_map_bound(), basic_map_bound_si(), basic_map_collect_diff(), basic_map_read_polylib(), basic_replace_space_by_local_space(), drop_redundant_divs_again(), fuse(), isl_basic_map_apply_range(), isl_basic_map_detect_equalities(), isl_basic_map_domain_product(), isl_basic_map_drop(), isl_basic_map_drop_redundant_divs(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_floordiv(), isl_basic_map_from_constraint_matrices(), isl_basic_map_intersect(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_map_overlying_set(), isl_basic_map_preimage_multi_aff(), isl_basic_map_product(), isl_basic_map_project_out(), isl_basic_map_range_product(), isl_basic_map_sum(), isl_basic_set_simplify(), isl_map_affine_hull(), map_intersect_add_constraint(), path_along_steps(), and update_basic_maps().
__isl_give isl_basic_map * isl_basic_map_sort_constraints | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 10288 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_dim(), isl_basic_map_free(), ISL_BASIC_MAP_SORTED, isl_dim_all, ISL_F_ISSET, ISL_F_SET, isl_sort(), size, sort_constraint_cmp(), and total().
Referenced by isl_basic_map_normalize(), isl_basic_map_plain_gist(), isl_basic_map_plain_unshifted_simple_hull(), isl_basic_map_remove_redundancies(), isl_basic_set_sort_constraints(), isl_map_remove_obvious_duplicates(), and print_constraints().
__isl_give isl_basic_map * isl_basic_map_sort_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 762 of file isl_local_space.c.
References __isl_give, __isl_take, bmap_cmp_row(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_order_divs(), isl_basic_map_swap_div(), isl_dim_all, and total().
Referenced by compute_divs(), isl_basic_map_drop_redundant_divs(), isl_basic_map_make_strides_explicit(), isl_basic_set_sort_divs(), and isl_map_sort_divs().
__isl_give isl_basic_map * isl_basic_map_swap_div | ( | __isl_take isl_basic_map * | bmap, |
int | a, | ||
int | b ) |
Definition at line 2293 of file isl_map.c.
References __isl_give, __isl_take, a(), b(), isl_basic_map_free(), ISL_BASIC_MAP_SORTED, isl_basic_map_var_offset(), isl_dim_div, ISL_F_CLR, isl_int_swap, and swap_div().
Referenced by add_sub_vars(), align_context_divs(), isl_basic_map_align_divs(), isl_basic_map_expand_divs(), isl_basic_map_insert_div(), isl_basic_map_order_divs(), and isl_basic_map_sort_divs().
__isl_give isl_basic_map * isl_basic_map_transform_dims | ( | __isl_take isl_basic_map * | bmap, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
__isl_take isl_mat * | trans ) |
Definition at line 14422 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_check_range(), isl_basic_map_cow(), isl_basic_map_free(), ISL_BASIC_MAP_NORMALIZED_DIVS, isl_basic_map_offset(), ISL_BASIC_MAP_SORTED, isl_die, isl_error_invalid, ISL_F_CLR, isl_mat_copy(), isl_mat_free(), isl_mat_sub_transform(), pos(), and type.
Referenced by compute_weights(), and isl_basic_set_transform_dims().
__isl_give isl_basic_set * isl_basic_map_underlying_set | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 5619 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), isl_basic_map_cow(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_restore_space(), isl_basic_map_take_space(), isl_basic_set, isl_dim_in, isl_dim_out, isl_space_is_named_or_nested(), and isl_space_underlying().
Referenced by equalities_in_underlying_set(), isl_basic_map_gist(), isl_basic_map_is_empty(), isl_basic_map_remove_shifted_constraints(), isl_basic_map_sample(), isl_basic_set_underlying_set(), isl_map_underlying_set(), and set_from_updated_bmap().
isl_size isl_basic_map_var_offset | ( | __isl_keep isl_basic_map * | bmap, |
enum isl_dim_type | type ) |
Definition at line 144 of file isl_map.c.
References __isl_keep, isl_basic_map_get_ctx(), isl_basic_map_peek_space(), isl_die, isl_dim_all, isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_size_error, isl_space_dim(), isl_space_offset(), and type.
Referenced by add_lower_div_constraint(), add_upper_div_constraint(), any_div_involves_div(), coalesce_divs(), coalesce_or_drop_more_redundant_divs(), div_find_coalesce(), div_is_redundant(), drop_aff(), eliminate_div(), eliminate_unit_div(), eliminate_var_using_equality(), find_context_div(), find_div(), insert_bounds_on_div(), is_pure_unit_div(), isl_basic_map_align_divs(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_get_divs(), isl_basic_map_make_strides_explicit(), isl_basic_map_offset(), isl_basic_map_order_divs(), isl_basic_map_range_reverse(), isl_basic_map_remove_divs(), isl_basic_map_swap_div(), isl_basic_set_var_offset(), n_pure_div_eq(), normalize_divs(), ok_to_eliminate_div(), remove_duplicate_divs(), and remove_redundant_divs().
__isl_give isl_basic_set * isl_basic_set_add_eq | ( | __isl_take isl_basic_set * | bset, |
isl_int * | eq ) |
Definition at line 1836 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_add_eq(), and isl_basic_set.
Referenced by extend(), and isl_set_add_basic_set_equality().
__isl_give isl_basic_set * isl_basic_set_add_ineq | ( | __isl_take isl_basic_set * | bset, |
isl_int * | ineq ) |
Definition at line 1863 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_add_ineq(), and isl_basic_set.
Referenced by uset_gist_full().
__isl_give isl_basic_set * isl_basic_set_alloc | ( | isl_ctx * | ctx, |
unsigned | nparam, | ||
unsigned | dim, | ||
unsigned | extra, | ||
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 1346 of file isl_map.c.
References __isl_give, bset_from_bmap(), isl_basic_map::ctx, isl_basic_map::dim, isl_basic_map::extra, isl_basic_map_alloc_space(), isl_basic_set, isl_space_set_alloc(), isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by convex_hull_1d(), convex_hull_pair_elim(), initial_hull(), isl_basic_set_from_vec(), and wrap_constraints().
int isl_basic_set_alloc_div | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 1883 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_alloc_div(), and isl_basic_set.
Referenced by farkas(), and isl_basic_set_lineality_space().
int isl_basic_set_alloc_equality | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 1666 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_alloc_equality(), and isl_basic_set.
Referenced by add_lines(), add_param_sum_constraint(), add_sum_constraint(), add_var_sum_constraint(), basic_set_append_equalities(), convex_hull_pair_elim(), copy_equalities(), farkas(), induced_lineality_space(), initial_hull(), isl_basic_set_from_vec(), isl_basic_set_lineality_space(), set_minimum(), setup_carry_lp(), valid_direction_lp(), and wrap_constraints().
int isl_basic_set_alloc_inequality | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 1761 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_alloc_inequality(), and isl_basic_set.
Referenced by add_bound(), add_bound_constant_constraints(), add_bound_from_constraint(), add_bounds(), add_larger_bound_constraint(), add_rays(), add_vertex(), common_constraints(), convex_hull_1d(), convex_hull_pair_elim(), extend(), farkas(), homogeneous_map(), induced_lineality_space(), initial_hull(), isl_basic_set_box_from_points(), isl_basic_set_positive_orthant(), neg_halfspace(), node_add_coefficient_constraints(), nonneg_halfspace(), parametric_constant_never_positive(), select_minimum(), set_div_slice(), setup_carry_lp(), SF(), shift_cone(), unit_box_base_points(), valid_direction_lp(), and wrap_constraints().
__isl_give isl_basic_set * isl_basic_set_alloc_space | ( | __isl_take isl_space * | space, |
unsigned | extra, | ||
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 1361 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), isl_basic_map::extra, isl_assert, isl_basic_map_alloc_space(), isl_basic_set, isl_space_free(), isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by construct_product(), copy_equalities(), farkas(), induced_lineality_space(), isl_basic_set_box_from_points(), isl_basic_set_empty(), isl_basic_set_lineality_space(), isl_basic_set_positive_orthant(), isl_basic_set_universe(), neg_halfspace(), nonneg_halfspace(), proto_hull(), set_div_slice(), set_minimum(), set_minimum_pa(), setup_carry_lp(), setup_lp(), shift_cone(), unit_box_base_points(), uset_simple_hull(), uset_unshifted_simple_hull_from_constraints(), and valid_direction_lp().
isl_stat isl_basic_set_check_equal_space | ( | __isl_keep isl_basic_set * | bset1, |
__isl_keep isl_basic_set * | bset2 ) |
References __isl_keep, and isl_basic_set.
isl_stat isl_basic_set_check_no_locals | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 1551 of file isl_map.c.
References __isl_keep, isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_ctx(), isl_die, isl_dim_div, isl_error_invalid, isl_stat_error, isl_stat_ok, and isl_basic_map::n_div.
Referenced by add_non_trivial_lineality(), basic_set_sample(), compress_variables(), copy_equalities(), isl_basic_map_overlying_set(), isl_basic_set_compute_vertices(), isl_basic_set_factorizer(), isl_basic_set_recession_cone(), isl_basic_set_reduced_basis(), and isl_basic_set_variable_compression().
isl_stat isl_basic_set_check_no_params | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 1535 of file isl_map.c.
References __isl_keep, isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_ctx(), isl_die, isl_dim_param, isl_error_invalid, isl_stat_error, and isl_stat_ok.
Referenced by basic_set_sample(), compress_variables(), isl_basic_map_overlying_set(), isl_basic_set_preimage(), isl_basic_set_reduced_basis(), isl_basic_set_remove_equalities(), and isl_basic_set_solve_ilp().
isl_stat isl_basic_set_check_range | ( | __isl_keep isl_basic_set * | bset, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 1895 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_check_range(), isl_basic_set, n, and type.
Referenced by isl_basic_set_dims_get_sign(), isl_basic_set_foreach_bound_pair(), and isl_basic_set_has_defining_inequalities().
isl_bool isl_basic_set_contains | ( | __isl_keep isl_basic_set * | bset, |
__isl_keep isl_vec * | vec ) |
Definition at line 3698 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_contains(), and isl_basic_set.
Referenced by add_adjacent_points(), basic_set_sample(), compute_chambers(), main(), and uset_affine_hull_bounded().
int isl_basic_set_count_upto | ( | __isl_keep isl_basic_set * | bset, |
isl_int | max, | ||
isl_int * | count ) |
Definition at line 251 of file isl_scan.c.
References __isl_keep, isl_counter::callback, count(), isl_counter::count, increment_counter(), isl_basic_set, isl_basic_set_copy(), isl_basic_set_scan(), isl_int_clear, isl_int_init, isl_int_lt, isl_int_set, isl_int_set_si, and isl_counter::max.
Referenced by check_solution().
__isl_give isl_basic_set * isl_basic_set_cow | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 2047 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_cow(), and isl_basic_set.
Referenced by add_chamber(), add_vertex(), create_todo(), detect_implicit_equality_constraints(), extend(), isl_basic_map_gist(), isl_basic_map_overlying_set(), isl_basic_set_foreach_bound_pair(), isl_basic_set_lift(), isl_basic_set_preimage(), isl_basic_set_recession_cone(), isl_basic_set_reduce_using_equalities(), isl_basic_set_set_integral(), isl_basic_set_tighten_outward(), isl_basic_set_unwrap(), parameter_compute_divs(), parametric_constant_never_positive(), remove_shifted_constraints(), set_from_updated_bmap(), set_largest_lower_bound(), set_smallest_upper_bound(), uset_gist_compressed(), and uset_gist_full().
isl_stat isl_basic_set_dim_residue_class | ( | __isl_keep isl_basic_set * | bset, |
int | pos, | ||
isl_int * | modulo, | ||
isl_int * | residue ) |
Definition at line 734 of file isl_equalities.c.
References __isl_keep, C, isl_mat::ctx, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_plain_dim_is_fixed(), isl_basic_set_set_to_empty(), isl_dim_all, isl_dim_param, isl_int_divexact, isl_int_fdiv_r, isl_int_is_divisible_by, isl_int_is_one, isl_int_is_zero, isl_int_set_si, isl_mat_alloc(), isl_mat_free(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_product(), isl_mat_sub_alloc(), isl_mat_sub_alloc6(), isl_mat_sub_neg(), isl_seq_gcd(), isl_stat_error, isl_stat_ok, isl_mat::n_row, pos(), and total().
Referenced by isl_set_dim_residue_class().
__isl_give isl_basic_set * isl_basic_set_drop | ( | __isl_take isl_basic_set * | bset, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2455 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_drop(), isl_basic_set, n, and type.
Referenced by isl_basic_set_foreach_bound_pair(), and isl_factorizer_every_factor_basic_set().
__isl_give isl_basic_set * isl_basic_set_drop_constraints_involving | ( | __isl_take isl_basic_set * | bset, |
unsigned | first, | ||
unsigned | n ) |
Definition at line 3063 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_drop_constraints_involving(), isl_basic_set, and n.
Referenced by affine_hull_with_cone(), isl_basic_set_sample_with_cone(), and isl_factorizer_every_factor_basic_set().
__isl_give isl_basic_set * isl_basic_set_drop_constraints_involving_unknown_divs | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 1909 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_drop_constraints_involving_unknown_divs(), and isl_basic_set.
__isl_give isl_basic_set * isl_basic_set_drop_dims | ( | __isl_take isl_basic_set * | bset, |
unsigned | first, | ||
unsigned | n ) |
Definition at line 2331 of file isl_map.c.
References __isl_give, __isl_take, bset_to_bmap(), isl_basic_map_drop(), isl_basic_set, isl_dim_set, and n.
Referenced by affine_hull_with_cone(), and isl_basic_set_sample_with_cone().
int isl_basic_set_drop_inequality | ( | __isl_keep isl_basic_set * | bset, |
unsigned | pos ) |
Definition at line 1803 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_drop_inequality(), isl_basic_set, and pos().
Referenced by isl_basic_set_foreach_bound_pair(), remove_shifted_constraints(), and update_ineq().
__isl_give isl_basic_set * isl_basic_set_dup | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 1457 of file isl_map.c.
References __isl_give, __isl_keep, bset_from_bmap(), bset_to_bmap(), dup(), isl_basic_map_dup(), and isl_basic_set.
Referenced by gbr_get_sample(), sol_domain(), and uset_gist_full().
__isl_give isl_basic_set * isl_basic_set_eliminate_vars | ( | __isl_take isl_basic_set * | bset, |
unsigned | pos, | ||
unsigned | n ) |
Definition at line 1813 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_eliminate_vars(), isl_basic_set, n, and pos().
Referenced by project_onto_involved().
isl_bool isl_basic_set_eq_is_stride | ( | __isl_keep isl_basic_set * | bset, |
int | i ) |
Definition at line 1074 of file isl_map.c.
References __isl_keep, isl_basic_set, isl_basic_set_dim(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_div, isl_dim_param, isl_dim_set, isl_int_is_negone, isl_int_is_one, isl_int_is_zero, and isl_seq_first_non_zero().
Referenced by box_closure_on_domain().
__isl_give isl_basic_set * isl_basic_set_expand_divs | ( | __isl_take isl_basic_set * | bset, |
__isl_take isl_mat * | div, | ||
int * | exp ) |
Definition at line 9613 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_expand_divs(), and isl_basic_set.
Referenced by isl_basic_set_opt(), and isl_basic_set_opt_lp_val_aligned().
__isl_give isl_basic_set * isl_basic_set_extend | ( | __isl_take isl_basic_set * | base, |
unsigned | extra, | ||
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 2026 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map::extra, isl_basic_map_extend(), isl_basic_set, isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by basic_set_append_equalities(), and extend().
__isl_give isl_basic_set * isl_basic_set_extend_constraints | ( | __isl_take isl_basic_set * | base, |
unsigned | n_eq, | ||
unsigned | n_ineq ) |
Definition at line 2039 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_extend_constraints(), isl_basic_set, isl_basic_map::n_eq, and isl_basic_map::n_ineq.
Referenced by add_bounds(), add_constraints_dim_map(), foreach_bound_pair(), homogeneous_map(), parametric_constant_never_positive(), set_largest_lower_bound(), set_smallest_upper_bound(), SF(), and uset_gist_full().
__isl_give isl_mat * isl_basic_set_extract_equalities | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 14270 of file isl_map.c.
References __isl_give, __isl_keep, isl_mat::ctx, isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_ctx(), isl_dim_all, isl_mat_sub_alloc6(), and total().
Referenced by add_non_trivial_lineality().
__isl_give isl_basic_set * isl_basic_set_finalize | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 1685 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_finalize(), and isl_basic_set.
Referenced by add_chamber(), add_vertex(), basic_set_append_equalities(), convex_hull_1d(), extend(), farkas(), foreach_bound_pair(), isl_basic_set_box_from_points(), isl_basic_set_lift(), isl_basic_set_preimage(), isl_basic_set_reduce_using_equalities(), isl_basic_set_set_integral(), isl_basic_set_universe(), isl_basic_set_unwrap(), neg_halfspace(), nonneg_halfspace(), select_minimum(), set_largest_lower_bound(), set_smallest_upper_bound(), shift_cone(), sol_map_add_empty(), sol_pma_add(), sol_pma_add_empty(), and update_ineq().
int isl_basic_set_first_unknown_div | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 8017 of file isl_map.c.
References __isl_keep, isl_basic_map_first_unknown_div(), and isl_basic_set.
Referenced by isl_context_alloc().
__isl_give isl_basic_set * isl_basic_set_fix | ( | __isl_take isl_basic_set * | bset, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
isl_int | value ) |
Definition at line 6548 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_fix(), isl_basic_set, pos(), and type.
Referenced by opt_at(), and plug_in_parameters().
__isl_give isl_basic_set * isl_basic_set_free_equality | ( | __isl_take isl_basic_set * | bset, |
unsigned | n ) |
Definition at line 1684 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_free_equality(), isl_basic_set, and n.
Referenced by isl_basic_map_gist().
__isl_give isl_basic_set * isl_basic_set_free_inequality | ( | __isl_take isl_basic_set * | bset, |
unsigned | n ) |
Definition at line 1779 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_free_inequality(), isl_basic_set, and n.
Referenced by add_bound(), and isl_basic_map_gist().
__isl_give isl_basic_set * isl_basic_set_from_local_space | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 592 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_from_local_space(), and isl_basic_set.
Referenced by isl_local_space_lift_basic_set(), isl_local_space_lift_set(), and isl_local_space_lifting().
__isl_give isl_basic_set * isl_basic_set_from_underlying_set | ( | __isl_take isl_basic_set * | bset, |
__isl_take isl_basic_set * | like ) |
Definition at line 5750 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_overlying_set(), and isl_basic_set.
Referenced by isl_basic_set_from_point().
__isl_give isl_basic_set * isl_basic_set_gauss | ( | __isl_take isl_basic_set * | bset, |
int * | progress ) |
Definition at line 667 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_gauss(), and isl_basic_set.
Referenced by basic_set_append_equalities(), extend(), gbr_get_sample(), initial_hull(), isl_basic_set_lineality_space(), isl_basic_set_remove_equalities(), parameter_compute_divs(), update_ineq(), and valid_direction_lp().
__isl_give isl_mat * isl_basic_set_get_divs | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 506 of file isl_map.c.
References __isl_give, __isl_keep, isl_basic_map_get_divs(), and isl_basic_set.
Referenced by isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), and print_basic_set_c().
__isl_give isl_basic_set * isl_basic_set_lineality_space | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 1347 of file isl_convex_hull.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_alloc_div(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_space(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_gauss(), isl_basic_set_get_space(), isl_dim_all, isl_dim_div, isl_int_set_si, and isl_seq_cpy().
Referenced by isl_set_combined_lineality_space(), and uset_convex_hull_unbounded().
__isl_give isl_set * isl_basic_set_list_union | ( | __isl_take isl_basic_set_list * | list | ) |
Definition at line 10643 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_list, isl_die, isl_error_invalid, isl_set, isl_set_add_basic_set(), isl_set_alloc_space(), n, and set.
Referenced by uset_convex_hull_unbounded().
isl_size isl_basic_set_n_equality | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 257 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_n_equality(), and isl_basic_set.
Referenced by add_constraints_dim_map(), add_lineality(), compute_chambers(), has_facets(), isl_basic_set_coefficients_factor(), isl_basic_set_compute_vertices(), multiplicative_call_base(), and update_count().
isl_size isl_basic_set_n_inequality | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 275 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_n_inequality(), and isl_basic_set.
Referenced by add_constraints_dim_map(), isl_basic_set_coefficients_factor(), and update_count().
__isl_give isl_basic_set * isl_basic_set_normalize_constraints | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 107 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_normalize_constraints(), and isl_basic_set.
Referenced by affine_hull(), and extend().
unsigned isl_basic_set_offset | ( | __isl_keep isl_basic_set * | bset, |
enum isl_dim_type | type ) |
Definition at line 190 of file isl_map.c.
References __isl_keep, isl_basic_map_offset(), isl_basic_set, and type.
Referenced by basic_set_append_equalities(), isl_aff_substitute_equalities_lifted(), isl_basic_set_has_defining_inequalities(), isl_basic_set_variable_compression(), and isl_qpolynomial_substitute_equalities_lifted().
__isl_keep isl_space * isl_basic_set_peek_space | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 411 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_peek_space(), and isl_basic_set.
Referenced by isl_basic_map_set_tuple_is_equal(), isl_basic_set_space_has_equal_params(), isl_local_space_lift_basic_set(), and isl_morph_peek_dom_space().
__isl_give isl_basic_set * isl_basic_set_plain_affine_hull | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 984 of file isl_affine_hull.c.
References __isl_give, __isl_take, isl_basic_map_plain_affine_hull(), and isl_basic_set.
Referenced by uset_gist().
isl_bool isl_basic_set_plain_dim_is_fixed | ( | __isl_keep isl_basic_set * | bset, |
unsigned | dim, | ||
isl_int * | val ) |
Definition at line 10218 of file isl_map.c.
References __isl_keep, isl_basic_set, isl_basic_set_dim(), isl_basic_set_plain_has_fixed_var(), isl_bool_error, isl_dim_param, and val.
Referenced by construct_extended_path(), and isl_basic_set_dim_residue_class().
__isl_give isl_basic_set * isl_basic_set_preimage | ( | __isl_take isl_basic_set * | bset, |
__isl_take isl_mat * | mat ) |
Definition at line 1360 of file isl_mat.c.
References __isl_give, __isl_take, isl_ctx::error, isl_assert, isl_basic_set, isl_basic_set_add_dims(), ISL_BASIC_SET_ALL_EQUALITIES, isl_basic_set_check_no_params(), isl_basic_set_cow(), isl_basic_set_finalize(), isl_basic_set_free(), ISL_BASIC_SET_NO_IMPLICIT, ISL_BASIC_SET_NO_REDUNDANT, ISL_BASIC_SET_NORMALIZED_DIVS, isl_basic_set_simplify(), ISL_BASIC_SET_SORTED, isl_dim_set, ISL_F_CLR, isl_mat_copy(), isl_mat_free(), isl_space_cow(), and preimage().
Referenced by affine_hull_with_cone(), basic_set_parameter_preimage(), compress_variables(), compute_facet(), convex_hull_pair_pointed(), equalities_in_underlying_set(), homogeneous_map(), isl_basic_set_sample_with_cone(), isl_set_preimage(), modulo_affine_hull(), modulo_lineality(), plug_in(), round_up_in_cone(), and uset_gist_compressed().
__isl_give isl_basic_set * isl_basic_set_recession_cone | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 317 of file isl_affine_hull.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_cow(), isl_basic_set_free(), isl_basic_set_implicit_equalities(), ISL_BASIC_SET_NO_IMPLICIT, isl_basic_set_plain_is_empty(), ISL_F_CLR, and isl_int_set_si.
Referenced by gbr_sample(), test_recession_cone(), and uset_affine_hull().
__isl_give isl_basic_set * isl_basic_set_reset_space | ( | __isl_take isl_basic_set * | bset, |
__isl_take isl_space * | space ) |
Definition at line 5824 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_reset_space(), and isl_basic_set.
Referenced by guarded_poly_bound(), isl_basic_map_deltas(), isl_basic_map_from_range(), isl_basic_set_coefficients(), isl_basic_set_from_params(), isl_basic_set_params(), isl_basic_set_solutions(), isl_morph_basic_set(), and path_along_delta().
__isl_give isl_basic_set * isl_basic_set_set_integral | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 2239 of file isl_map.c.
References __isl_give, __isl_take, ISL_BASIC_MAP_RATIONAL, isl_basic_set, isl_basic_set_cow(), isl_basic_set_finalize(), ISL_F_CLR, and ISL_F_ISSET.
Referenced by isl_vertex_get_domain(), and isl_vertices_foreach_disjoint_cell().
__isl_give isl_basic_set * isl_basic_set_set_rational | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 2233 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_set_rational(), and isl_basic_set.
Referenced by add_chamber(), aff_nonneg_basic_set(), aff_zero_basic_set(), construct_product(), convex_hull_1d(), convex_hull_pair_elim(), create_todo(), farkas(), induced_lineality_space(), isl_basic_set_compute_vertices(), main(), proto_hull(), rational_universe(), setup_carry_lp(), uset_convex_hull_wrap_bounded(), and wrap_constraints().
__isl_give isl_basic_set * isl_basic_set_set_to_empty | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 2209 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_set_to_empty(), and isl_basic_set.
Referenced by compress_variables(), isl_basic_set_dim_residue_class(), isl_basic_set_empty(), parameter_compute_divs(), update_ineq(), uset_affine_hull_bounded(), and uset_is_bound().
__isl_give isl_basic_set * isl_basic_set_simplify | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 1548 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_simplify(), and isl_basic_set.
Referenced by add_chamber(), add_vertex(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), convex_hull_1d(), create_todo(), extend(), farkas(), foreach_bound_pair(), interval_sample(), isl_basic_set_preimage(), isl_basic_set_reduce_using_equalities(), set_largest_lower_bound(), set_smallest_upper_bound(), sol_map_add_empty(), sol_pma_add(), and sol_pma_add_empty().
__isl_give isl_basic_set * isl_basic_set_sort_constraints | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 10311 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_sort_constraints(), and isl_basic_set.
Referenced by create_todo(), and uset_gist().
__isl_give isl_basic_set * isl_basic_set_sort_divs | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 9542 of file isl_map.c.
References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_sort_divs(), and isl_basic_set.
Referenced by basic_map_partial_lexopt_base_sol().
isl_bool isl_basic_set_space_has_equal_params | ( | __isl_keep isl_basic_set * | bset, |
__isl_keep isl_space * | space ) |
Definition at line 12560 of file isl_map.c.
References __isl_keep, isl_basic_set, isl_basic_set_peek_space(), and isl_space_has_equal_params().
Referenced by isl_basic_set_opt_lp_val().
__isl_give isl_basic_set * isl_basic_set_tighten_outward | ( | __isl_take isl_basic_set * | bset, |
__isl_keep isl_vec * | vec ) |
Definition at line 14394 of file isl_map.c.
References __isl_give, __isl_keep, __isl_take, is_internal(), isl_basic_set, isl_basic_set_cow(), isl_basic_set_free(), and isl_int_sub_ui.
Referenced by isl_vertices_foreach_disjoint_cell().
__isl_give isl_basic_set * isl_basic_set_transform_dims | ( | __isl_take isl_basic_set * | bset, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
__isl_take isl_mat * | trans ) |
Definition at line 14467 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_transform_dims(), isl_basic_set, and type.
__isl_give isl_basic_set * isl_basic_set_underlying_set | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 5648 of file isl_map.c.
References __isl_give, __isl_take, bset_to_bmap(), isl_basic_map_underlying_set(), and isl_basic_set.
Referenced by basic_set_opt(), check_solution(), gbr_get_sample(), isl_basic_map_list_underlying_set(), isl_basic_set_sample_point(), and uset_convex_hull_unbounded().
isl_size isl_basic_set_var_offset | ( | __isl_keep isl_basic_set * | bset, |
enum isl_dim_type | type ) |
Definition at line 168 of file isl_map.c.
References __isl_keep, bset_to_bmap(), isl_basic_map_var_offset(), isl_basic_set, and type.
Referenced by find_context_div(), and isl_basic_set_foreach_bound_pair().
isl_stat isl_basic_set_vars_get_sign | ( | __isl_keep isl_basic_set * | bset, |
unsigned | first, | ||
unsigned | n, | ||
int * | signs ) |
Definition at line 11594 of file isl_map.c.
References __isl_keep, bound, isl_tab::empty, isl_basic_set, isl_basic_set_dim(), isl_dim_all, isl_int_set_si, isl_seq_clr(), isl_stat_error, isl_stat_ok, isl_tab_add_ineq(), isl_tab_free(), isl_tab_from_basic_set(), isl_tab_rollback(), isl_tab_snap(), isl_vec_alloc(), isl_vec_free(), n, and total().
Referenced by isl_basic_set_dims_get_sign().
__isl_give isl_basic_map * isl_inequality_negate | ( | __isl_take isl_basic_map * | bmap, |
unsigned | pos ) |
Definition at line 3417 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_get_ctx(), ISL_BASIC_MAP_NO_REDUNDANT, ISL_BASIC_MAP_SORTED, isl_die, isl_dim_all, isl_error_invalid, ISL_F_CLR, isl_int_sub_ui, isl_seq_neg(), pos(), and total().
Referenced by uset_gist_full().
__isl_give isl_map * isl_map_add_basic_map | ( | __isl_take isl_map * | map, |
__isl_take isl_basic_map * | bmap ) |
Definition at line 6397 of file isl_map.c.
References __isl_give, __isl_take, isl_assert, isl_basic_map_free(), isl_basic_map_plain_is_empty(), isl_map_basic_map_check_equal_space(), isl_map_free(), isl_map_unmark_normalized(), and map.
Referenced by construct_power_components(), isl_basic_map_union(), isl_map_apply_range(), isl_map_dup(), isl_map_from_basic_map(), isl_map_sum(), isl_map_universe(), isl_set_add_basic_set(), map_intersect_internal(), map_intersect_set(), map_lex_gte_first(), map_lex_lte_first(), map_product(), map_union_disjoint(), sol_map_add(), and transitive_closure_omega().
__isl_give isl_map * isl_map_align_divs_internal | ( | __isl_take isl_map * | map | ) |
Definition at line 9726 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_align_divs(), isl_map_compute_divs(), isl_map_cow(), isl_map_free(), isl_map_order_divs(), isl_map_unmark_normalized(), and map.
Referenced by isl_map_affine_hull(), isl_map_align_divs(), isl_map_align_divs_to_basic_map_list(), isl_map_convex_hull(), isl_set_align_divs(), isl_set_lift(), map_simple_hull(), and test_coalesce_special().
__isl_give isl_map * isl_map_align_divs_to_basic_map_list | ( | __isl_take isl_map * | map, |
__isl_keep isl_basic_map_list * | list ) |
Definition at line 9766 of file isl_map.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_map_align_divs(), isl_basic_map_free(), isl_basic_map_order_divs(), isl_map_align_divs_internal(), isl_map_compute_divs(), isl_map_cow(), isl_map_free(), map, and n.
Referenced by map_unshifted_simple_hull_from_basic_map_list().
isl_stat isl_map_align_params_bin | ( | __isl_keep isl_map ** | map1, |
__isl_keep isl_map ** | map2 ) |
References __isl_keep, map1, and map2.
Referenced by isl_map_apply_domain(), isl_map_apply_range(), isl_map_domain_product(), isl_map_gist(), isl_map_intersect(), isl_map_product(), isl_map_range_product(), isl_map_subtract(), isl_map_union(), and isl_map_union_disjoint().
isl_bool isl_map_align_params_map_map_and_test | ( | __isl_keep isl_map * | map1, |
__isl_keep isl_map * | map2, | ||
isl_bool(* | fn )(__isl_keep isl_map *map1, __isl_keep isl_map *map2) ) |
Definition at line 1607 of file isl_map.c.
References __isl_keep, fn, isl_bool_error, isl_map_align_params(), isl_map_check_named_params(), isl_map_copy(), isl_map_free(), isl_map_get_space(), isl_map_has_equal_params(), map1, and map2.
Referenced by isl_map_is_disjoint(), isl_map_is_equal(), and isl_map_is_subset().
isl_stat isl_map_align_params_set | ( | __isl_keep isl_map ** | map, |
__isl_keep isl_set ** | set ) |
References __isl_give, __isl_keep, __isl_take, context, count(), fn, isl_basic_set, isl_set, map, map1, map2, pos(), set, type, and val.
Referenced by isl_map_intersect_domain(), isl_map_intersect_domain_wrapped_domain(), isl_map_intersect_params(), isl_map_intersect_range(), isl_map_intersect_range_wrapped_domain(), isl_map_subtract_domain(), isl_map_subtract_range(), and isl_set_apply().
__isl_give isl_map * isl_map_alloc_space | ( | __isl_take isl_space * | space, |
int | n, | ||
unsigned | flags ) |
Definition at line 6238 of file isl_map.c.
References __isl_give, __isl_take, isl_map::flags, isl_calloc, isl_ctx_ref(), isl_die, isl_error_internal, isl_space_free(), map, and n.
Referenced by construct_power_components(), isl_basic_map_union(), isl_map_apply_range(), isl_map_dup(), isl_map_empty(), isl_map_from_basic_map(), isl_map_grow(), isl_map_sum(), isl_map_universe(), isl_set_alloc_space(), map_intersect_internal(), map_intersect_set(), map_lex_gte_first(), map_lex_lte_first(), map_product(), map_union_disjoint(), sol_map_init(), and transitive_closure_omega().
isl_stat isl_map_basic_map_check_equal_space | ( | __isl_keep isl_map * | map, |
__isl_keep isl_basic_map * | bmap ) |
References __isl_keep, and map.
Referenced by isl_map_add_basic_map(), isl_map_gist_basic_map(), and isl_set_basic_set_check_equal_space().
isl_stat isl_map_check_equal_space | ( | __isl_keep isl_map * | map1, |
__isl_keep isl_map * | map2 ) |
References __isl_give, __isl_keep, __isl_take, isl_basic_set, map1, map2, and n.
Referenced by isl_map_subtract(), isl_map_sum(), map_intersect(), and map_union_disjoint().
isl_stat isl_map_check_named_params | ( | __isl_keep isl_map * | map | ) |
References __isl_keep, isl_basic_set, isl_set, map, map1, map2, and set.
Referenced by isl_map_align_params(), isl_map_align_params_map_map_and_test(), isl_map_drop_unused_params(), isl_map_preimage_multi_aff(), and isl_map_preimage_pw_multi_aff().
isl_stat isl_map_check_transformation | ( | __isl_keep isl_map * | map | ) |
Definition at line 8761 of file isl_map.c.
References __isl_keep, equal, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_map_get_ctx(), isl_map_tuple_is_equal(), isl_stat_error, isl_stat_ok, and map.
Referenced by isl_map_deltas(), isl_map_deltas_map(), and map_power().
isl_bool isl_map_compatible_domain | ( | __isl_keep isl_map * | map, |
__isl_keep isl_set * | set ) |
Definition at line 333 of file isl_map.c.
References __isl_keep, isl_bool_error, isl_dim_in, isl_map_has_equal_params(), isl_map_set_tuple_is_equal(), isl_set, m, map, set, and set_to_map.
Referenced by isl_map_intersect_domain(), isl_map_subtract_domain(), and isl_set_apply().
isl_bool isl_map_compatible_range | ( | __isl_keep isl_map * | map, |
__isl_keep isl_set * | set ) |
Definition at line 357 of file isl_map.c.
References __isl_keep, isl_bool_error, isl_dim_out, isl_map_has_equal_params(), isl_map_set_tuple_is_equal(), isl_set, m, map, set, and set_to_map.
Referenced by isl_map_intersect_range(), and isl_map_subtract_range().
__isl_give isl_map * isl_map_cow | ( | __isl_take isl_map * | map | ) |
Definition at line 2097 of file isl_map.c.
References __isl_give, __isl_take, clear_caches(), isl_map_dup(), and map.
Referenced by basic_map_collect_diff(), drop_constraints(), isl_map_align_divs_internal(), isl_map_align_divs_to_basic_map_list(), isl_map_coalesce(), isl_map_drop(), isl_map_drop_constraints_involving_unknown_divs(), isl_map_eliminate(), isl_map_fix(), isl_map_fix_si(), isl_map_fix_val(), isl_map_floordiv(), isl_map_gist_basic_map(), isl_map_insert_dims(), isl_map_local_affine_hull(), isl_map_move_dims(), isl_map_neg(), isl_map_plain_gist_basic_map(), isl_map_project_out(), isl_map_realign(), isl_map_remove_dims(), isl_map_remove_divs(), isl_map_remove_divs_involving_dims(), isl_map_remove_unknown_divs(), isl_map_reset(), isl_map_reset_space(), isl_map_restore_space(), isl_map_set_dim_name(), isl_map_set_rational(), isl_map_set_tuple_name(), isl_map_transform(), isl_map_underlying_set(), isl_set_cow(), map_bound(), map_bound_si(), map_intersect_add_constraint(), map_preimage_multi_aff(), and replace_space_by_local_space().
isl_bool isl_map_divs_known | ( | __isl_keep isl_map * | map | ) |
Definition at line 8039 of file isl_map.c.
References __isl_keep, isl_basic_map_divs_known(), isl_bool_error, isl_bool_true, and map.
Referenced by isl_map_compute_divs(), and isl_map_drop_constraints_involving_unknown_divs().
__isl_give isl_map * isl_map_drop | ( | __isl_take isl_map * | map, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2472 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_drop(), isl_map_cow(), isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_map_unmark_normalized(), isl_space_drop_dims(), isl_space_is_named_or_nested(), map, n, and type.
Referenced by isl_map_remove_dims(), and isl_set_drop().
__isl_give isl_map * isl_map_drop_constraints_involving_unknown_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 1925 of file isl_map_simplify.c.
References __isl_give, __isl_take, isl_basic_map_drop_constraints_involving_unknown_divs(), ISL_F_CLR, isl_map_cow(), ISL_MAP_DISJOINT, isl_map_divs_known(), isl_map_free(), and map.
Referenced by isl_map_plain_unshifted_simple_hull().
__isl_give isl_map * isl_map_dup | ( | __isl_keep isl_map * | map | ) |
Definition at line 6384 of file isl_map.c.
References __isl_give, __isl_keep, dup(), isl_basic_map_copy(), isl_map_add_basic_map(), isl_map_alloc_space(), isl_space_copy(), and map.
Referenced by isl_map_cow().
__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.
Referenced by isl_set_eliminate().
__isl_give isl_map * isl_map_from_multi_aff_internal | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 211 of file isl_aff_map.c.
References __isl_give, __isl_take, basic_map_from_multi_aff(), and isl_map_from_basic_map().
Referenced by isl_map_from_multi_aff(), isl_set_from_multi_aff(), and pw_multi_aff_from_map_div().
__isl_give isl_map * isl_map_from_pw_aff_internal | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 296 of file isl_aff_map.c.
References __isl_give, __isl_take, isl_aff_copy(), isl_basic_map_from_aff(), isl_map_empty(), isl_map_from_basic_map(), isl_map_intersect_domain(), isl_map_union_disjoint(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_set_copy(), and map.
Referenced by isl_map_from_pw_aff(), isl_pw_aff_is_equal(), isl_set_from_pw_aff(), and map_from_multi_pw_aff().
__isl_give isl_map * isl_map_from_pw_multi_aff_internal | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 360 of file isl_aff_map.c.
References __isl_give, __isl_take, isl_basic_map_from_multi_aff2(), isl_map_empty(), isl_map_free(), isl_map_from_basic_map(), isl_map_intersect_domain(), isl_map_union_disjoint(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_set_copy(), isl_set_is_rational(), map, and pma.
Referenced by isl_map_from_pw_multi_aff(), isl_map_partial_lexopt_aligned(), isl_pw_multi_aff_is_equal(), and isl_set_from_pw_multi_aff().
__isl_give isl_map * isl_map_grow | ( | __isl_take isl_map * | map, |
int | n ) |
Definition at line 3448 of file isl_map.c.
References __isl_give, __isl_take, isl_assert, isl_basic_map_copy(), isl_map_alloc_space(), isl_map_free(), isl_map_get_space(), map, isl_map::n, n, isl_map::p, and size.
Referenced by isl_set_grow(), and sol_map_add().
isl_bool isl_map_has_equal_params | ( | __isl_keep isl_map * | map1, |
__isl_keep isl_map * | map2 ) |
Definition at line 294 of file isl_map.c.
References __isl_keep, isl_map_peek_space(), isl_space_has_equal_params(), map1, and map2.
Referenced by isl_map_align_params_map_map_and_test(), isl_map_compatible_domain(), isl_map_compatible_range(), isl_map_intersect_factor(), isl_map_plain_is_disjoint(), isl_map_set_has_equal_params(), and map_product().
isl_bool isl_map_has_rational | ( | __isl_keep isl_map * | map | ) |
Definition at line 1237 of file isl_map.c.
References __isl_keep, isl_basic_map_has_rational(), isl_bool_error, isl_bool_false, and map.
Referenced by isl_set_has_rational(), and map_is_subset().
isl_bool isl_map_has_space | ( | __isl_keep isl_map * | map, |
__isl_keep isl_space * | space ) |
References __isl_keep, and map.
isl_bool isl_map_has_space_tuples | ( | __isl_keep isl_map * | map, |
__isl_keep isl_space * | space ) |
Definition at line 8749 of file isl_map.c.
References __isl_keep, isl_map_peek_space(), isl_space_has_equal_tuples(), and map.
Referenced by has_space_tuples().
__isl_give isl_map * isl_map_inline_foreach_basic_map | ( | __isl_take isl_map * | map, |
__isl_give isl_basic_map *(* | fn )(__isl_take isl_basic_map *bmap) ) |
Definition at line 6589 of file isl_map.c.
References __isl_give, __isl_take, fn, isl_basic_map_copy(), isl_basic_map_free(), isl_map_free(), map, and remove_if_empty().
Referenced by isl_map_detect_equalities(), isl_map_remove_redundancies(), and isl_map_sort_divs().
isl_bool isl_map_is_params | ( | __isl_keep isl_map * | map | ) |
Definition at line 1281 of file isl_map.c.
References __isl_keep, isl_bool_error, isl_space_is_params(), and map.
isl_bool isl_map_is_rational | ( | __isl_keep isl_map * | map | ) |
Definition at line 1148 of file isl_map.c.
References __isl_keep, isl_basic_map_is_rational(), isl_bool_error, isl_bool_false, isl_die, isl_error_unsupported, isl_map_get_ctx(), and map.
Referenced by isl_set_is_rational().
isl_bool isl_map_is_set | ( | __isl_keep isl_map * | map | ) |
Definition at line 6102 of file isl_map.c.
References __isl_keep, isl_bool_error, isl_space_is_set(), and map.
Referenced by pw_multi_aff_from_map_div(), and pw_multi_aff_from_map_stride().
int isl_map_may_be_set | ( | __isl_keep isl_map * | map | ) |
Definition at line 6091 of file isl_map.c.
References __isl_keep, isl_space_may_be_set(), and map.
Referenced by isl_stream_read_set(), and obj_read().
__isl_give isl_map * isl_map_order_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 9521 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_order_divs(), isl_map_free(), and map.
Referenced by basic_map_collect_diff(), and isl_map_align_divs_internal().
__isl_keep isl_space * isl_map_peek_space | ( | __isl_keep const isl_map * | map | ) |
Definition at line 98 of file isl_map.c.
References __isl_keep, and map.
Referenced by FN(), has_domain_space_tuples(), has_range_space_tuples(), is_disjoint_entry(), is_subset_entry(), isl_map_align_params(), isl_map_dim(), isl_map_get_space(), isl_map_has_equal_params(), isl_map_has_space_tuples(), isl_map_intersect_factor(), isl_map_is_product(), isl_map_reset_equal_dim_space(), isl_map_space_has_equal_params(), isl_map_space_tuple_is_equal(), isl_map_tuple_is_equal(), isl_set_peek_space(), isl_union_map_add_map(), map_equate_params(), and match_bin_entry().
__isl_give isl_map * isl_map_plain_gist | ( | __isl_take isl_map * | map, |
__isl_take isl_map * | context ) |
Definition at line 3625 of file isl_map_simplify.c.
References __isl_give, __isl_take, context, hull, isl_map_plain_gist_basic_map(), isl_map_unshifted_simple_hull(), and map.
Referenced by isl_union_map_plain_gist().
__isl_give isl_map * isl_map_plain_gist_basic_map | ( | __isl_take isl_map * | map, |
__isl_take isl_basic_map * | context ) |
Definition at line 3562 of file isl_map_simplify.c.
References __isl_give, __isl_take, context, isl_basic_map_copy(), isl_basic_map_divs_known(), isl_basic_map_free(), isl_basic_map_plain_gist(), isl_basic_map_plain_is_universe(), isl_die, isl_error_invalid, ISL_F_CLR, isl_map_cow(), ISL_MAP_DISJOINT, isl_map_free(), isl_map_get_ctx(), ISL_MAP_NORMALIZED, map, and replace_by_disjunct().
Referenced by isl_map_plain_gist(), isl_set_plain_gist_basic_set(), print_disjuncts_in_hull(), and test_plain_gist().
isl_bool isl_map_plain_is_fixed | ( | __isl_keep isl_map * | map, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
isl_int * | val ) |
Definition at line 10138 of file isl_map.c.
References __isl_keep, isl_bool_error, isl_map_plain_has_fixed_var(), map, map_offset(), pos(), type, and val.
Referenced by fixed_at_pos(), isl_map_plain_get_val_if_fixed(), and test_plain_fixed().
__isl_give isl_map * isl_map_project_onto | ( | __isl_take isl_map * | map, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 4623 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map::dim, isl_map_dim(), isl_map_free(), isl_map_project_out(), map, n, and type.
Referenced by isl_map_get_range_stride_info(), and set_dim_extent().
__isl_give isl_map * isl_map_realign | ( | __isl_take isl_map * | map, |
__isl_take isl_reordering * | r ) |
Definition at line 12430 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_realign(), isl_dim_map_extend(), isl_dim_map_free(), isl_dim_map_from_reordering(), isl_map_cow(), isl_map_free(), isl_map_reset_space(), isl_map_unmark_normalized(), isl_reordering_free(), isl_reordering_get_space(), and map.
Referenced by align_entry(), isl_map_align_params(), isl_set_realign(), and unbind_params_insert_domain().
__isl_give isl_map * isl_map_remove_empty_parts | ( | __isl_take isl_map * | map | ) |
Definition at line 9842 of file isl_map.c.
References __isl_give, __isl_take, map, and remove_if_empty().
Referenced by isl_map_affine_hull(), isl_map_coalesce(), isl_map_make_disjoint(), isl_map_subtract(), isl_set_remove_empty_parts(), and sort_and_remove_duplicates().
__isl_give isl_map * isl_map_remove_obvious_duplicates | ( | __isl_take isl_map * | map | ) |
Definition at line 10474 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_copy(), isl_basic_map_free(), isl_basic_map_sort_constraints(), ISL_F_ISSET, ISL_MAP_DISJOINT, isl_map_free(), ISL_MAP_NORMALIZED, map, and sort_and_remove_duplicates().
Referenced by map_product().
__isl_give isl_map * isl_map_reset | ( | __isl_take isl_map * | map, |
enum isl_dim_type | type ) |
Definition at line 12259 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_reset(), isl_map_cow(), isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_space_is_named_or_nested(), isl_space_reset(), map, and type.
Referenced by anonymize(), and isl_map_move_dims().
__isl_give isl_map * isl_map_reset_equal_dim_space | ( | __isl_take isl_map * | map, |
__isl_take isl_space * | space ) |
Definition at line 5879 of file isl_map.c.
References __isl_give, __isl_take, check_map_space_equal_total_dim(), equal, isl_ctx::error, isl_map_free(), isl_map_peek_space(), isl_map_reset_space(), isl_space_free(), isl_space_has_equal_ids(), isl_space_is_equal(), and map.
Referenced by map_intersect_set(), and reset_params().
__isl_give isl_map * isl_map_reset_space | ( | __isl_take isl_map * | map, |
__isl_take isl_space * | space ) |
Definition at line 5848 of file isl_map.c.
References __isl_give, __isl_take, isl_ctx::error, isl_basic_map_reset_space(), isl_map_cow(), isl_map_free(), isl_map_restore_space(), isl_map_take_space(), isl_space_copy(), isl_space_free(), and map.
Referenced by basic_map_partial_lexopt_symm_core(), check_exactness(), isl_map_bind_domain(), isl_map_change_space(), isl_map_domain(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_params(), isl_map_power(), isl_map_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_realign(), isl_map_reset_equal_dim_space(), isl_map_reset_tuple_id(), isl_map_reset_user(), isl_map_set_dim_id(), isl_map_set_tuple_id(), isl_map_transitive_closure(), isl_set_insert_domain(), isl_set_reset_space(), map_from_multi_pw_aff(), map_from_tuple(), map_space_reset(), and reset_range_space().
__isl_give isl_map * isl_map_set_rational | ( | __isl_take isl_map * | map | ) |
Definition at line 2257 of file isl_map.c.
References __isl_give, __isl_take, isl_basic_map_set_rational(), isl_map_cow(), isl_map_free(), and map.
Referenced by isl_set_set_rational(), and obj_read_body().
__isl_give isl_map * isl_map_sort_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 792 of file isl_local_space.c.
References __isl_give, __isl_take, isl_basic_map_sort_divs(), isl_map_inline_foreach_basic_map(), and map.
Referenced by isl_map_coalesce().
isl_bool isl_map_space_has_equal_params | ( | __isl_keep isl_map * | map, |
__isl_keep isl_space * | space ) |
Definition at line 12571 of file isl_map.c.
References __isl_keep, isl_map_peek_space(), isl_space_has_equal_params(), and map.
Referenced by isl_map_align_params(), isl_map_preimage_multi_aff(), isl_map_preimage_pw_multi_aff(), isl_set_space_has_equal_params(), and isl_union_map_add_map().
isl_bool isl_map_space_tuple_is_equal | ( | __isl_keep isl_map * | map, |
enum isl_dim_type | type1, | ||
__isl_keep isl_space * | space, | ||
enum isl_dim_type | type2 ) |
Definition at line 8723 of file isl_map.c.
References __isl_keep, isl_map_peek_space(), isl_space_tuple_is_equal(), and map.
Referenced by check_map_compatible_range_multi_aff(), domain_match(), range_match(), and set_match().
isl_bool isl_map_tuple_is_equal | ( | __isl_keep isl_map * | map1, |
enum isl_dim_type | type1, | ||
__isl_keep isl_map * | map2, | ||
enum isl_dim_type | type2 ) |
Definition at line 8736 of file isl_map.c.
References __isl_keep, isl_map_peek_space(), isl_space_tuple_is_equal(), map1, and map2.
Referenced by apply_range_entry(), domain_product_entry(), equal_tuples(), flat_domain_product_entry(), flat_range_product_entry(), is_subset_of_identity(), isl_map_check_transformation(), isl_map_is_identity(), isl_map_plain_is_disjoint_global(), isl_map_set_tuple_is_equal(), map_lex_le_entry(), map_lex_lt_entry(), map_plain_is_not_identity(), and range_product_entry().
__isl_give isl_set * isl_map_underlying_set | ( | __isl_take isl_map * | map | ) |
Definition at line 5757 of file isl_map.c.
References __isl_give, __isl_take, bset_to_bmap(), isl_ctx::error, isl_assert, isl_basic_map_underlying_set(), isl_map_cow(), isl_map_free(), isl_set, isl_space_copy(), isl_space_cow(), isl_space_free(), isl_space_underlying(), map, and set_from_map().
Referenced by isl_map_affine_hull(), isl_map_convex_hull(), map_simple_hull(), and map_unshifted_simple_hull_from_basic_map_list().
__isl_give isl_set * isl_set_add_basic_set | ( | __isl_take isl_set * | set, |
__isl_take isl_basic_set * | bset ) |
Definition at line 3506 of file isl_map.c.
References __isl_give, __isl_take, bset_to_bmap(), isl_basic_set, isl_map_add_basic_map(), isl_set, set, set_from_map(), and set_to_map.
Referenced by convex_hull_pair(), convex_hull_pair_pointed(), isl_basic_set_list_union(), isl_map_deltas(), isl_set_combined_lineality_space(), isl_set_universe(), set_minimum(), sol_map_add_empty(), and sol_pma_add_empty().
__isl_give isl_set * isl_set_alloc_space | ( | __isl_take isl_space * | space, |
int | n, | ||
unsigned | flags ) |
Definition at line 3435 of file isl_map.c.
References __isl_give, __isl_take, isl_map_alloc_space(), isl_set, isl_space_check_is_set(), isl_space_free(), and n.
Referenced by convex_hull_pair(), convex_hull_pair_pointed(), isl_basic_set_list_union(), isl_map_deltas(), isl_set_combined_lineality_space(), isl_set_empty(), isl_set_universe(), set_minimum(), sol_map_init(), and sol_pma_init().
isl_stat isl_set_basic_set_check_equal_space | ( | __isl_keep isl_set * | set, |
__isl_keep isl_basic_set * | bset ) |
References __isl_keep, isl_basic_set, isl_set, and set.
isl_stat isl_set_check_range | ( | __isl_keep isl_set * | set, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
References __isl_keep, isl_set, n, set, and type.
__isl_give isl_basic_set * isl_set_combined_lineality_space | ( | __isl_take isl_set * | set | ) |
Definition at line 1397 of file isl_convex_hull.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_copy(), isl_basic_set_empty(), isl_basic_set_lineality_space(), isl_set, isl_set_add_basic_set(), isl_set_affine_hull(), isl_set_alloc_space(), isl_set_free(), isl_set_get_space(), and set.
Referenced by combined_lineality_space(), and uset_convex_hull().
isl_bool isl_set_contains_point | ( | __isl_keep isl_set * | set, |
__isl_keep isl_point * | point ) |
Definition at line 668 of file isl_point.c.
References __isl_keep, isl_map_contains_point(), isl_set, point, set, and set_to_map.
Referenced by FN(), and scan_one().
int isl_set_count_upto | ( | __isl_keep isl_set * | set, |
isl_int | max, | ||
isl_int * | count ) |
Definition at line 278 of file isl_scan.c.
References __isl_keep, isl_counter::callback, count(), isl_counter::count, increment_counter(), isl_int_clear, isl_int_init, isl_int_lt, isl_int_set, isl_int_set_si, isl_set, isl_set_copy(), isl_set_scan(), isl_counter::max, and set.
Referenced by check_solution(), and isl_set_count().
__isl_give isl_set * isl_set_cow | ( | __isl_take isl_set * | set | ) |
Definition at line 2082 of file isl_map.c.
References __isl_give, __isl_take, isl_map_cow(), isl_set, and set.
Referenced by isl_map_affine_hull(), isl_set_add_basic_set_equality(), isl_set_foreach_point(), isl_set_lift(), isl_set_preimage(), and isl_set_scan().
isl_stat isl_set_dim_residue_class | ( | __isl_keep isl_set * | set, |
int | pos, | ||
isl_int * | modulo, | ||
isl_int * | residue ) |
Definition at line 817 of file isl_equalities.c.
References __isl_keep, isl_basic_set_dim_residue_class(), isl_int_clear, isl_int_fdiv_r, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_int_set_si, isl_int_sub, isl_set, isl_stat_error, isl_stat_ok, m, pos(), and set.
Referenced by isl_set_dim_residue_class_val(), and test_residue_class().
__isl_give isl_set * isl_set_drop | ( | __isl_take isl_set * | set, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2504 of file isl_map.c.
References __isl_give, __isl_take, isl_map_drop(), isl_set, n, set, set_from_map(), set_to_map, and type.
Referenced by FN(), and isl_multi_pw_aff_drop_explicit_domain_dims().
__isl_give isl_set * isl_set_eliminate | ( | __isl_take isl_set * | set, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2556 of file isl_map.c.
Referenced by isl_set_eliminate_dims().
isl_bool isl_set_every_basic_set | ( | __isl_keep isl_set * | set, |
isl_bool(* | test )(__isl_keep isl_basic_set *bset, void *user), | ||
void * | user ) |
Definition at line 11294 of file isl_map.c.
References __isl_keep, isl_basic_set, isl_bool_error, isl_bool_true, isl_set, set, test, and user.
Referenced by isl_set_involves_locals().
__isl_give isl_set * isl_set_fix | ( | __isl_take isl_set * | set, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
isl_int | value ) |
Definition at line 6660 of file isl_map.c.
References __isl_give, __isl_take, isl_map_fix(), isl_set, pos(), set, set_from_map(), set_to_map, and type.
Referenced by FN(), and set_plug_in_parameters().
isl_stat isl_set_foreach_orthant | ( | __isl_keep isl_set * | set, |
isl_stat(* | fn )(__isl_take isl_set *orthant, int *signs, void *user), | ||
void * | user ) |
Definition at line 9054 of file isl_map.c.
References __isl_keep, __isl_take, fn, foreach_orthant(), isl_alloc_array, isl_dim_param, isl_dim_set, isl_set, isl_set_copy(), isl_set_dim(), isl_set_plain_is_empty(), isl_stat_error, isl_stat_ok, set, and user.
Referenced by isl_pw_qpolynomial_to_polynomial().
__isl_give isl_set * isl_set_gist_params_basic_set | ( | __isl_take isl_set * | set, |
__isl_take isl_basic_set * | context ) |
Definition at line 3747 of file isl_map_simplify.c.
References __isl_give, __isl_take, context, isl_basic_set, isl_basic_set_intersect_params(), isl_basic_set_universe(), isl_set, isl_set_get_space(), isl_set_gist_basic_set(), and set.
Referenced by FN().
__isl_give isl_set * isl_set_grow | ( | __isl_take isl_set * | set, |
int | n ) |
Definition at line 3477 of file isl_map.c.
References __isl_give, __isl_take, isl_map_grow(), isl_set, n, set, set_from_map(), and set_to_map.
Referenced by sol_map_add_empty(), and sol_pma_add_empty().
isl_bool isl_set_has_rational | ( | __isl_keep isl_set * | set | ) |
Definition at line 1254 of file isl_map.c.
References __isl_keep, isl_map_has_rational(), isl_set, and set.
Referenced by pw_aff_locus().
isl_bool isl_set_is_rational | ( | __isl_keep isl_set * | set | ) |
Definition at line 1181 of file isl_map.c.
References __isl_keep, isl_map_is_rational(), isl_set, and set.
Referenced by isl_map_from_pw_multi_aff_internal().
__isl_give isl_set * isl_set_normalize | ( | __isl_take isl_set * | set | ) |
Definition at line 10528 of file isl_map.c.
References __isl_give, __isl_take, isl_map_normalize(), isl_set, set, set_from_map(), and set_to_map.
Referenced by FN(), and test_subset_duplicate_integer_divisions().
__isl_keep isl_space * isl_set_peek_space | ( | __isl_keep isl_set * | set | ) |
Definition at line 105 of file isl_map.c.
References __isl_keep, isl_map_peek_space(), isl_set, set, and set_to_map.
Referenced by equate_params(), isl_local_space_lift_set(), isl_map_intersect_domain(), and unbind_params_insert_domain().
__isl_give isl_set * isl_set_plain_gist_basic_set | ( | __isl_take isl_set * | set, |
__isl_take isl_basic_set * | context ) |
Definition at line 3612 of file isl_map_simplify.c.
References __isl_give, __isl_take, bset_to_bmap(), context, isl_basic_set, isl_map_plain_gist_basic_map(), isl_set, set, set_from_map(), and set_to_map.
Referenced by drop_coalescing_constraints().
__isl_give isl_set * isl_set_preimage | ( | __isl_take isl_set * | set, |
__isl_take isl_mat * | mat ) |
Definition at line 1416 of file isl_mat.c.
References __isl_give, __isl_take, isl_ctx::error, isl_basic_set_preimage(), ISL_F_CLR, isl_mat_copy(), isl_mat_free(), isl_set, isl_set_cow(), isl_set_free(), ISL_SET_NORMALIZED, isl_space_cow(), and set.
Referenced by compute_facet(), FN(), isl_set_wrap_facet(), modulo_affine_hull(), modulo_lineality(), and set_parameter_preimage().
__isl_give isl_set * isl_set_realign | ( | __isl_take isl_set * | set, |
__isl_take isl_reordering * | r ) |
Definition at line 12467 of file isl_map.c.
References __isl_give, __isl_take, isl_map_realign(), isl_set, set, set_from_map(), and set_to_map.
Referenced by FN().
__isl_give isl_set * isl_set_remove_empty_parts | ( | __isl_take isl_set * | set | ) |
Definition at line 9855 of file isl_map.c.
References __isl_give, __isl_take, isl_map_remove_empty_parts(), isl_set, set, set_from_map(), and set_to_map.
Referenced by convex_hull_1d().
__isl_give isl_set * isl_set_set_rational | ( | __isl_take isl_set * | set | ) |
Definition at line 2275 of file isl_map.c.
References __isl_give, __isl_take, isl_map_set_rational(), isl_set, and set.
Referenced by isl_pw_aff_set_rational(), isl_set_wrap_facet(), map_from_tuple(), uset_convex_hull(), and uset_convex_hull_wrap_bounded().
isl_bool isl_set_space_has_equal_params | ( | __isl_keep isl_set * | set, |
__isl_keep isl_space * | space ) |
Definition at line 12582 of file isl_map.c.
References __isl_keep, isl_map_space_has_equal_params(), isl_set, set, and set_to_map.
Referenced by isl_set_opt().
__isl_give isl_set * isl_set_substitute | ( | __isl_take isl_set * | set, |
unsigned | pos, | ||
__isl_keep isl_aff * | subs ) |
Definition at line 13551 of file isl_map.c.
References __isl_give, __isl_keep, __isl_take, isl_aff_copy(), isl_set, isl_set_get_space(), isl_set_plain_is_empty(), isl_set_preimage_multi_aff(), ma, pos(), and set.
Referenced by isl_pw_multi_aff_substitute().
isl_int * isl_set_wrap_facet | ( | __isl_keep isl_set * | set, |
isl_int * | facet, | ||
isl_int * | ridge ) |
Definition at line 308 of file isl_convex_hull.c.
References __isl_keep, isl_vec::ctx, isl_assert, isl_basic_set, isl_basic_set_free(), isl_basic_set_solve_lp(), isl_dim_set, isl_int_clear, isl_int_init, isl_int_neg, isl_int_set_si, isl_lp_error, isl_lp_ok, isl_lp_unbounded, isl_mat_alloc(), isl_mat_free(), isl_mat_right_inverse(), isl_seq_clr(), isl_seq_combine(), isl_seq_cpy(), isl_seq_normalize(), isl_set, isl_set_copy(), isl_set_dim(), isl_set_free(), isl_set_preimage(), isl_set_set_rational(), isl_vec_alloc(), isl_vec_free(), obj, isl_ctx::one, res, isl_mat::row, set, and wrap_constraints().
Referenced by add_wrap(), extend(), and initial_facet_constraint().