|
Polly 22.0.0git
|
#include <isl_map_private.h>#include <isl_point_private.h>#include <isl/set.h>#include <isl/union_set.h>#include <isl_sample.h>#include <isl_scan.h>#include <isl_seq.h>#include <isl_space_private.h>#include <isl_local_private.h>#include <isl_val_private.h>#include <isl_vec_private.h>#include <isl_output_private.h>#include <set_to_map.c>#include "isl_type_has_equal_space_templ.c"#include "isl_type_check_equal_space_templ.c"#include "isl_check_named_params_templ.c"#include "check_type_range_templ.c"Go to the source code of this file.
Classes | |
| struct | isl_foreach_point |
Macros | |
| #define | TYPE1 isl_basic_map |
| #define | TYPE2 isl_point |
| #define | TYPE_PAIR isl_basic_map_point |
| #define | TYPE isl_point |
| #define | TYPE isl_point |
| #define TYPE isl_point |
Definition at line 368 of file isl_point.c.
| #define TYPE isl_point |
Definition at line 368 of file isl_point.c.
| #define TYPE1 isl_basic_map |
Definition at line 50 of file isl_point.c.
| #define TYPE2 isl_point |
Definition at line 52 of file isl_point.c.
| #define TYPE_PAIR isl_basic_map_point |
Definition at line 54 of file isl_point.c.
|
static |
Definition at line 565 of file isl_point.c.
References isl_foreach_point::dim, isl_foreach_point::fn, isl_point_alloc(), isl_space_copy(), and isl_foreach_point::user.
Referenced by isl_set_foreach_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_set * isl_basic_set_box_from_points | ( | __isl_take isl_point * | pnt1, |
| __isl_take isl_point * | pnt2 | ||
| ) |
Definition at line 723 of file isl_point.c.
References isl_assert, isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_empty(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_from_point(), isl_dim_all, isl_int_clear, isl_int_fdiv_q, isl_int_init, isl_int_is_pos, isl_int_mul, isl_int_neg, isl_int_set, isl_int_set_si, isl_int_submul, isl_point_dim(), isl_point_free(), isl_point_is_void(), isl_seq_clr(), isl_space_copy(), isl_space_is_equal(), t, and total().
Referenced by ISL_ARG_CHOICE(), and isl_set_box_from_points().
| __isl_give isl_basic_set * isl_basic_set_from_point | ( | __isl_take isl_point * | pnt | ) |
Definition at line 674 of file isl_point.c.
References isl_basic_set_empty(), isl_basic_set_from_underlying_set(), isl_basic_set_from_vec(), isl_point_free(), isl_space_copy(), and isl_vec_copy().
Referenced by isl::basic_set::basic_set(), isl_basic_set_box_from_points(), and isl_set_from_point().
| isl_bool isl_map_contains_point | ( | __isl_keep isl_map * | map, |
| __isl_keep isl_point * | point | ||
| ) |
Definition at line 639 of file isl_point.c.
References isl_basic_map_contains_point(), isl_bool_error, isl_bool_false, isl_map_compute_divs(), isl_map_copy(), isl_map_free(), map, and point.
Referenced by isl_set_contains_point().
| __isl_give isl_point * isl_point_add_ui | ( | __isl_take isl_point * | pnt, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| unsigned | val | ||
| ) |
Definition at line 502 of file isl_point.c.
References isl_int_add_ui, isl_point_cow(), isl_point_free(), isl_point_is_void(), isl_point_var_offset(), isl_vec_cow(), pos(), type, and val.
Referenced by ISL_ARG_CHILD(), and ISL_ARG_CHOICE().
| __isl_give isl_point * isl_point_align_params | ( | __isl_take isl_point * | pnt, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 336 of file isl_point.c.
References isl_reordering::dst_len, isl_die, isl_error_invalid, isl_parameter_alignment_reordering(), isl_point_free(), isl_point_get_ctx(), isl_point_peek_space(), isl_point_reorder(), isl_reordering_free(), isl_space_free(), isl_space_has_equal_params(), and isl_reordering::src_len.
| __isl_give isl_point * isl_point_alloc | ( | __isl_take isl_space * | space, |
| __isl_take isl_vec * | vec | ||
| ) |
Definition at line 66 of file isl_point.c.
References isl_point::dim, isl_alloc_type, isl_dim_all, isl_space_dim(), isl_space_free(), isl_vec_cow(), isl_vec_free(), isl_point::ref, isl_vec::size, and isl_point::vec.
Referenced by foreach_point(), isl_basic_set_sample_point(), isl_point_dup(), isl_point_void(), isl_point_zero(), scan_one(), and singleton_extract_point().
| __isl_give isl_point * isl_point_copy | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 141 of file isl_point.c.
References isl_point::ref.
Referenced by isl::point::copy(), FN(), ISL_ARG_CHILD(), ISL_ARG_CHOICE(), isl_qpolynomial_fold_eval(), and verify_point().
| __isl_give isl_point * isl_point_cow | ( | __isl_take isl_point * | pnt | ) |
Definition at line 127 of file isl_point.c.
References isl_point_dup(), and isl_point_free().
Referenced by isl_point_add_ui(), isl_point_restore_space(), isl_point_restore_vec(), isl_point_set_coordinate_val(), and isl_point_sub_ui().
|
static |
Definition at line 299 of file isl_point.c.
References isl_point_peek_space(), isl_space_dim(), and type.
Referenced by isl_basic_set_box_from_points(), and isl_printer_print_point().
| __isl_give isl_point * isl_point_dup | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 117 of file isl_point.c.
References isl_point_alloc(), isl_space_copy(), and isl_vec_copy().
Referenced by isl_point_cow().
| __isl_null isl_point * isl_point_free | ( | __isl_take isl_point * | pnt | ) |
Definition at line 150 of file isl_point.c.
References isl_space_free(), and isl_vec_free().
Referenced by eval_void(), FN(), isl_aff_eval(), isl_basic_set_box_from_points(), isl_basic_set_from_point(), isl_local_space_lift_point(), isl_point_add_ui(), isl_point_align_params(), isl_point_cow(), isl_point_restore_space(), isl_point_restore_vec(), isl_point_set_coordinate_val(), isl_point_sub_ui(), isl_qpolynomial_eval(), isl_qpolynomial_fold_eval(), isl_set_sample_point(), isl_union_set_from_point(), map_is_singleton_subset(), scan_one(), verify_point(), and isl::point::~point().
|
static |
Definition at line 374 of file isl_point.c.
References isl_die, isl_error_invalid, isl_point_get_ctx(), isl_point_is_void(), isl_point_var_offset(), isl_val_normalize(), isl_val_rat_from_isl_int(), pos(), and type.
Referenced by isl_point_get_multi_val().
| isl_ctx * isl_point_get_ctx | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 32 of file isl_point.c.
References isl_space_get_ctx().
Referenced by isl::point::ctx(), eval_void(), FN(), isl_point_align_params(), isl_point_get_coordinate_val(), isl_point_set_coordinate_val(), isl_qpolynomial_fold_eval(), and verify_point().
| __isl_give isl_multi_val * isl_point_get_multi_val | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 423 of file isl_point.c.
References isl_dim_set, isl_point_get_coordinate_val(), isl_point_get_space(), isl_point_is_void(), n, and set_nan().
Referenced by isl::point::multi_val().
| __isl_give isl_space * isl_point_get_space | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 44 of file isl_point.c.
References isl_point_peek_space(), and isl_space_copy().
Referenced by isl_point_get_multi_val(), isl_point_take_space(), and isl_union_set_from_point().
| __isl_give isl_vec * isl_point_get_vec | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 240 of file isl_point.c.
References isl_point_peek_vec(), and isl_vec_copy().
Referenced by isl_basic_map_contains_point(), and isl_point_take_vec().
| isl_bool isl_point_is_void | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 172 of file isl_point.c.
References isl_bool_error, and isl_bool_ok().
Referenced by FN(), isl_aff_eval(), isl_basic_set_box_from_points(), isl_point_add_ui(), isl_point_get_coordinate_val(), isl_point_get_multi_val(), isl_point_set_coordinate_val(), isl_point_sub_ui(), isl_printer_print_point(), isl_qpolynomial_eval(), isl_set_sample_point(), and isl_union_set_from_point().
| __isl_keep isl_space * isl_point_peek_space | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 39 of file isl_point.c.
Referenced by FN(), isl_aff_eval(), isl_local_space_lift_point(), isl_point_align_params(), isl_point_dim(), isl_point_get_space(), and isl_point_set_coordinate_val().
| __isl_keep isl_vec * isl_point_peek_vec | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 233 of file isl_point.c.
Referenced by isl_aff_eval(), and isl_point_get_vec().
|
static |
Definition at line 315 of file isl_point.c.
References isl_point_restore_space(), isl_point_restore_vec(), isl_point_take_space(), isl_point_take_vec(), isl_reordering_copy(), isl_reordering_get_space(), isl_space_free(), isl_vec_reorder(), and isl_point::vec.
Referenced by isl_point_align_params().
| __isl_give isl_point * isl_point_restore_space | ( | __isl_take isl_point * | pnt, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 207 of file isl_point.c.
References isl_point_cow(), isl_point_free(), and isl_space_free().
Referenced by isl_local_space_lift_point(), and isl_point_reorder().
| __isl_give isl_point * isl_point_restore_vec | ( | __isl_take isl_point * | pnt, |
| __isl_take isl_vec * | vec | ||
| ) |
Definition at line 273 of file isl_point.c.
References isl_point_cow(), isl_point_free(), isl_vec_free(), and isl_point::vec.
Referenced by isl_local_space_lift_point(), and isl_point_reorder().
| __isl_give isl_point * isl_point_set_coordinate_val | ( | __isl_take isl_point * | pnt, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 452 of file isl_point.c.
References isl_die, isl_error_invalid, isl_int_eq, isl_int_is_one, isl_int_mul, isl_int_set, isl_point_cow(), isl_point_free(), isl_point_get_ctx(), isl_point_is_void(), isl_point_peek_space(), isl_seq_scale(), isl_space_offset(), isl_val_free(), isl_val_is_rat(), isl_vec_cow(), isl_vec_normalize(), pos(), and type.
Referenced by test_eval_3().
| __isl_give isl_point * isl_point_sub_ui | ( | __isl_take isl_point * | pnt, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| unsigned | val | ||
| ) |
Definition at line 530 of file isl_point.c.
References isl_int_sub_ui, isl_point_cow(), isl_point_free(), isl_point_is_void(), isl_point_var_offset(), isl_vec_cow(), pos(), type, and val.
Referenced by ISL_ARG_CHILD(), and ISL_ARG_CHOICE().
| __isl_give isl_space * isl_point_take_space | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 189 of file isl_point.c.
References isl_point_get_space().
Referenced by isl_local_space_lift_point(), and isl_point_reorder().
| __isl_give isl_vec * isl_point_take_vec | ( | __isl_keep isl_point * | pnt | ) |
Definition at line 254 of file isl_point.c.
References isl_point_get_vec(), and isl_point::vec.
Referenced by isl_local_space_lift_point(), and isl_point_reorder().
| __isl_give isl_set * isl_point_to_set | ( | __isl_take isl_point * | pnt | ) |
Definition at line 700 of file isl_point.c.
References isl_set_from_point().
Referenced by isl::point::to_set().
|
static |
Definition at line 307 of file isl_point.c.
References isl_size_error, isl_space_offset(), and type.
Referenced by isl_point_add_ui(), isl_point_get_coordinate_val(), and isl_point_sub_ui().
| __isl_give isl_point * isl_point_void | ( | __isl_take isl_space * | space | ) |
Definition at line 164 of file isl_point.c.
References isl_point_alloc(), and isl_vec_alloc().
Referenced by isl_set_sample_point().
| __isl_give isl_point * isl_point_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 98 of file isl_point.c.
References isl_point::dim, isl_vec::el, isl_dim_all, isl_int_set_si, isl_point_alloc(), isl_seq_clr(), isl_space_dim(), isl_space_free(), isl_vec_alloc(), isl_vec::size, and isl_point::vec.
Referenced by isl::point::point(), and test_eval_3().
| __isl_give isl_printer * isl_printer_print_point | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_point * | pnt | ||
| ) |
Definition at line 835 of file isl_point.c.
References isl_dim_param, isl_int_is_one, isl_point_dim(), isl_point_is_void(), isl_print_space(), isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), isl_space_get_dim_name(), name, p, print_coordinate(), isl_print_space_data::print_dim, and isl_print_space_data::user.
| __isl_give isl_set * isl_set_box_from_points | ( | __isl_take isl_point * | pnt1, |
| __isl_take isl_point * | pnt2 | ||
| ) |
Definition at line 810 of file isl_point.c.
References isl_basic_set_box_from_points(), and isl_set_from_basic_set().
Referenced by ISL_ARG_CHILD().
| 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().
| isl_stat isl_set_foreach_point | ( | __isl_keep isl_set * | set, |
| isl_stat(*)(__isl_take isl_point *pnt, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 576 of file isl_point.c.
References isl_foreach_point::callback, isl_foreach_point::dim, fn, foreach_point(), isl_basic_set_copy(), isl_basic_set_scan(), isl_set_compute_divs(), isl_set_copy(), isl_set_cow(), isl_set_free(), isl_set_get_space(), isl_set_make_disjoint(), isl_space_free(), isl_stat_error, isl_stat_ok, set, and user.
Referenced by check_solution(), compute_domains(), foreach_point(), isl::set::foreach_point(), and isl_qpolynomial_opt_on_domain().
| __isl_give isl_set * isl_set_from_point | ( | __isl_take isl_point * | pnt | ) |
Definition at line 690 of file isl_point.c.
References isl_basic_set_from_point(), and isl_set_from_basic_set().
Referenced by compute_class_domains(), isl_point_to_set(), isl_union_set_from_point(), and isl::set::set().
| __isl_give isl_union_set * isl_union_set_from_point | ( | __isl_take isl_point * | pnt | ) |
Definition at line 708 of file isl_point.c.
References isl_point_free(), isl_point_get_space(), isl_point_is_void(), isl_set_from_point(), isl_union_set_empty(), and isl_union_set_from_set().
Referenced by isl::union_set::union_set().
|
static |
Definition at line 820 of file isl_point.c.
References isl_vec::el, isl_int_is_one, isl_printer_print_isl_int(), isl_printer_print_str(), isl_space_offset(), p, pos(), isl_print_space_data::space, isl_print_space_data::type, isl_print_space_data::user, and isl_point::vec.
Referenced by isl_printer_print_point().
|
static |
Definition at line 403 of file isl_point.c.
References isl_val_copy(), isl_val_free(), isl_val_nan(), and n.
Referenced by isl_point_get_multi_val().
1.9.6