|
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 116 of file isl_map_private.h.
| #define EL isl_set |
Definition at line 116 of file isl_map_private.h.
| #define ISL_BASIC_MAP_ALL_EQUALITIES (1 << 7) |
Definition at line 45 of file isl_map_private.h.
| #define ISL_BASIC_MAP_EMPTY (1 << 1) |
Definition at line 39 of file isl_map_private.h.
| #define ISL_BASIC_MAP_FINAL (1 << 0) |
Definition at line 38 of file isl_map_private.h.
| #define ISL_BASIC_MAP_NO_IMPLICIT (1 << 2) |
Definition at line 40 of file isl_map_private.h.
| #define ISL_BASIC_MAP_NO_REDUNDANT (1 << 3) |
Definition at line 41 of file isl_map_private.h.
| #define ISL_BASIC_MAP_NORMALIZED_DIVS (1 << 6) |
Definition at line 44 of file isl_map_private.h.
| #define ISL_BASIC_MAP_RATIONAL (1 << 4) |
Definition at line 42 of file isl_map_private.h.
| #define ISL_BASIC_MAP_REDUCED_COEFFICIENTS (1 << 8) |
Definition at line 46 of file isl_map_private.h.
| #define ISL_BASIC_MAP_SORTED (1 << 5) |
Definition at line 43 of file isl_map_private.h.
| #define isl_basic_set isl_basic_map |
Definition at line 13 of file isl_map_private.h.
| #define ISL_BASIC_SET_ALL_EQUALITIES (1 << 7) |
Definition at line 54 of file isl_map_private.h.
| #define ISL_BASIC_SET_EMPTY (1 << 1) |
Definition at line 48 of file isl_map_private.h.
| #define ISL_BASIC_SET_FINAL (1 << 0) |
Definition at line 47 of file isl_map_private.h.
| #define isl_basic_set_list isl_basic_map_list |
Definition at line 16 of file isl_map_private.h.
| #define ISL_BASIC_SET_NO_IMPLICIT (1 << 2) |
Definition at line 49 of file isl_map_private.h.
| #define ISL_BASIC_SET_NO_REDUNDANT (1 << 3) |
Definition at line 50 of file isl_map_private.h.
| #define ISL_BASIC_SET_NORMALIZED_DIVS (1 << 6) |
Definition at line 53 of file isl_map_private.h.
| #define ISL_BASIC_SET_RATIONAL (1 << 4) |
Definition at line 51 of file isl_map_private.h.
| #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.
| #define ISL_MAP_DISJOINT (1 << 0) |
Definition at line 98 of file isl_map_private.h.
| #define ISL_MAP_NORMALIZED (1 << 1) |
Definition at line 99 of file isl_map_private.h.
| #define isl_maybe_isl_basic_set isl_maybe_isl_basic_map |
Definition at line 14 of file isl_map_private.h.
Definition at line 15 of file isl_map_private.h.
| #define ISL_SET_DISJOINT (1 << 0) |
Definition at line 100 of file isl_map_private.h.
| #define isl_set_list isl_map_list |
Definition at line 17 of file isl_map_private.h.
| #define ISL_SET_NORMALIZED (1 << 1) |
Definition at line 101 of file isl_map_private.h.
| __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 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 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_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_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 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 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_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_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_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_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 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_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 | ||
| ) |
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 bset_to_bmap(), isl_basic_map_has_equal_params(), isl_basic_map_set_tuple_is_equal(), 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 bset_to_bmap(), isl_basic_map_has_equal_params(), isl_basic_map_set_tuple_is_equal(), 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 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_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 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_basic_map_dup(), ISL_BASIC_MAP_REDUCED_COEFFICIENTS, ISL_BASIC_SET_FINAL, ISL_F_CLR, and isl_basic_map::ref.
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_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_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_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_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_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_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_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_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_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_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_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 drop_unrelated_constraints(), isl_basic_map_dim(), isl_basic_map_free(), isl_dim_all, and update_groups().
Referenced by 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 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 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 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_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 | ||
| ) |
| __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 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_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_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_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_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_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_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_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 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 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_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(*)(unsigned a, unsigned b, void *user) | swap, | ||
| isl_stat(*)(unsigned n, void *user) | drop, | ||
| void * | user | ||
| ) |
Definition at line 596 of file isl_map_simplify.c.
References 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(), 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_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_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 | ) |
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_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_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_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_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_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_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_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_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_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_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_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_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 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_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_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 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_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_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.
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_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 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_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_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_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_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_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_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 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_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_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_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_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 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_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 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 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_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 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_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_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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_add_eq().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_add_ineq().
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 bset_from_bmap(), isl_basic_map::ctx, isl_basic_map::dim, isl_basic_map::extra, isl_basic_map_alloc_space(), 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 bset_to_bmap(), and isl_basic_map_alloc_div().
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 bset_to_bmap(), and isl_basic_map_alloc_equality().
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 bset_to_bmap(), and isl_basic_map_alloc_inequality().
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 bset_from_bmap(), isl_basic_map::extra, isl_assert, isl_basic_map_alloc_space(), 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 | ||
| ) |
| 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_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_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 bset_to_bmap(), isl_basic_map_check_range(), 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 bset_to_bmap(), and isl_basic_map_contains().
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_counter::callback, count(), isl_counter::count, increment_counter(), 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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_cow().
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 C, isl_mat::ctx, 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 bset_from_bmap(), bset_to_bmap(), isl_basic_map_drop(), 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_basic_map_drop_constraints_involving(), 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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_drop_constraints_involving_unknown_divs().
| __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 bset_to_bmap(), isl_basic_map_drop(), 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 bset_to_bmap(), isl_basic_map_drop_inequality(), 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 bset_from_bmap(), bset_to_bmap(), dup(), and isl_basic_map_dup().
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 bset_from_bmap(), bset_to_bmap(), isl_basic_map_eliminate_vars(), 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_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_basic_map_expand_divs().
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 bset_from_bmap(), bset_to_bmap(), isl_basic_map::extra, isl_basic_map_extend(), 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 bset_from_bmap(), bset_to_bmap(), isl_basic_map_extend_constraints(), 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_mat::ctx, 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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_finalize().
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_basic_map_first_unknown_div().
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 bset_from_bmap(), bset_to_bmap(), isl_basic_map_fix(), 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 bset_from_bmap(), bset_to_bmap(), isl_basic_map_free_equality(), 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 bset_from_bmap(), bset_to_bmap(), isl_basic_map_free_inequality(), 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_basic_map_from_local_space().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_overlying_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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_gauss().
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_basic_map_get_divs().
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_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_basic_set_free(), isl_basic_set_get_space(), isl_die, isl_error_invalid, 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 bset_to_bmap(), and isl_basic_map_n_equality().
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 bset_to_bmap(), and isl_basic_map_n_inequality().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_normalize_constraints().
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_basic_map_offset(), 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 bset_to_bmap(), and isl_basic_map_peek_space().
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_basic_map_plain_affine_hull().
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_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_ctx::error, isl_assert, 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_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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_reset_space().
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_BASIC_MAP_RATIONAL, 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_basic_map_set_rational().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_set_to_empty().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_simplify().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_sort_constraints().
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 bset_from_bmap(), bset_to_bmap(), and isl_basic_map_sort_divs().
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_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 is_internal(), 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_basic_map_transform_dims(), 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 bset_to_bmap(), and isl_basic_map_underlying_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 bset_to_bmap(), isl_basic_map_var_offset(), 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 bound, isl_tab::empty, 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_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_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_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_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 | ||
| ) |
| isl_bool isl_map_align_params_map_map_and_test | ( | __isl_keep isl_map * | map1, |
| __isl_keep isl_map * | map2, | ||
| isl_bool(*)(__isl_keep isl_map *map1, __isl_keep isl_map *map2) | fn | ||
| ) |
Definition at line 1607 of file isl_map.c.
References 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 | ||
| ) |
| __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_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 | ||
| ) |
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 | ||
| ) |
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 | ) |
| isl_stat isl_map_check_transformation | ( | __isl_keep isl_map * | map | ) |
Definition at line 8761 of file isl_map.c.
References 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_bool_error, isl_dim_in, isl_map_has_equal_params(), isl_map_set_tuple_is_equal(), 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_bool_error, isl_dim_out, isl_map_has_equal_params(), isl_map_set_tuple_is_equal(), 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 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_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_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_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 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 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_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_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_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_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_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 | ||
| ) |
| 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_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 *(*)(__isl_take isl_basic_map *bmap) | fn | ||
| ) |
Definition at line 6589 of file isl_map.c.
References 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_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_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_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_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_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 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 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 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_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_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_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 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_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_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 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_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_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_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_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_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_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 bset_to_bmap(), isl_ctx::error, isl_assert, isl_basic_map_underlying_set(), isl_map_cow(), isl_map_free(), 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 bset_to_bmap(), isl_map_add_basic_map(), 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_map_alloc_space(), 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 | ||
| ) |
| isl_stat isl_set_check_range | ( | __isl_keep isl_set * | set, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __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_basic_set_copy(), isl_basic_set_empty(), isl_basic_set_lineality_space(), 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_map_contains_point(), 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_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_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_map_cow(), 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_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_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_map_drop(), 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(*)(__isl_keep isl_basic_set *bset, void *user) | test, | ||
| void * | user | ||
| ) |
Definition at line 11294 of file isl_map.c.
References isl_bool_error, isl_bool_true, 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_map_fix(), 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(*)(__isl_take isl_set *orthant, int *signs, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 9054 of file isl_map.c.
References fn, foreach_orthant(), isl_alloc_array, isl_dim_param, isl_dim_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 context, isl_basic_set_intersect_params(), isl_basic_set_universe(), 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_map_grow(), 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_map_has_rational(), 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_map_is_rational(), 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_map_normalize(), 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_map_peek_space(), 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 bset_to_bmap(), context, isl_map_plain_gist_basic_map(), 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_ctx::error, isl_basic_set_preimage(), ISL_F_CLR, isl_mat_copy(), isl_mat_free(), 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_map_realign(), 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_map_remove_empty_parts(), 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_map_set_rational(), 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_map_space_has_equal_params(), 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_aff_copy(), 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_vec::ctx, isl_assert, 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_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().
1.9.6