|
Polly 20.0.0git
|
#include <isl_ctx_private.h>#include <isl_map_private.h>#include <isl_lp_private.h>#include <isl/map.h>#include <isl_mat_private.h>#include <isl_vec_private.h>#include <isl/set.h>#include <isl_seq.h>#include <isl_options_private.h>#include "isl_equalities.h"#include "isl_tab.h"#include <isl_sort.h>#include <bset_to_bmap.c>#include <bset_from_bmap.c>#include <set_to_map.c>Go to the source code of this file.
Classes | |
| struct | max_constraint |
| struct | sh_data_entry |
| struct | sh_data |
| struct | ineq_cmp_data |
|
static |
Definition at line 2220 of file isl_convex_hull.c.
References bound, isl_hash_table_entry::data, has_ineq(), hull, is_bound(), isl_basic_set_alloc_inequality(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_free_inequality(), isl_dim_all, isl_hash_table_entry_none, isl_hash_table_find(), isl_seq_cpy(), isl_seq_get_hash(), ineq_cmp_data::len, n, ineq_cmp_data::p, set, set_max_constant_term(), and total().
Referenced by add_bounds().
|
static |
Definition at line 2694 of file isl_convex_hull.c.
References bound, isl_hash_table_entry::data, has_ineq(), hull, is_bound(), isl_basic_set_alloc_inequality(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_dim_all, isl_hash_table_entry_none, isl_hash_table_find(), isl_int_gt, isl_int_neg, isl_seq_cpy(), isl_seq_get_hash(), isl_seq_is_neg(), ineq_cmp_data::len, n, neg(), ineq_cmp_data::p, set, and total().
Referenced by uset_unshifted_simple_hull_from_constraints().
|
static |
Definition at line 2307 of file isl_convex_hull.c.
References add_bound(), isl_hash_table_entry::data, isl_basic_set_dim(), isl_basic_set_free(), isl_dim_all, isl_seq_neg(), and set.
Referenced by uset_simple_hull().
|
static |
Definition at line 2395 of file isl_convex_hull.c.
References hull, isl_basic_map_copy(), isl_map_free(), and map.
Referenced by map_simple_hull().
|
static |
Definition at line 2859 of file isl_convex_hull.c.
References a(), arg, b(), cmp(), isl_int_cmp, and isl_seq_cmp().
Referenced by uset_unshifted_simple_hull_from_basic_set_list().
|
static |
Definition at line 2997 of file isl_convex_hull.c.
References sh_data::ctx, isl_map_compute_divs(), isl_map_free(), isl_map_get_basic_map_list(), map, and n.
Referenced by isl_map_unshifted_simple_hull_from_map_list().
|
static |
Definition at line 2823 of file isl_convex_hull.c.
References isl_basic_set_free(), isl_mat_free(), isl_seq_neg(), and n.
Referenced by uset_unshifted_simple_hull_from_basic_set_list().
|
static |
Definition at line 1615 of file isl_convex_hull.c.
References max_constraint::c, count(), isl_hash_table_entry::data, has_constraint(), has_facets(), hull, max_constraint::ineq, isl_alloc_type, isl_assert, isl_basic_set_alloc_inequality(), isl_basic_set_free(), isl_calloc_array, isl_dim_all, isl_hash_table_clear(), isl_hash_table_find(), isl_hash_table_init(), isl_mat_free(), isl_mat_sub_alloc6(), isl_seq_cpy(), isl_seq_get_hash(), isl_seq_neg(), isl_set_dim(), max_constraint_equal(), n, isl_mat::row, set, total(), and update_constraint().
Referenced by proto_hull().
|
static |
Definition at line 482 of file isl_convex_hull.c.
References isl_ctx::error, isl_basic_set_free(), isl_basic_set_preimage(), isl_die, isl_dim_set, isl_error_internal, isl_int_set_si, isl_mat_alloc(), isl_mat_copy(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_mat_right_inverse(), isl_seq_clr(), isl_seq_cpy(), isl_set_copy(), isl_set_dim(), isl_set_free(), isl_set_preimage(), m, set, and uset_convex_hull_wrap_bounded().
Referenced by extend().
|
static |
Definition at line 720 of file isl_convex_hull.c.
References isl_basic_set_empty(), isl_basic_set_universe(), isl_set_free(), isl_set_is_empty(), isl_space_copy(), and set.
Referenced by uset_convex_hull().
|
static |
Definition at line 600 of file isl_convex_hull.c.
References a(), b(), hull, isl_assert, isl_basic_set_alloc(), isl_basic_set_alloc_inequality(), isl_basic_set_finalize(), isl_basic_set_set_rational(), isl_basic_set_simplify(), isl_int_clear, isl_int_gt, isl_int_init, isl_int_is_neg, isl_int_is_pos, isl_int_lt, isl_int_mul, isl_mat_alloc(), isl_mat_free(), isl_seq_cpy(), isl_seq_neg(), isl_set_free(), isl_set_remove_empty_parts(), isl_mat::row, and set.
Referenced by uset_convex_hull(), and uset_convex_hull_wrap_bounded().
|
static |
Definition at line 1282 of file isl_convex_hull.c.
References aff, convex_hull_pair_elim(), convex_hull_pair_pointed(), induced_lineality_space(), isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_is_bounded(), isl_basic_set_plain_is_universe(), isl_basic_set_union(), ISL_CONVEX_HULL_FM, isl_dim_all, isl_set_add_basic_set(), isl_set_affine_hull(), isl_set_alloc_space(), modulo_affine_hull(), modulo_lineality(), set, total(), and uset_convex_hull_wrap().
Referenced by uset_convex_hull_unbounded().
|
static |
Definition at line 744 of file isl_convex_hull.c.
References hull, isl_basic_set_alloc(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_remove_dims(), isl_basic_set_remove_redundancies(), isl_basic_set_set_rational(), isl_dim_set, isl_int_set_si, isl_seq_clr(), and isl_seq_cpy().
Referenced by convex_hull_pair().
|
static |
Definition at line 1223 of file isl_convex_hull.c.
References isl_vec::block, isl_blk::data, homogeneous_map(), hull, isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_get_space(), isl_basic_set_preimage(), isl_mat_alloc(), isl_mat_copy(), isl_mat_right_inverse(), isl_mat_unimodular_complete(), isl_seq_cpy(), isl_set_add_basic_set(), isl_set_alloc_space(), isl_vec_free(), isl_mat::row, set, isl_vec::size, uset_convex_hull(), and valid_direction().
Referenced by convex_hull_pair().
|
static |
Definition at line 539 of file isl_convex_hull.c.
References compute_facet(), f, hull, isl_assert, isl_basic_set_add_eq(), isl_basic_set_alloc_inequality(), isl_basic_set_copy(), isl_basic_set_cow(), isl_basic_set_extend(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_gauss(), isl_basic_set_normalize_constraints(), isl_basic_set_simplify(), isl_dim_set, isl_seq_cpy(), isl_seq_eq(), isl_set_dim(), isl_set_wrap_facet(), and set.
Referenced by uset_convex_hull_wrap().
|
static |
Definition at line 1567 of file isl_convex_hull.c.
References max_constraint::c, isl_hash_table_entry::data, isl_bool_error, isl_bool_false, isl_bool_ok(), isl_hash_table_entry_none, isl_hash_table_find(), isl_int_eq, isl_seq_get_hash(), max_constraint_equal(), n, and isl_mat::row.
Referenced by common_constraints().
|
static |
Definition at line 1592 of file isl_convex_hull.c.
References isl_basic_set_n_equality(), ISL_BASIC_SET_NO_REDUNDANT, isl_bool_error, isl_bool_false, and ISL_F_ISSET.
Referenced by common_constraints().
|
static |
Definition at line 2033 of file isl_convex_hull.c.
References isl_bool_ok(), isl_seq_eq(), isl_seq_is_neg(), ineq_cmp_data::len, ineq_cmp_data::p, and val.
Referenced by add_bound(), add_bound_from_constraint(), hash_ineq(), and set_max_constant_term().
|
static |
Definition at line 2063 of file isl_convex_hull.c.
References hash_ineq(), isl_basic_set_dim(), isl_dim_all, isl_seq_neg(), isl_stat_error, and isl_stat_ok.
Referenced by sh_data_alloc().
|
static |
Definition at line 2042 of file isl_convex_hull.c.
References isl_hash_table_entry::data, has_ineq(), isl_hash_table_find(), isl_seq_get_hash(), ineq_cmp_data::len, and ineq_cmp_data::p.
Referenced by hash_basic_set().
|
static |
Definition at line 1141 of file isl_convex_hull.c.
References isl_basic_set_alloc_inequality(), isl_basic_set_dim(), isl_basic_set_extend_constraints(), isl_basic_set_free(), isl_basic_set_preimage(), isl_dim_all, isl_int_set_si, isl_mat_free(), isl_seq_clr(), and total().
Referenced by convex_hull_pair_pointed().
|
static |
Definition at line 871 of file isl_convex_hull.c.
References isl_basic_set_affine_hull(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_set_rational(), isl_dim_all, isl_int_set_si, isl_seq_cpy(), and isl_seq_neg().
Referenced by convex_hull_pair().
|
static |
Definition at line 389 of file isl_convex_hull.c.
References is_bound(), isl_assert, isl_basic_set_free(), isl_dim_set, isl_int_set_si, isl_mat_alloc(), isl_mat_free(), isl_seq_clr(), isl_seq_eq(), isl_seq_is_neg(), isl_seq_normalize(), isl_set_add_basic_set_equality(), isl_set_affine_hull(), isl_set_copy(), isl_set_dim(), isl_set_wrap_facet(), isl_mat::n_col, isl_mat::n_row, isl_mat::row, set, and uset_is_bound().
Referenced by initial_hull().
|
static |
Definition at line 1486 of file isl_convex_hull.c.
References hull, initial_facet_constraint(), isl_assert, isl_basic_set_alloc_inequality(), isl_basic_set_free(), isl_dim_set, isl_mat_free(), isl_seq_cpy(), isl_set_dim(), isl_mat::n_col, isl_mat::row, and set.
Referenced by uset_convex_hull_wrap().
|
static |
Definition at line 2124 of file isl_convex_hull.c.
References sh_data::ctx, isl_int_clear, isl_int_init, isl_int_is_neg, isl_int_sub, isl_lp_empty, isl_lp_ok, isl_lp_unbounded, isl_tab_from_basic_set(), isl_tab_min(), isl_ctx::one, sh_data::p, res, set, and sh_data_entry::tab.
Referenced by add_bound(), add_bound_from_constraint(), compute_size_in_direction(), initial_facet_constraint(), and is_suitable_bound().
| isl_bool isl_basic_map_image_is_bounded | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 829 of file isl_convex_hull.c.
References isl_tab::bmap, bset_from_bmap(), isl_basic_map_copy(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_move_dims(), isl_basic_set_is_bounded(), isl_bool_error, isl_dim_in, and isl_dim_param.
| __isl_give isl_basic_map * isl_basic_map_plain_unshifted_simple_hull | ( | __isl_take isl_basic_map * | bmap1, |
| __isl_take isl_basic_map * | bmap2 | ||
| ) |
Definition at line 2613 of file isl_convex_hull.c.
References isl_basic_map_align_divs(), isl_basic_map_check_equal_space(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_order_divs(), isl_basic_map_sort_constraints(), select_shared_equalities(), and select_shared_inequalities().
Referenced by isl_map_plain_unshifted_simple_hull().
| __isl_give isl_basic_map * isl_basic_map_remove_redundancies | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 51 of file isl_convex_hull.c.
References isl_tab::bmap, ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_gauss(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_NO_REDUNDANT, isl_basic_map_sort_constraints(), isl_basic_map_update_from_tab(), ISL_F_ISSET, ISL_F_SET, isl_tab_detect_implicit_equalities(), isl_tab_detect_redundant(), isl_tab_free(), isl_tab_from_basic_map(), isl_tab_restore_redundant(), isl_basic_map::n_ineq, and isl_tab::preserve.
Referenced by isl_basic_map_eliminate_vars(), isl_basic_map_gist(), isl_basic_map_is_empty(), isl_basic_map_normalize(), isl_basic_set_remove_redundancies(), isl_map_gist_basic_map(), isl_map_remove_redundancies(), map_simple_hull(), SF(), and uset_convex_hull_wrap_bounded().
| isl_bool isl_basic_set_is_bounded | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 810 of file isl_convex_hull.c.
References isl_basic_set_plain_is_empty(), isl_bool_error, isl_bool_true, isl_tab_cone_is_bounded(), isl_tab_free(), and isl_tab_from_recession_cone().
Referenced by compressed_guarded_poly_bound(), convex_hull_pair(), isl::basic_set::is_bounded(), isl_basic_map_image_is_bounded(), isl_basic_set_multiplicative_call(), and isl_set_is_bounded().
| __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_basic_set * isl_basic_set_remove_redundancies | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 92 of file isl_convex_hull.c.
References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_remove_redundancies().
Referenced by convex_hull_pair_elim(), create_node_scaled(), and multiplicative_call_base().
| __isl_give isl_basic_map * isl_map_convex_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 1930 of file isl_convex_hull.c.
References affine_hull(), ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_copy(), isl_basic_map_free(), ISL_BASIC_MAP_NO_IMPLICIT, isl_basic_map_overlying_set(), ISL_BASIC_MAP_RATIONAL, isl_basic_set_free(), ISL_F_CLR, ISL_F_SET, isl_map_align_divs_internal(), isl_map_detect_equalities(), isl_map_underlying_set(), isl_set_affine_hull(), isl_set_copy(), isl_set_free(), map, modulo_affine_hull(), replace_map_by_empty_basic_map(), set, and uset_convex_hull().
Referenced by isl_map_polyhedral_hull(), and isl_set_convex_hull().
| __isl_give isl_basic_map * isl_map_plain_unshifted_simple_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 2651 of file isl_convex_hull.c.
References hull, isl_basic_map_copy(), isl_basic_map_plain_unshifted_simple_hull(), isl_map_drop_constraints_involving_unknown_divs(), isl_map_free(), map, and map_simple_hull_trivial().
Referenced by isl_set_plain_unshifted_simple_hull(), and print_disjuncts().
| __isl_give isl_basic_map * isl_map_polyhedral_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 1980 of file isl_convex_hull.c.
References hull, isl_basic_map_remove_divs(), isl_map_convex_hull(), and map.
Referenced by isl_map_polyhedral_hull_map(), isl_set_polyhedral_hull(), and isl::map::polyhedral_hull().
| __isl_give isl_map * isl_map_remove_redundancies | ( | __isl_take isl_map * | map | ) |
Definition at line 101 of file isl_convex_hull.c.
References isl_basic_map_remove_redundancies(), isl_map_inline_foreach_basic_map(), and map.
Referenced by isl_set_remove_redundancies(), and isl_union_map_remove_redundancies().
| __isl_give isl_basic_map * isl_map_simple_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 2474 of file isl_convex_hull.c.
References map, and map_simple_hull().
Referenced by isl_map_gist(), isl_map_simple_hull_map(), isl_set_simple_hull(), and set_dim_extent().
| __isl_give isl_basic_map * isl_map_unshifted_simple_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 2487 of file isl_convex_hull.c.
References map, and map_simple_hull().
Referenced by isl_map_plain_gist(), isl_map_unshifted_simple_hull_from_map_list(), isl_pw_multi_aff_from_map(), isl_set_unshifted_simple_hull(), pw_multi_aff_from_map_check_div(), and isl::map::unshifted_simple_hull().
| __isl_give isl_basic_map * isl_map_unshifted_simple_hull_from_map_list | ( | __isl_take isl_map * | map, |
| __isl_take isl_map_list * | list | ||
| ) |
Definition at line 3037 of file isl_convex_hull.c.
References collect_basic_maps(), isl_map_free(), isl_map_plain_is_universe(), isl_map_unshifted_simple_hull(), map, and map_unshifted_simple_hull_from_basic_map_list().
Referenced by isl_map_gist(), and isl_set_unshifted_simple_hull_from_set_list().
|
static |
Definition at line 160 of file isl_convex_hull.c.
References isl_basic_set_add_eq(), isl_set_cow(), isl_set_free(), and set.
Referenced by initial_facet_constraint().
| __isl_give isl_basic_set * isl_set_bounded_simple_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 3081 of file isl_convex_hull.c.
References hull, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_intersect(), isl_dim_all, isl_dim_param, isl_dim_set, isl_int_is_pos, isl_int_is_zero, isl_seq_first_non_zero(), isl_set_copy(), isl_set_free(), isl_set_remove_divs(), isl_set_simple_hull(), set, set_bounds(), and total().
| __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_give isl_basic_set * isl_set_convex_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 1975 of file isl_convex_hull.c.
References bset_from_bmap(), isl_map_convex_hull(), set, and set_to_map.
Referenced by isl::set::convex_hull(), set_bounds(), test_convex_hull_algo(), and test_convex_hull_case().
| isl_bool isl_set_is_bounded | ( | __isl_keep isl_set * | set | ) |
Definition at line 850 of file isl_convex_hull.c.
References isl_basic_set_is_bounded(), isl_bool_error, isl_bool_true, and set.
Referenced by isl::set::is_bounded(), test_bounded(), uset_convex_hull(), and verify_point().
| __isl_give isl_basic_set * isl_set_plain_unshifted_simple_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 2679 of file isl_convex_hull.c.
References isl_map_plain_unshifted_simple_hull(), and set.
Referenced by has_pure_outer_disjunction(), and test_plain_unshifted_simple_hull_special().
| __isl_give isl_basic_set * isl_set_polyhedral_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 1988 of file isl_convex_hull.c.
References bset_from_bmap(), isl_map_polyhedral_hull(), set, and set_to_map.
Referenced by isl::set::polyhedral_hull().
| __isl_give isl_set * isl_set_remove_redundancies | ( | __isl_take isl_set * | set | ) |
Definition at line 107 of file isl_convex_hull.c.
References isl_map_remove_redundancies(), and set.
Referenced by isl::set::remove_redundancies().
| __isl_give isl_basic_set * isl_set_simple_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 2479 of file isl_convex_hull.c.
References bset_from_bmap(), isl_map_simple_hull(), set, and set_to_map.
Referenced by build_ast_from_context(), build_ast_from_domain(), build_ast_from_extension(), can_be_split_off(), compute_sizes(), find_unroll_lower_bound(), FN(), generate_code_in_space(), generate_domain(), incremental_closure(), incremental_on_entire_domain(), isl_ast_build_compute_gist_basic_set(), isl_ast_build_expr_from_set_internal(), isl_set_bounded_simple_hull(), set_enforced_from_list(), set_enforced_from_set(), isl::set::simple_hull(), test_simple_hull(), try_extract_mod(), and update_enforced().
| __isl_give isl_basic_set * isl_set_unshifted_simple_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 2493 of file isl_convex_hull.c.
References isl_map_unshifted_simple_hull(), and set.
Referenced by add_lineality(), compute_atomic_domain(), create_node_scaled(), extract_disjunction(), foreach_iteration(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), and isl::set::unshifted_simple_hull().
| __isl_give isl_basic_set * isl_set_unshifted_simple_hull_from_set_list | ( | __isl_take isl_set * | set, |
| __isl_take isl_set_list * | list | ||
| ) |
Definition at line 3058 of file isl_convex_hull.c.
References isl_map_unshifted_simple_hull_from_map_list(), and set.
Referenced by isl_ast_graft_list_extract_hoistable_guard().
| 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().
|
static |
Definition at line 2425 of file isl_convex_hull.c.
References affine_hull(), cached_simple_hull(), isl_map::cached_simple_hull, hull, ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_copy(), isl_basic_map_finalize(), isl_basic_map_intersect(), ISL_BASIC_MAP_NO_IMPLICIT, isl_basic_map_overlying_set(), isl_basic_map_remove_redundancies(), ISL_F_SET, isl_map_affine_hull(), isl_map_align_divs_internal(), isl_map_copy(), isl_map_detect_equalities(), isl_map_free(), isl_map_underlying_set(), map, map_simple_hull_trivial(), set, and uset_simple_hull().
Referenced by isl_map_simple_hull(), and isl_map_unshifted_simple_hull().
|
static |
Definition at line 2376 of file isl_convex_hull.c.
References hull, isl_basic_map_copy(), isl_map_free(), map, and replace_map_by_empty_basic_map().
Referenced by isl_map_plain_unshifted_simple_hull(), and map_simple_hull().
|
static |
Definition at line 2949 of file isl_convex_hull.c.
References hull, isl_basic_map_list_align_divs_to_basic_map(), isl_basic_map_list_intersect(), isl_basic_map_list_underlying_set(), isl_basic_map_overlying_set(), isl_basic_map_universe(), isl_basic_set_list, isl_map_align_divs_to_basic_map_list(), isl_map_free(), isl_map_get_space(), isl_map_plain_is_empty(), isl_map_underlying_set(), map, n, set, and uset_unshifted_simple_hull_from_basic_set_list().
Referenced by isl_map_unshifted_simple_hull_from_map_list().
|
static |
Definition at line 1521 of file isl_convex_hull.c.
References a(), b(), isl_bool_ok(), isl_seq_eq(), and val.
Referenced by common_constraints(), has_constraint(), and update_constraint().
|
static |
Definition at line 1887 of file isl_convex_hull.c.
References affine_hull(), isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_intersect(), isl_basic_set_preimage(), isl_basic_set_remove_equalities(), isl_mat_free(), isl_set_free(), isl_set_preimage(), set, and uset_convex_hull().
Referenced by convex_hull_pair(), and isl_map_convex_hull().
|
static |
Definition at line 949 of file isl_convex_hull.c.
References hull, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_preimage(), isl_dim_all, isl_dim_set, isl_mat_drop_rows(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_sub_alloc6(), isl_set_free(), isl_set_preimage(), isl_set_remove_dims(), M(), isl_mat::n_row, set, total(), and uset_convex_hull().
Referenced by convex_hull_pair(), uset_convex_hull(), and uset_convex_hull_unbounded().
|
static |
Definition at line 1751 of file isl_convex_hull.c.
References common_constraints(), hull, isl_basic_set_alloc_space(), isl_basic_set_set_rational(), isl_space_copy(), and set.
Referenced by uset_convex_hull_wrap().
|
static |
Definition at line 1915 of file isl_convex_hull.c.
References isl_basic_map_empty(), isl_map_free(), isl_map_get_space(), and map.
Referenced by isl_map_convex_hull(), and map_simple_hull_trivial().
|
static |
Definition at line 2561 of file isl_convex_hull.c.
References isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_drop_equality(), isl_basic_map_free(), isl_dim_all, isl_seq_eq(), isl_seq_last_non_zero(), and total().
Referenced by isl_basic_map_plain_unshifted_simple_hull().
|
static |
Definition at line 2515 of file isl_convex_hull.c.
References cmp(), isl_basic_map_constraint_cmp(), isl_basic_map_cow(), isl_basic_map_drop_inequality(), isl_basic_map_free(), isl_int_lt, and isl_int_set.
Referenced by isl_basic_map_plain_unshifted_simple_hull().
|
static |
Definition at line 3066 of file isl_convex_hull.c.
References isl_dim_set, isl_set_convex_hull(), isl_set_copy(), isl_set_dim(), isl_set_eliminate_dims(), and set.
Referenced by check_solution(), and isl_set_bounded_simple_hull().
|
static |
Definition at line 2166 of file isl_convex_hull.c.
References sh_data::ctx, isl_hash_table_entry::data, has_ineq(), isl_hash_table_entry_none, isl_hash_table_find(), isl_int_gt, isl_int_neg, isl_int_set, isl_seq_is_neg(), isl_set_get_ctx(), isl_stat_error, isl_stat_ok, ineq_cmp_data::len, neg(), and set.
Referenced by add_bound().
|
static |
Definition at line 2085 of file isl_convex_hull.c.
References sh_data::ctx, hash_basic_set(), sh_data::hull_table, isl_calloc, isl_hash_table_alloc(), sh_data::n, sh_data::p, set, sh_data_free(), and sh_data_entry::table.
Referenced by uset_simple_hull(), and uset_unshifted_simple_hull_from_constraints().
|
static |
Definition at line 2014 of file isl_convex_hull.c.
References sh_data::ctx, sh_data::hull_table, isl_hash_table_free(), isl_tab_free(), sh_data::n, sh_data::p, sh_data_entry::tab, and sh_data_entry::table.
Referenced by sh_data_alloc(), uset_simple_hull(), and uset_unshifted_simple_hull_from_constraints().
|
static |
Definition at line 1529 of file isl_convex_hull.c.
References max_constraint::c, isl_hash_table_entry::data, max_constraint::ineq, isl_hash_table_entry_none, isl_hash_table_find(), isl_hash_table_remove(), isl_int_eq, isl_int_gt, isl_int_set, isl_mat_cow(), isl_seq_get_hash(), isl_stat_error, isl_stat_ok, max_constraint_equal(), n, and isl_mat::row.
Referenced by common_constraints().
|
static |
Definition at line 1792 of file isl_convex_hull.c.
References convex_hull_0d(), convex_hull_1d(), isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_plain_is_universe(), ISL_CONVEX_HULL_WRAP, isl_dim_all, isl_set_coalesce(), isl_set_combined_lineality_space(), isl_set_copy(), isl_set_dim(), isl_set_free(), isl_set_is_bounded(), isl_set_set_rational(), modulo_lineality(), set, uset_convex_hull_unbounded(), and uset_convex_hull_wrap().
Referenced by convex_hull_pair_pointed(), isl_map_convex_hull(), modulo_affine_hull(), and modulo_lineality().
|
static |
Definition at line 1427 of file isl_convex_hull.c.
References convex_hull_pair(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_lineality_space(), isl_basic_set_list, isl_basic_set_list_union(), isl_basic_set_plain_is_universe(), isl_basic_set_underlying_set(), isl_die, isl_dim_all, isl_error_internal, isl_set_free(), isl_set_get_basic_set_list(), modulo_lineality(), n, set, t, and total().
Referenced by uset_convex_hull().
|
static |
Definition at line 1770 of file isl_convex_hull.c.
References extend(), hull, initial_hull(), isl_set_free(), proto_hull(), and set.
Referenced by convex_hull_pair(), uset_convex_hull(), and uset_convex_hull_wrap_bounded().
|
static |
Definition at line 1846 of file isl_convex_hull.c.
References convex_hull_1d(), isl_basic_map_remove_redundancies(), isl_basic_set_copy(), isl_basic_set_set_rational(), isl_basic_set_universe(), isl_dim_all, isl_set_coalesce(), isl_set_dim(), isl_set_free(), isl_set_set_rational(), isl_space_copy(), set, and uset_convex_hull_wrap().
Referenced by compute_facet().
|
static |
Definition at line 116 of file isl_convex_hull.c.
References ISL_BASIC_SET_EMPTY, isl_basic_set_set_to_empty(), isl_basic_set_solve_lp(), isl_bool_error, isl_bool_ok(), ISL_F_ISSET, isl_int_clear, isl_int_init, isl_int_is_neg, isl_int_is_one, isl_int_sub, isl_lp_empty, isl_lp_error, isl_lp_unbounded, isl_seq_scale(), res, and set.
Referenced by initial_facet_constraint().
|
static |
Definition at line 2332 of file isl_convex_hull.c.
References add_bounds(), hull, isl_basic_set_alloc_space(), isl_basic_set_free(), isl_set_free(), isl_space_copy(), set, sh_data_alloc(), and sh_data_free().
Referenced by map_simple_hull().
|
static |
Definition at line 2881 of file isl_convex_hull.c.
References cmp_ineq(), collect_inequalities(), sh_data::ctx, hull, isl_alloc_array, isl_basic_set_free(), isl_dim_set, isl_mat_alloc(), isl_mat_free(), isl_set_dim(), isl_set_free(), isl_set_get_ctx(), isl_sort(), n, set, and uset_unshifted_simple_hull_from_constraints().
Referenced by map_unshifted_simple_hull_from_basic_map_list().
|
static |
Definition at line 2771 of file isl_convex_hull.c.
References add_bound_from_constraint(), hull, isl_basic_set_alloc_space(), isl_basic_set_free(), isl_dim_set, isl_int_eq, isl_seq_eq(), isl_set_dim(), isl_set_free(), isl_set_get_space(), set, sh_data_alloc(), and sh_data_free().
Referenced by uset_unshifted_simple_hull_from_basic_set_list().
|
static |
Definition at line 1076 of file isl_convex_hull.c.
References isl_vec::block, isl_blk::data, isl_vec::el, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_dim_all, isl_int_set, isl_int_sub, isl_seq_clr(), isl_seq_combine(), isl_seq_normalize(), isl_tab_free(), isl_tab_from_basic_set(), isl_tab_get_sample_value(), isl_vec_alloc(), isl_vec_free(), n, isl_vec::size, and valid_direction_lp().
Referenced by convex_hull_pair_pointed().
|
static |
Definition at line 993 of file isl_convex_hull.c.
References isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_gauss(), isl_dim_all, isl_int_neg, isl_int_set, isl_int_set_si, isl_seq_clr(), isl_space_set_alloc(), n, and total().
Referenced by valid_direction().
|
static |
Definition at line 196 of file isl_convex_hull.c.
References isl_basic_set_alloc(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_set_rational(), isl_dim_set, isl_int_set_si, isl_seq_clr(), isl_seq_cpy(), isl_set_dim(), and set.
Referenced by isl_set_wrap_facet().
1.9.6