|
Polly 19.0.0git
|
#include <isl/ctx.h>#include <isl/constraint.h>#include <isl/space_type.h>#include <isl/set_type.h>#include <isl/point.h>#include <isl/printer.h>#include <isl/union_set_type.h>#include <isl/aff_type.h>#include <isl/polynomial_type.h>#include <isl/val_type.h>Go to the source code of this file.
| __isl_give isl_basic_map * isl_basic_map_from_qpolynomial | ( | __isl_take isl_qpolynomial * | qp | ) |
Definition at line 5180 of file isl_polynomial.c.
References aff, isl_space::ctx, isl_qpolynomial::dim, isl_basic_map::div, isl_qpolynomial::div, isl_basic_map::eq, isl_basic_map_add_div_constraints(), isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_space(), isl_basic_map_finalize(), isl_basic_map_free(), isl_die, isl_dim_out, isl_error_invalid, isl_int_neg, isl_int_set_si, isl_poly_is_affine(), isl_qpolynomial_extract_affine(), isl_qpolynomial_free(), isl_qpolynomial_get_space(), isl_seq_cpy(), isl_space_offset(), isl_vec_free(), isl_mat::n_col, isl_mat::n_row, isl_qpolynomial::poly, pos(), isl_to_poly_data::qp, and isl_mat::row.
| __isl_give isl_pw_qpolynomial * isl_basic_set_multiplicative_call | ( | __isl_take isl_basic_set * | bset, |
| __isl_give isl_pw_qpolynomial *(*)(__isl_take isl_basic_set *bset) | fn | ||
| ) |
Definition at line 4878 of file isl_polynomial.c.
References compressed_multiplicative_call(), constant_on_domain(), fn, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_full_compression(), isl_basic_set_is_bounded(), isl_basic_set_plain_is_empty(), isl_dim_set, isl_morph_basic_set(), isl_morph_copy(), isl_morph_dom_params(), isl_morph_inverse(), isl_morph_ran_params(), isl_pw_qpolynomial_morph_domain(), and pwqp.
Referenced by multiplicative_call_base().
| __isl_give isl_pw_qpolynomial_fold * isl_map_apply_pw_qpolynomial_fold | ( | __isl_take isl_map * | map, |
| __isl_take isl_pw_qpolynomial_fold * | pwf, | ||
| isl_bool * | tight | ||
| ) |
Definition at line 1883 of file isl_fold.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_map_dim(), isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_wrap(), isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_get_space(), isl_pw_qpolynomial_fold_intersect_domain(), isl_pw_qpolynomial_fold_reset_domain_space(), isl_set_get_space(), isl_space_free(), join_compatible(), map, and tight.
Referenced by isl_set_apply_pw_qpolynomial_fold(), and pw_qpolynomial_fold_apply().
| __isl_give isl_printer * isl_printer_print_pw_qpolynomial | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_qpolynomial * | pwqp | ||
| ) |
Definition at line 2229 of file isl_output.c.
References isl_assert, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_pw_qpolynomial_c(), print_pw_qpolynomial_isl(), and pwqp.
Referenced by isl_obj_pw_qp_print(), and isl_pw_qpolynomial_print().
| __isl_give isl_printer * isl_printer_print_pw_qpolynomial_fold | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_qpolynomial_fold * | pwf | ||
| ) |
Definition at line 2343 of file isl_output.c.
References isl_assert, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_pw_qpolynomial_fold_c(), and print_pw_qpolynomial_fold_isl().
Referenced by isl_obj_pw_qpf_print(), and isl_pw_qpolynomial_fold_print().
| __isl_give isl_printer * isl_printer_print_qpolynomial | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_qpolynomial * | qp | ||
| ) |
Definition at line 1909 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_qpolynomial_c(), and print_qpolynomial_isl().
Referenced by isl_qpolynomial_print().
| __isl_give isl_printer * isl_printer_print_qpolynomial_fold | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_qpolynomial_fold * | fold | ||
| ) |
Definition at line 2299 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_qpolynomial_fold_c(), and qpolynomial_fold_print().
Referenced by isl_qpolynomial_fold_print().
| __isl_give isl_printer * isl_printer_print_union_pw_qpolynomial | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_qpolynomial * | upwqp | ||
| ) |
Definition at line 2249 of file isl_output.c.
References isl_die, isl_error_invalid, ISL_FORMAT_ISL, isl_printer_free(), and p.
Referenced by isl_obj_union_pw_qp_print().
| __isl_give isl_printer * isl_printer_print_union_pw_qpolynomial_fold | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ||
| ) |
Definition at line 2378 of file isl_output.c.
References isl_die, isl_error_invalid, ISL_FORMAT_ISL, isl_printer_free(), and p.
Referenced by isl_obj_union_pw_qpf_print().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_add | ( | __isl_take isl_pw_qpolynomial * | pwqp1, |
| __isl_take isl_pw_qpolynomial * | pwqp2 | ||
| ) |
Definition at line 3147 of file isl_polynomial.c.
Referenced by isl_obj_pw_qp_add(), and read_term().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_add_dims | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_add_disjoint | ( | __isl_take isl_pw_qpolynomial * | pwqp1, |
| __isl_take isl_pw_qpolynomial * | pwqp2 | ||
| ) |
Referenced by isl_pw_qpolynomial_to_polynomial(), split_periods(), and to_polynomial_on_orthant().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_alloc | ( | __isl_take isl_set * | set, |
| __isl_take isl_qpolynomial * | qp | ||
| ) |
| __isl_give isl_qpolynomial * isl_pw_qpolynomial_as_qpolynomial | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_bound | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_fold | type, | ||
| isl_bool * | tight | ||
| ) |
Definition at line 370 of file isl_bound.c.
References isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_bound::pwf, pwqp, tight, and type.
Referenced by bernstein_coefficients_recursive(), bound_pw(), test_bound(), and test_bound_space().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_coalesce | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
Referenced by test_pwqp().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_copy | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
Referenced by isl_obj_pw_qp_copy().
| isl_size isl_pw_qpolynomial_dim | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type | ||
| ) |
Referenced by bernstein_coefficients_recursive().
| __isl_export __isl_give isl_set * isl_pw_qpolynomial_domain | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_drop_dims | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_drop_unused_params | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| void isl_pw_qpolynomial_dump | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
| __isl_export __isl_give isl_val * isl_pw_qpolynomial_eval | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| __isl_take isl_point * | pnt | ||
| ) |
Referenced by test_eval_3().
| isl_bool isl_pw_qpolynomial_every_piece | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| isl_bool(*)(__isl_keep isl_set *set, __isl_keep isl_qpolynomial *qp, void *user) | test, | ||
| void * | user | ||
| ) |
| int isl_pw_qpolynomial_find_dim_by_name | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_fix_val | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | n, | ||
| __isl_take isl_val * | v | ||
| ) |
Referenced by test_pwqp().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_add | ( | __isl_take isl_pw_qpolynomial_fold * | pwf1, |
| __isl_take isl_pw_qpolynomial_fold * | pwf2 | ||
| ) |
Definition at line 1277 of file isl_fold.c.
Referenced by add_pwqp().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_add_disjoint | ( | __isl_take isl_pw_qpolynomial_fold * | pwf1, |
| __isl_take isl_pw_qpolynomial_fold * | pwf2 | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_alloc | ( | enum isl_fold | type, |
| __isl_take isl_set * | set, | ||
| __isl_take isl_qpolynomial_fold * | fold | ||
| ) |
Referenced by add_guarded_poly(), bernstein_coefficients_cell(), and isl_qpolynomial_cst_bound().
| __isl_give isl_qpolynomial_fold * isl_pw_qpolynomial_fold_as_qpolynomial_fold | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_bound | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| isl_bool * | tight | ||
| ) |
Definition at line 298 of file isl_bound.c.
References bound, guarded_fold(), isl_bool_true, isl_dim_out, isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_foreach_lifted_piece(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_get_domain_space(), isl_pw_qpolynomial_fold_is_zero(), isl_pw_qpolynomial_fold_reset_space(), isl_pw_qpolynomial_fold_zero(), isl_space_add_dims(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_is_wrapping(), isl_space_unwrap(), isl_bound::pwf, tight, isl_pw_qpolynomial_fold::type, and type.
Referenced by bernstein_coefficients_recursive(), isl_map_apply_pw_qpolynomial_fold(), isl_pw_qpolynomial_bound(), and main().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_coalesce | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by main().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_copy | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
| isl_size isl_pw_qpolynomial_fold_dim | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| enum isl_dim_type | type | ||
| ) |
Referenced by bernstein_coefficients_recursive(), and verify_point().
| __isl_give isl_set * isl_pw_qpolynomial_fold_domain | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by check_solution(), isl_pw_qpolynomial_fold_covers(), and verify_point().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_drop_dims | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_drop_unused_params | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
| void isl_pw_qpolynomial_fold_dump | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
| __isl_give isl_val * isl_pw_qpolynomial_fold_eval | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_point * | pnt | ||
| ) |
Referenced by verify_point().
| isl_bool isl_pw_qpolynomial_fold_every_piece | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| isl_bool(*)(__isl_keep isl_set *set, __isl_keep isl_qpolynomial_fold *fold, void *user) | test, | ||
| void * | user | ||
| ) |
| int isl_pw_qpolynomial_fold_find_dim_by_name | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_fix_val | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| enum isl_dim_type | type, | ||
| unsigned | n, | ||
| __isl_take isl_val * | v | ||
| ) |
Referenced by verify_point().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_fold | ( | __isl_take isl_pw_qpolynomial_fold * | pwf1, |
| __isl_take isl_pw_qpolynomial_fold * | pwf2 | ||
| ) |
Definition at line 1115 of file isl_fold.c.
References isl_assert, isl_die, isl_error_invalid, isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_is_zero(), isl_qpolynomial_fold_copy(), isl_qpolynomial_fold_fold_on_domain(), isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_set_subtract(), isl_space_copy(), isl_space_is_equal(), n, res, and set.
Referenced by add_guarded_poly(), bernstein_coefficients_base(), bernstein_coefficients_cell(), isl_bound_add(), isl_bound_add_tight(), isl_obj_pw_qpf_add(), isl_pw_qpolynomial_fold_bound(), isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(), and obj_read_poly_or_fold().
| isl_stat isl_pw_qpolynomial_fold_foreach_lifted_piece | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| isl_stat(*)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user) | fn, | ||
| void * | user | ||
| ) |
Referenced by isl_pw_qpolynomial_fold_bound().
| isl_stat isl_pw_qpolynomial_fold_foreach_piece | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| isl_stat(*)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user) | fn, | ||
| void * | user | ||
| ) |
| __isl_null isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_free | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by bernstein_coefficients_base(), bernstein_coefficients_recursive(), check_solution(), has_sign(), isl_map_apply_pw_qpolynomial_fold(), isl_obj_pw_qpf_free(), isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_fold(), isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(), main(), obj_read_poly_or_fold(), pw_qpolynomial_fold_apply(), test_bound(), test_bound_space(), and verify_point().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_from_pw_qpolynomial | ( | enum isl_fold | type, |
| __isl_take isl_pw_qpolynomial * | pwqp | ||
| ) |
Definition at line 1254 of file isl_fold.c.
References isl_pw_qpolynomial_free(), isl_qpolynomial_copy(), isl_qpolynomial_fold_alloc(), isl_set_copy(), isl_space_copy(), pwqp, and type.
Referenced by add_pwqp(), isl_pw_qpolynomial_bound(), main(), and obj_read_poly_or_fold().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_from_qpolynomial_fold | ( | __isl_take isl_qpolynomial_fold * | fold | ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_from_range | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
| isl_ctx * isl_pw_qpolynomial_fold_get_ctx | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
| __isl_give isl_space * isl_pw_qpolynomial_fold_get_domain_space | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by isl_pw_qpolynomial_fold_bound(), and print_pw_qpolynomial_fold_c().
| __isl_give isl_space * isl_pw_qpolynomial_fold_get_space | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by isl_map_apply_pw_qpolynomial_fold(), and pw_qpolynomial_fold_apply().
| enum isl_fold isl_pw_qpolynomial_fold_get_type | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
Definition at line 1641 of file isl_fold.c.
References isl_fold_error.
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_gist | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_gist_params | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | context | ||
| ) |
| isl_bool isl_pw_qpolynomial_fold_has_equal_space | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf1, |
| __isl_keep isl_pw_qpolynomial_fold * | pwf2 | ||
| ) |
Referenced by obj_add().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_domain | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl_map_apply_pw_qpolynomial_fold(), and obj_read_poly_or_fold().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_domain_wrapped_domain | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_domain_wrapped_range | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_intersect_params | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | set | ||
| ) |
| isl_bool isl_pw_qpolynomial_fold_involves_nan | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
| isl_bool isl_pw_qpolynomial_fold_involves_param_id | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| __isl_keep isl_id * | id | ||
| ) |
| isl_bool isl_pw_qpolynomial_fold_is_zero | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by add_pwqp(), isl_pw_qpolynomial_fold_bound(), and isl_pw_qpolynomial_fold_fold().
| isl_bool isl_pw_qpolynomial_fold_isa_qpolynomial_fold | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
| __isl_give isl_val * isl_pw_qpolynomial_fold_max | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by has_sign(), and verify_point().
| __isl_give isl_val * isl_pw_qpolynomial_fold_min | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by has_sign(), and verify_point().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_move_dims | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Referenced by bernstein_coefficients_recursive().
| isl_size isl_pw_qpolynomial_fold_n_piece | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
| isl_bool isl_pw_qpolynomial_fold_plain_is_equal | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf1, |
| __isl_keep isl_pw_qpolynomial_fold * | pwf2 | ||
| ) |
Referenced by test_bound().
| void isl_pw_qpolynomial_fold_print | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf, |
| FILE * | out, | ||
| unsigned | output_format | ||
| ) |
Definition at line 2359 of file isl_output.c.
References isl_printer_free(), isl_printer_print_pw_qpolynomial_fold(), isl_printer_set_output_format(), isl_printer_to_file(), and p.
Referenced by main().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_project_domain_on_params | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by isl_qpolynomial_cst_bound().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by test_bound().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_reset_space | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by guarded_poly_bound(), and isl_pw_qpolynomial_fold_bound().
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_reset_user | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_scale_down_val | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_scale_val | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_set_dim_name | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| size_t isl_pw_qpolynomial_fold_size | ( | __isl_keep isl_pw_qpolynomial_fold * | pwf | ) |
Definition at line 1433 of file isl_fold.c.
References isl_qpolynomial_fold_peek_list(), isl_size_error, and n.
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_subtract_domain | ( | __isl_take isl_pw_qpolynomial_fold * | pwf, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_to_union_pw_qpolynomial_fold | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
| __isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_zero | ( | __isl_take isl_space * | space, |
| enum isl_fold | type | ||
| ) |
| isl_stat isl_pw_qpolynomial_foreach_lifted_piece | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| isl_stat(*)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user) | fn, | ||
| void * | user | ||
| ) |
| isl_stat isl_pw_qpolynomial_foreach_piece | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| isl_stat(*)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user) | fn, | ||
| void * | user | ||
| ) |
Referenced by isl_pw_qpolynomial_split_periods().
| __isl_null isl_pw_qpolynomial * isl_pw_qpolynomial_free | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
Referenced by add_pwqp(), bernstein_coefficients_recursive(), compressed_multiplicative_call(), isl_obj_pw_qp_free(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_pow(), isl_pw_qpolynomial_split_periods(), isl_pw_qpolynomial_to_polynomial(), pwqp_drop_floors(), read_factor(), test_parse_pwqp(), test_pwqp(), test_pwqp_gist(), and test_split_periods().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_from_pw_aff | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3534 of file isl_polynomial.c.
References isl_aff_copy(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_pw_qpolynomial_add_piece(), isl_qpolynomial_from_aff(), isl_set_copy(), and pwqp.
Referenced by read_factor().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_from_qpolynomial | ( | __isl_take isl_qpolynomial * | qp | ) |
Referenced by read_factor().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_from_range | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| isl_ctx * isl_pw_qpolynomial_get_ctx | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_space * isl_pw_qpolynomial_get_domain_space | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
Referenced by print_pw_qpolynomial_c(), and test_eval_3().
| __isl_give isl_space * isl_pw_qpolynomial_get_space | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
Referenced by isl_pw_qpolynomial_split_periods(), and isl_pw_qpolynomial_to_polynomial().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_gist | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| __isl_take isl_set * | context | ||
| ) |
Referenced by test_pwqp_gist().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_gist_params | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| __isl_take isl_set * | context | ||
| ) |
| isl_bool isl_pw_qpolynomial_has_equal_space | ( | __isl_keep isl_pw_qpolynomial * | pwqp1, |
| __isl_keep isl_pw_qpolynomial * | pwqp2 | ||
| ) |
Referenced by obj_add().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_insert_dims | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_domain | ( | __isl_take isl_pw_qpolynomial * | pwpq, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by obj_read_poly(), test_bound_space(), and test_pwqp().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_domain_wrapped_domain | ( | __isl_take isl_pw_qpolynomial * | pwpq, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_domain_wrapped_range | ( | __isl_take isl_pw_qpolynomial * | pwpq, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_intersect_params | ( | __isl_take isl_pw_qpolynomial * | pwpq, |
| __isl_take isl_set * | set | ||
| ) |
| isl_bool isl_pw_qpolynomial_involves_dims | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| isl_bool isl_pw_qpolynomial_involves_nan | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
| isl_bool isl_pw_qpolynomial_involves_param_id | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| __isl_keep isl_id * | id | ||
| ) |
| isl_bool isl_pw_qpolynomial_is_zero | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
Referenced by isl_pw_qpolynomial_mul(), pwqp_drop_floors(), test_pwqp(), and test_pwqp_gist().
| isl_bool isl_pw_qpolynomial_isa_qpolynomial | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_val * isl_pw_qpolynomial_max | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
Referenced by test_pwqp_max().
| __isl_give isl_val * isl_pw_qpolynomial_min | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_move_dims | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Referenced by bernstein_coefficients_recursive(), and test_pwqp().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_mul | ( | __isl_take isl_pw_qpolynomial * | pwqp1, |
| __isl_take isl_pw_qpolynomial * | pwqp2 | ||
| ) |
Definition at line 3154 of file isl_polynomial.c.
References isl_assert, isl_pw_qpolynomial_add_piece(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_is_one(), isl_pw_qpolynomial_is_zero(), isl_qpolynomial_copy(), isl_qpolynomial_mul(), isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_space_copy(), isl_space_is_equal(), n, and res.
Referenced by isl_union_pw_qpolynomial_mul(), multiplicative_call_factor_pw_qpolynomial(), and read_factor().
| isl_size isl_pw_qpolynomial_n_piece | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_neg | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
Referenced by read_factor().
| isl_bool isl_pw_qpolynomial_plain_is_equal | ( | __isl_keep isl_pw_qpolynomial * | pwqp1, |
| __isl_keep isl_pw_qpolynomial * | pwqp2 | ||
| ) |
Referenced by test_pwqp().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_pow | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| unsigned | exponent | ||
| ) |
Definition at line 1904 of file isl_polynomial.c.
References isl_pw_qpolynomial_cow(), isl_pw_qpolynomial_free(), isl_qpolynomial_pow(), power(), and pwqp.
Referenced by read_factor().
| void isl_pw_qpolynomial_print | ( | __isl_keep isl_pw_qpolynomial * | pwqp, |
| FILE * | out, | ||
| unsigned | output_format | ||
| ) |
Definition at line 2035 of file isl_output.c.
References isl_printer_free(), isl_printer_print_pw_qpolynomial(), isl_printer_set_output_format(), isl_printer_to_file(), p, and pwqp.
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_project_domain_on_params | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3449 of file isl_input.c.
References isl_stream_free(), isl_stream_new_file(), isl_stream_read_pw_qpolynomial(), and pwqp.
| __isl_constructor __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by test_bound(), test_bound_space(), test_eval_3(), test_parse_pwqp(), test_pwqp(), test_pwqp_gist(), test_pwqp_max(), and test_split_periods().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_reset_domain_space | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| __isl_take isl_space * | space | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_reset_user | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_scale_down_val | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_scale_val | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_set_dim_name | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_split_dims | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_split_periods | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| int | max_periods | ||
| ) |
Definition at line 4719 of file isl_polynomial.c.
References isl_pw_qpolynomial_foreach_piece(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_get_space(), isl_pw_qpolynomial_zero(), isl_split_periods_data::max_periods, pwqp, isl_split_periods_data::res, and split_periods().
Referenced by test_split_periods().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_sub | ( | __isl_take isl_pw_qpolynomial * | pwqp1, |
| __isl_take isl_pw_qpolynomial * | pwqp2 | ||
| ) |
Referenced by read_term(), test_pwqp(), and test_pwqp_gist().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_subtract_domain | ( | __isl_take isl_pw_qpolynomial * | pwpq, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_to_polynomial | ( | __isl_take isl_pw_qpolynomial * | pwqp, |
| int | sign | ||
| ) |
Definition at line 5126 of file isl_polynomial.c.
References isl_pw_qpolynomial_add_disjoint(), isl_pw_qpolynomial_alloc(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_get_space(), isl_pw_qpolynomial_zero(), isl_qpolynomial_copy(), isl_set_copy(), isl_set_foreach_orthant(), pwqp, pwqp_drop_floors(), isl_to_poly_data::qp, isl_to_poly_data::res, isl_to_poly_data::sign, t, and to_polynomial_on_orthant().
Referenced by poly_entry().
| __isl_give char * isl_pw_qpolynomial_to_str | ( | __isl_keep isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_pw_qpolynomial_to_union_pw_qpolynomial | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_zero | ( | __isl_take isl_space * | space | ) |
Referenced by isl_pw_qpolynomial_split_periods(), and isl_pw_qpolynomial_to_polynomial().
| __isl_give isl_qpolynomial * isl_qpolynomial_add | ( | __isl_take isl_qpolynomial * | qp1, |
| __isl_take isl_qpolynomial * | qp2 | ||
| ) |
Definition at line 1680 of file isl_polynomial.c.
References compatible_divs(), isl_poly_copy(), isl_poly_sum(), isl_qpolynomial_add(), isl_qpolynomial_cow(), isl_qpolynomial_free(), and with_merged_divs().
Referenced by add_qpolynomial(), bernstein_coefficients_cell(), collect_fixed_sign_terms(), isl_qpolynomial_add(), isl_qpolynomial_add_on_domain(), isl_qpolynomial_sign(), isl_qpolynomial_sub(), monotonicity(), propagate_on_bound_pair(), and to_polynomial_on_orthant().
| __isl_give isl_qpolynomial * isl_qpolynomial_add_dims | ( | __isl_take isl_qpolynomial * | qp, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 3376 of file isl_polynomial.c.
References isl_qpolynomial_dim(), isl_qpolynomial_free(), isl_qpolynomial_insert_dims(), n, pos(), and type.
Referenced by bernstein_coefficients_cell().
| __isl_give isl_qpolynomial * isl_qpolynomial_align_params | ( | __isl_take isl_qpolynomial * | qp, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 4492 of file isl_polynomial.c.
References isl_parameter_alignment_reordering(), isl_qpolynomial_free(), isl_qpolynomial_peek_domain_space(), isl_qpolynomial_realign_domain(), isl_space_free(), isl_space_has_equal_params(), and isl_opt_data::qp.
| isl_stat isl_qpolynomial_as_polynomial_on_domain | ( | __isl_keep isl_qpolynomial * | qp, |
| __isl_keep isl_basic_set * | bset, | ||
| isl_stat(*)(__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 3633 of file isl_polynomial.c.
References fn, isl_basic_set_copy(), isl_dim_set, isl_local_space_lift_basic_set(), isl_poly_copy(), isl_qpolynomial_alloc(), isl_qpolynomial_copy(), isl_qpolynomial_get_domain_local_space(), isl_space_add_dims(), isl_space_copy(), isl_stat_error, poly, and user.
Referenced by guarded_qp().
| __isl_give isl_qpolynomial * isl_qpolynomial_copy | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 1321 of file isl_polynomial.c.
References isl_qpolynomial::ref.
Referenced by add_qpolynomial(), basic_guarded_poly_bound(), bernstein_coefficients_base(), bernstein_coefficients_cell(), has_sign(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_to_polynomial(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_sign(), merge_lists(), monotonicity(), opt_fn(), print_qpolynomial_c(), propagate_on_bound_pair(), split_div(), and to_polynomial_on_orthant().
| isl_size isl_qpolynomial_dim | ( | __isl_keep isl_qpolynomial * | qp, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 543 of file isl_polynomial.c.
References domain_type(), isl_dim_out, isl_qpolynomial_domain_dim(), isl_size_error, and type.
Referenced by bernstein_coefficients_cell(), extract_coefficients(), isl_qpolynomial_add_dims(), and isl_qpolynomial_project_domain_on_params().
| __isl_give isl_qpolynomial * isl_qpolynomial_drop_dims | ( | __isl_take isl_qpolynomial * | qp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2898 of file isl_polynomial.c.
References domain_type(), isl_assert, isl_die, isl_dim_out, isl_dim_param, isl_dim_set, isl_error_invalid, isl_mat_drop_cols(), isl_poly_drop(), isl_qpolynomial_cow(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_space_drop_dims(), isl_space_is_named_or_nested(), n, offset, and type.
Referenced by bernstein_coefficients_cell(), drop_dims(), isl_qpolynomial_project_domain_on_params(), propagate_on_bound_pair(), and propagate_on_domain().
| void isl_qpolynomial_dump | ( | __isl_keep isl_qpolynomial * | qp | ) |
| __isl_give isl_val * isl_qpolynomial_eval | ( | __isl_take isl_qpolynomial * | qp, |
| __isl_take isl_point * | pnt | ||
| ) |
Definition at line 3280 of file isl_polynomial.c.
References eval_void(), isl_assert, isl_local_extend_point_vec(), isl_point_free(), isl_point_is_void(), isl_poly_copy(), isl_poly_eval(), isl_qpolynomial_free(), isl_space_is_equal(), and isl_vec_copy().
Referenced by isl_qpolynomial_fold_eval(), opt_fn(), and test_eval_2().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_alloc | ( | enum isl_fold | type, |
| __isl_take isl_qpolynomial * | qp | ||
| ) |
Definition at line 989 of file isl_fold.c.
References isl_qpolynomial_get_domain_space(), qpolynomial_fold_alloc(), and type.
Referenced by add_fold(), add_guarded_poly(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), and isl_qpolynomial_cst_bound().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_copy | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 1000 of file isl_fold.c.
References isl_qpolynomial_fold::ref.
Referenced by isl_pw_qpolynomial_fold_fold(), and isl_qpolynomial_fold_add_on_domain().
| void isl_qpolynomial_fold_dump | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_empty | ( | enum isl_fold | type, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 973 of file isl_fold.c.
References isl_space_get_ctx(), qpolynomial_fold_alloc(), and type.
Referenced by bernstein_coefficients_cell(), isl_qpolynomial_fold_mul_isl_int(), isl_qpolynomial_fold_scale_val(), and isl_qpolynomial_fold_zero_in_space().
| __isl_give isl_val * isl_qpolynomial_fold_eval | ( | __isl_take isl_qpolynomial_fold * | fold, |
| __isl_take isl_point * | pnt | ||
| ) |
Definition at line 1383 of file isl_fold.c.
References isl_assert, isl_fold_max, isl_fold_min, isl_point_copy(), isl_point_free(), isl_point_get_ctx(), isl_qpolynomial_eval(), isl_qpolynomial_fold_free(), isl_qpolynomial_fold_peek_list(), isl_space_is_equal(), isl_val_max(), isl_val_min(), isl_val_zero(), and n.
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_fold | ( | __isl_take isl_qpolynomial_fold * | fold1, |
| __isl_take isl_qpolynomial_fold * | fold2 | ||
| ) |
Definition at line 1081 of file isl_fold.c.
References isl_qpolynomial_fold_check_equal_space(), isl_qpolynomial_fold_check_equal_type(), isl_qpolynomial_fold_free(), isl_qpolynomial_fold_is_empty(), isl_qpolynomial_fold_restore_list(), and isl_qpolynomial_fold_take_list().
| isl_stat isl_qpolynomial_fold_foreach_qpolynomial | ( | __isl_keep isl_qpolynomial_fold * | fold, |
| isl_stat(*)(__isl_take isl_qpolynomial *qp, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 1695 of file isl_fold.c.
References fn, isl_qpolynomial_fold_peek_list(), and user.
Referenced by basic_guarded_fold().
| __isl_null isl_qpolynomial_fold * isl_qpolynomial_fold_free | ( | __isl_take isl_qpolynomial_fold * | fold | ) |
Definition at line 1035 of file isl_fold.c.
References isl_space_free().
Referenced by bernstein_coefficients_cell(), guarded_fold(), isl_qpolynomial_fold_add_on_domain(), isl_qpolynomial_fold_add_qpolynomial(), isl_qpolynomial_fold_eval(), isl_qpolynomial_fold_fold(), isl_qpolynomial_fold_fold_on_domain(), isl_qpolynomial_fold_lift(), isl_qpolynomial_fold_morph_domain(), isl_qpolynomial_fold_mul_isl_int(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_fold_restore_domain_space(), isl_qpolynomial_fold_restore_list(), isl_qpolynomial_fold_scale_down_val(), and isl_qpolynomial_fold_scale_val().
| isl_ctx * isl_qpolynomial_fold_get_ctx | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 74 of file isl_fold.c.
Referenced by isl_qpolynomial_fold_check_equal_space(), isl_qpolynomial_fold_check_equal_type(), isl_qpolynomial_fold_scale_down_val(), and isl_qpolynomial_fold_scale_val().
| __isl_give isl_space * isl_qpolynomial_fold_get_domain_space | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 87 of file isl_fold.c.
References isl_qpolynomial_fold_peek_domain_space(), and isl_space_copy().
Referenced by isl_qpolynomial_fold_dup(), isl_qpolynomial_fold_gist_params(), isl_qpolynomial_fold_scale_val(), isl_qpolynomial_fold_take_domain_space(), and print_body_pw_qpolynomial_fold().
| __isl_give isl_space * isl_qpolynomial_fold_get_space | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 147 of file isl_fold.c.
References isl_dim_out, isl_space_add_dims(), isl_space_copy(), and isl_space_from_domain().
| enum isl_fold isl_qpolynomial_fold_get_type | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 1632 of file isl_fold.c.
References isl_fold_error.
Referenced by guarded_fold(), isl_qpolynomial_fold_check_equal_type(), and isl_qpolynomial_fold_dup().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_gist | ( | __isl_take isl_qpolynomial_fold * | fold, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 901 of file isl_fold.c.
References context, gist, isl_qpolynomial_fold_restore_list(), isl_qpolynomial_fold_take_list(), and isl_set_free().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_gist_params | ( | __isl_take isl_qpolynomial_fold * | fold, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 914 of file isl_fold.c.
References context, isl_qpolynomial_fold_get_domain_space(), isl_qpolynomial_fold_gist(), isl_set_intersect_params(), and isl_set_universe().
| isl_bool isl_qpolynomial_fold_is_empty | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 1050 of file isl_fold.c.
References isl_bool_error, isl_bool_ok(), isl_qpolynomial_fold_peek_list(), and n.
Referenced by isl_qpolynomial_fold_add_on_domain(), isl_qpolynomial_fold_fold(), and isl_qpolynomial_fold_fold_on_domain().
| isl_bool isl_qpolynomial_fold_is_nan | ( | __isl_keep isl_qpolynomial_fold * | fold | ) |
Definition at line 1065 of file isl_fold.c.
References isl_bool_error, isl_bool_false, isl_qpolynomial_fold_peek_list(), isl_qpolynomial_is_nan(), and n.
Referenced by isl_qpolynomial_fold_fold_on_domain().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_move_dims | ( | __isl_take isl_qpolynomial_fold * | fold, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 1729 of file isl_fold.c.
References domain_type(), isl_fold_move_dims_data::dst_pos, isl_fold_move_dims_data::dst_type, isl_qpolynomial_fold_cow(), isl_qpolynomial_fold_restore_domain_space(), isl_qpolynomial_fold_restore_list(), isl_qpolynomial_fold_take_domain_space(), isl_qpolynomial_fold_take_list(), isl_space_move_dims(), move_dims(), n, isl_fold_move_dims_data::src_pos, and isl_fold_move_dims_data::src_type.
| isl_bool isl_qpolynomial_fold_plain_is_equal | ( | __isl_keep isl_qpolynomial_fold * | fold1, |
| __isl_keep isl_qpolynomial_fold * | fold2 | ||
| ) |
Definition at line 1355 of file isl_fold.c.
References equal, isl_bool_error, isl_bool_false, isl_qpolynomial_fold_peek_list(), isl_qpolynomial_list_plain_is_equal(), and qpolynomial_cmp().
| void isl_qpolynomial_fold_print | ( | __isl_keep isl_qpolynomial_fold * | fold, |
| FILE * | out, | ||
| unsigned | output_format | ||
| ) |
Definition at line 1970 of file isl_output.c.
References isl_assert, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_print_qpolynomial_fold(), isl_printer_to_file(), and p.
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_scale_down_val | ( | __isl_take isl_qpolynomial_fold * | fold, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 2162 of file isl_fold.c.
References isl_die, isl_error_invalid, isl_qpolynomial_fold_free(), isl_qpolynomial_fold_get_ctx(), isl_qpolynomial_fold_scale_val(), isl_val_free(), isl_val_get_ctx(), isl_val_inv(), isl_val_is_one(), isl_val_is_rat(), and isl_val_is_zero().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_scale_val | ( | __isl_take isl_qpolynomial_fold * | fold, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 2117 of file isl_fold.c.
References isl_die, isl_error_invalid, isl_fold_type_negate(), isl_qpolynomial_fold_cow(), isl_qpolynomial_fold_empty(), isl_qpolynomial_fold_free(), isl_qpolynomial_fold_get_ctx(), isl_qpolynomial_fold_get_domain_space(), isl_qpolynomial_fold_restore_list(), isl_qpolynomial_fold_take_list(), isl_val_free(), isl_val_is_neg(), isl_val_is_one(), isl_val_is_rat(), isl_val_is_zero(), and scale_val().
Referenced by isl_qpolynomial_fold_scale_down_val().
| __isl_give isl_qpolynomial_fold * isl_qpolynomial_fold_substitute | ( | __isl_take isl_qpolynomial_fold * | fold, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n, | ||
| __isl_keep isl_qpolynomial ** | subs | ||
| ) |
Definition at line 1788 of file isl_fold.c.
References isl_fold_substitute::first, isl_qpolynomial_fold_restore_list(), isl_qpolynomial_fold_take_list(), n, isl_fold_substitute::subs, substitute(), and type.
| isl_stat isl_qpolynomial_foreach_term | ( | __isl_keep isl_qpolynomial * | qp, |
| isl_stat(*)(__isl_take isl_term *term, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 4163 of file isl_polynomial.c.
References fn, isl_mat_copy(), isl_poly_foreach_term(), isl_space_copy(), isl_stat_error, isl_stat_ok, isl_term_alloc(), isl_term_free(), and user.
Referenced by isl_qpolynomial_terms_of_sign().
| __isl_null isl_qpolynomial * isl_qpolynomial_free | ( | __isl_take isl_qpolynomial * | qp | ) |
Definition at line 1363 of file isl_polynomial.c.
References isl_mat_free(), isl_poly_free(), and isl_space_free().
Referenced by bernstein_coefficients_base(), bernstein_coefficients_cell(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), compressed_guarded_poly_bound(), eval_void(), extract_coefficients(), guarded_poly_bound(), guarded_qp(), isl_basic_map_from_qpolynomial(), isl_qpolynomial_add(), isl_qpolynomial_add_dims(), isl_qpolynomial_add_isl_int(), isl_qpolynomial_align_params(), isl_qpolynomial_alloc(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_coeff(), isl_qpolynomial_drop_dims(), isl_qpolynomial_dup(), isl_qpolynomial_eval(), isl_qpolynomial_fold_add_qpolynomial(), isl_qpolynomial_from_aff(), isl_qpolynomial_from_term(), isl_qpolynomial_homogenize(), isl_qpolynomial_insert_dims(), isl_qpolynomial_lift(), isl_qpolynomial_morph_domain(), isl_qpolynomial_move_dims(), isl_qpolynomial_mul(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_pow(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_realign_domain(), isl_qpolynomial_reset_domain_space(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_qpolynomial_set_dim_name(), isl_qpolynomial_sign(), isl_qpolynomial_substitute(), isl_qpolynomial_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), isl_qpolynomial_terms_of_sign(), isl_qpolynomial_val_on_domain(), make_divs_pos(), merge_lists(), monotonicity(), plug_in_at_pos(), print_qpolynomial_c(), propagate_on_domain(), qpolynomial_bound_on_domain_range(), qpolynomial_fold_covers_on_domain(), reduce_divs(), remove_redundant_divs(), set_div(), sort_divs(), split_div(), split_periods(), substitute_div(), substitute_non_divs(), to_polynomial_on_orthant(), unwrapped_guarded_poly_bound(), and with_merged_divs().
| __isl_give isl_qpolynomial * isl_qpolynomial_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 3501 of file isl_polynomial.c.
References aff, isl_qpolynomial::div, isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_mat_copy(), isl_mat_cow(), isl_mat_free(), isl_poly_from_affine(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), poly, reduce_divs(), and remove_redundant_divs().
Referenced by isl_pw_qpolynomial_from_pw_aff(), isl_qpolynomial_from_constraint(), and test_eval_2().
| __isl_give isl_qpolynomial * isl_qpolynomial_from_constraint | ( | __isl_take isl_constraint * | c, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 3559 of file isl_polynomial.c.
References aff, isl_constraint_free(), isl_constraint_get_bound(), isl_qpolynomial_from_aff(), pos(), and type.
Referenced by bound2poly().
| __isl_give isl_qpolynomial * isl_qpolynomial_from_term | ( | __isl_take isl_term * | term | ) |
Definition at line 4182 of file isl_polynomial.c.
References isl_qpolynomial::div, isl_dim_all, isl_mat_copy(), isl_mat_free(), isl_poly_mul(), isl_poly_rat_cst(), isl_poly_var_pow(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), isl_space_copy(), isl_term_dim(), isl_term_free(), n, and poly.
Referenced by collect_fixed_sign_terms().
| __isl_give isl_val * isl_qpolynomial_get_constant_val | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 2036 of file isl_polynomial.c.
References isl_poly_get_constant_val().
Referenced by isl_qpolynomial_opt_on_domain().
| isl_ctx * isl_qpolynomial_get_ctx | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 444 of file isl_polynomial.c.
Referenced by bernstein_coefficients_cell(), extract_coefficients(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_get_den(), isl_qpolynomial_morph_domain(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_qpolynomial_set_dim_name(), monotonicity(), reduce_divs(), remove_redundant_divs(), and substitute_div().
| __isl_give isl_space * isl_qpolynomial_get_domain_space | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 459 of file isl_polynomial.c.
References isl_qpolynomial_peek_domain_space(), and isl_space_copy().
Referenced by bernstein_coefficients_cell(), extract_coefficients(), guarded_poly_bound(), isl_qpolynomial_fold_alloc(), isl_qpolynomial_get_domain_local_space(), isl_qpolynomial_gist_params(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_scale_val(), isl_qpolynomial_terms_of_sign(), monotonicity(), plug_in_at_pos(), print_body_pw_qpolynomial(), and propagate_on_bound_pair().
| __isl_give isl_space * isl_qpolynomial_get_space | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 491 of file isl_polynomial.c.
References isl_dim_out, isl_space_add_dims(), isl_space_copy(), and isl_space_from_domain().
Referenced by has_sign(), and isl_basic_map_from_qpolynomial().
| __isl_give isl_qpolynomial * isl_qpolynomial_gist | ( | __isl_take isl_qpolynomial * | qp, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 3060 of file isl_polynomial.c.
References aff, context, isl_local_space_lift_set(), isl_qpolynomial_get_domain_local_space(), isl_qpolynomial_substitute_equalities_lifted(), and isl_set_affine_hull().
Referenced by gist(), isl_qpolynomial_add_on_domain(), and isl_qpolynomial_gist_params().
| __isl_give isl_qpolynomial * isl_qpolynomial_gist_params | ( | __isl_take isl_qpolynomial * | qp, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 3073 of file isl_polynomial.c.
References context, isl_qpolynomial_get_domain_space(), isl_qpolynomial_gist(), isl_set_intersect_params(), and isl_set_universe().
| __isl_give isl_qpolynomial * isl_qpolynomial_homogenize | ( | __isl_take isl_qpolynomial * | poly | ) |
Definition at line 3864 of file isl_polynomial.c.
References isl_dim_in, isl_dim_set, isl_poly_homogenize(), isl_qpolynomial_cow(), isl_qpolynomial_degree(), isl_qpolynomial_free(), isl_qpolynomial_insert_dims(), isl_space_dim(), isl_space_offset(), and poly.
Referenced by bernstein_coefficients_base().
| __isl_give isl_qpolynomial * isl_qpolynomial_infty_on_domain | ( | __isl_take isl_space * | domain | ) |
Definition at line 1941 of file isl_polynomial.c.
References domain, isl_poly_infty(), and isl_qpolynomial_alloc().
Referenced by constant_on_domain(), read_factor(), and signed_infty().
| __isl_give isl_qpolynomial * isl_qpolynomial_insert_dims | ( | __isl_take isl_qpolynomial * | qp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 3322 of file isl_polynomial.c.
References domain_type(), expand(), isl_alloc_array, isl_die, isl_dim_out, isl_error_invalid, isl_mat_insert_zero_cols(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_space_insert_dims(), isl_space_is_named_or_nested(), n, pos(), total(), and type.
Referenced by insert_dims(), isl_qpolynomial_add_dims(), and isl_qpolynomial_homogenize().
| isl_bool isl_qpolynomial_involves_dims | ( | __isl_keep isl_qpolynomial * | qp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by not_involved(), and plug_in_at_pos().
| isl_bool isl_qpolynomial_is_infty | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 610 of file isl_polynomial.c.
References isl_bool_error, and isl_poly_is_infty().
Referenced by plug_in_at_pos().
| isl_bool isl_qpolynomial_is_nan | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 605 of file isl_polynomial.c.
References isl_bool_error, and isl_poly_is_nan().
Referenced by isl_qpolynomial_cst_sign(), isl_qpolynomial_fold_is_nan(), and isl_qpolynomial_plain_is_equal().
| isl_bool isl_qpolynomial_is_neginfty | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 615 of file isl_polynomial.c.
References isl_bool_error, and isl_poly_is_neginfty().
Referenced by plug_in_at_pos().
| isl_bool isl_qpolynomial_is_zero | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 595 of file isl_polynomial.c.
References isl_bool_error, and isl_poly_is_zero().
Referenced by isl_qpolynomial_fold_add_qpolynomial(), and isl_qpolynomial_sign().
| __isl_give isl_qpolynomial * isl_qpolynomial_move_dims | ( | __isl_take isl_qpolynomial * | qp, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 3421 of file isl_polynomial.c.
References isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_mat_move_cols(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_space_is_named_or_nested(), isl_space_move_dims(), n, pos(), reorder(), reordering_move(), and sort_divs().
Referenced by guarded_poly_bound(), has_sign(), and move_dims().
| __isl_give isl_qpolynomial * isl_qpolynomial_mul | ( | __isl_take isl_qpolynomial * | qp1, |
| __isl_take isl_qpolynomial * | qp2 | ||
| ) |
Definition at line 1854 of file isl_polynomial.c.
References compatible_divs(), isl_poly_copy(), isl_poly_mul(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_mul(), and with_merged_divs().
Referenced by bernstein_coefficients_cell(), extract_coefficients(), isl_pw_qpolynomial_mul(), isl_qpolynomial_mul(), and isl_qpolynomial_sign().
| __isl_give isl_qpolynomial * isl_qpolynomial_nan_on_domain | ( | __isl_take isl_space * | domain | ) |
Definition at line 1957 of file isl_polynomial.c.
References domain, isl_poly_nan(), and isl_qpolynomial_alloc().
Referenced by read_factor().
| __isl_give isl_qpolynomial * isl_qpolynomial_neg | ( | __isl_take isl_qpolynomial * | qp | ) |
Definition at line 1749 of file isl_polynomial.c.
References isl_qpolynomial_mul_isl_int().
Referenced by isl_qpolynomial_sub().
| __isl_give isl_qpolynomial * isl_qpolynomial_neginfty_on_domain | ( | __isl_take isl_space * | domain | ) |
Definition at line 1949 of file isl_polynomial.c.
References domain, isl_poly_neginfty(), and isl_qpolynomial_alloc().
Referenced by signed_infty().
| __isl_give isl_qpolynomial * isl_qpolynomial_one_on_domain | ( | __isl_take isl_space * | domain | ) |
Definition at line 1933 of file isl_polynomial.c.
References domain, isl_poly_one(), and isl_qpolynomial_alloc().
Referenced by compressed_multiplicative_call(), and constant_on_domain().
| isl_bool isl_qpolynomial_plain_is_equal | ( | __isl_keep isl_qpolynomial * | qp1, |
| __isl_keep isl_qpolynomial * | qp2 | ||
| ) |
Definition at line 2192 of file isl_polynomial.c.
References equal, isl_bool_error, isl_bool_false, isl_mat_is_equal(), isl_poly_is_equal(), isl_qpolynomial_is_nan(), and isl_space_is_equal().
Referenced by isl_qpolynomial_list_plain_is_equal(), and merge_lists().
| __isl_give isl_qpolynomial * isl_qpolynomial_pow | ( | __isl_take isl_qpolynomial * | qp, |
| unsigned | power | ||
| ) |
Definition at line 1886 of file isl_polynomial.c.
References isl_poly_pow(), isl_qpolynomial_cow(), isl_qpolynomial_free(), and power().
Referenced by isl_pw_qpolynomial_pow().
| void isl_qpolynomial_print | ( | __isl_keep isl_qpolynomial * | qp, |
| FILE * | out, | ||
| unsigned | output_format | ||
| ) |
Definition at line 1928 of file isl_output.c.
References isl_assert, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_print_qpolynomial(), isl_printer_to_file(), and p.
| __isl_give isl_qpolynomial * isl_qpolynomial_project_domain_on_params | ( | __isl_take isl_qpolynomial * | qp | ) |
Definition at line 2949 of file isl_polynomial.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_qpolynomial_dim(), isl_qpolynomial_drop_dims(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_involves_dims(), isl_qpolynomial_reset_domain_space(), isl_space_params(), and n.
Referenced by add_guarded_poly(), and extract_coefficients().
| __isl_give isl_qpolynomial * isl_qpolynomial_scale_down_val | ( | __isl_take isl_qpolynomial * | qp, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1834 of file isl_polynomial.c.
References isl_die, isl_error_invalid, isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_scale_val(), isl_val_free(), isl_val_get_ctx(), isl_val_inv(), isl_val_is_rat(), and isl_val_is_zero().
| __isl_give isl_qpolynomial * isl_qpolynomial_scale_val | ( | __isl_take isl_qpolynomial * | qp, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1792 of file isl_polynomial.c.
References isl_die, isl_error_invalid, isl_poly_scale_val(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_zero_on_domain(), isl_val_free(), isl_val_is_one(), isl_val_is_rat(), and isl_val_is_zero().
Referenced by isl_qpolynomial_scale_down_val(), print_qpolynomial_c(), and scale_val().
| __isl_give isl_qpolynomial * isl_qpolynomial_set_dim_name | ( | __isl_take isl_qpolynomial * | qp, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 2877 of file isl_polynomial.c.
References domain_type(), isl_die, isl_dim_out, isl_error_invalid, isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_space_set_dim_name(), pos(), and type.
Referenced by set_dim_name().
| int isl_qpolynomial_sgn | ( | __isl_keep isl_qpolynomial * | qp | ) |
Definition at line 620 of file isl_polynomial.c.
References isl_poly_sgn().
| __isl_give isl_qpolynomial * isl_qpolynomial_sub | ( | __isl_take isl_qpolynomial * | qp1, |
| __isl_take isl_qpolynomial * | qp2 | ||
| ) |
Definition at line 1722 of file isl_polynomial.c.
References isl_qpolynomial_add(), and isl_qpolynomial_neg().
Referenced by merge_lists(), monotonicity(), and qpolynomial_fold_covers_on_domain().
| __isl_give isl_qpolynomial * isl_qpolynomial_substitute | ( | __isl_take isl_qpolynomial * | qp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n, | ||
| __isl_keep isl_qpolynomial ** | subs | ||
| ) |
Definition at line 3572 of file isl_polynomial.c.
References domain_type(), isl_alloc_array, isl_assert, isl_die, isl_dim_out, isl_error_invalid, isl_poly_subs(), isl_qpolynomial_cow(), isl_qpolynomial_free(), n, poly, pos(), and type.
Referenced by bernstein_coefficients_cell(), monotonicity(), plug_in_at_pos(), and substitute().
| __isl_give isl_qpolynomial * isl_qpolynomial_val_on_domain | ( | __isl_take isl_space * | space, |
| __isl_take isl_val * | val | ||
| ) |
Definition at line 2639 of file isl_polynomial.c.
References domain, isl_int_set, isl_poly_as_cst(), isl_qpolynomial_free(), isl_qpolynomial_zero_on_domain(), isl_val_free(), isl_qpolynomial::poly, and val.
| __isl_give isl_qpolynomial * isl_qpolynomial_var_on_domain | ( | __isl_take isl_space * | domain, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 2270 of file isl_polynomial.c.
References domain, isl_ctx::error, isl_qpolynomial_var_pow_on_domain(), isl_space_check_is_set(), isl_space_check_range(), isl_space_free(), isl_space_offset(), pos(), and type.
Referenced by bernstein_coefficients_cell(), and monotonicity().
| __isl_give isl_qpolynomial * isl_qpolynomial_zero_on_domain | ( | __isl_take isl_space * | domain | ) |
Definition at line 1925 of file isl_polynomial.c.
References domain, isl_poly_zero(), and isl_qpolynomial_alloc().
Referenced by bernstein_coefficients_cell(), constant_on_domain(), isl_qpolynomial_cst_on_domain(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_rat_cst_on_domain(), isl_qpolynomial_scale_val(), isl_qpolynomial_terms_of_sign(), isl_qpolynomial_val_on_domain(), and isl_qpolynomial_zero_in_space().
| __isl_give isl_pw_qpolynomial_fold * isl_set_apply_pw_qpolynomial_fold | ( | __isl_take isl_set * | set, |
| __isl_take isl_pw_qpolynomial_fold * | pwf, | ||
| isl_bool * | tight | ||
| ) |
Definition at line 1928 of file isl_fold.c.
References isl_map_apply_pw_qpolynomial_fold(), set, and tight.
| __isl_give isl_term * isl_term_copy | ( | __isl_keep isl_term * | term | ) |
Definition at line 3924 of file isl_polynomial.c.
References isl_term::ref.
Referenced by isl_poly_foreach_term().
| isl_size isl_term_dim | ( | __isl_keep isl_term * | term, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 3984 of file isl_polynomial.c.
References isl_qpolynomial::dim, isl_dim_all, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_size_error, isl_space_dim(), and type.
Referenced by collect_fixed_sign_terms(), isl_qpolynomial_from_term(), and isl_term_dup().
| __isl_null isl_term * isl_term_free | ( | __isl_take isl_term * | term | ) |
Definition at line 3967 of file isl_polynomial.c.
References isl_int_clear, isl_mat_free(), and isl_space_free().
Referenced by collect_fixed_sign_terms(), isl_poly_foreach_term(), isl_qpolynomial_foreach_term(), and isl_qpolynomial_from_term().
| __isl_give isl_val * isl_term_get_coefficient_val | ( | __isl_keep isl_term * | term | ) |
Definition at line 4047 of file isl_polynomial.c.
References isl_term_get_ctx(), and isl_val_rat_from_isl_int().
| isl_ctx * isl_term_get_ctx | ( | __isl_keep isl_term * | term | ) |
Definition at line 4033 of file isl_polynomial.c.
Referenced by isl_poly_foreach_term(), isl_term_get_coefficient_val(), and isl_term_offset().
| __isl_give isl_aff * isl_term_get_div | ( | __isl_keep isl_term * | term, |
| unsigned | pos | ||
| ) |
Definition at line 4075 of file isl_polynomial.c.
References aff, isl_aff_alloc(), isl_aff_normalize(), isl_dim_div, isl_local_space_alloc_div(), isl_mat_copy(), isl_seq_cpy(), isl_space_copy(), and pos().
| isl_size isl_term_get_exp | ( | __isl_keep isl_term * | term, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Referenced by collect_fixed_sign_terms().
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_map_apply_union_pw_qpolynomial_fold | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_pw_qpolynomial_fold * | upwf, | ||
| isl_bool * | tight | ||
| ) |
Definition at line 1982 of file isl_fold.c.
References isl_bool_false, isl_bool_true, isl_union_map_align_params(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_pw_qpolynomial_fold_align_params(), isl_union_pw_qpolynomial_fold_free(), isl_union_pw_qpolynomial_fold_get_space(), isl_union_pw_qpolynomial_fold_get_type(), isl_union_pw_qpolynomial_fold_zero(), map_apply(), isl_apply_fold_data::res, isl_apply_fold_data::tight, tight, type, and isl_apply_fold_data::upwf.
Referenced by isl_union_set_apply_union_pw_qpolynomial_fold().
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_add | ( | __isl_take isl_union_pw_qpolynomial * | upwqp1, |
| __isl_take isl_union_pw_qpolynomial * | upwqp2 | ||
| ) |
Referenced by isl_obj_union_pw_qp_add(), and test_union_pw().
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_add_pw_qpolynomial | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_pw_qpolynomial * | pwqp | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_align_params | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_space * | model | ||
| ) |
Referenced by isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial().
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_bound | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| enum isl_fold | type, | ||
| isl_bool * | tight | ||
| ) |
Definition at line 399 of file isl_bound.c.
References bound_pw(), isl_bool_false, isl_union_pw_qpolynomial_fold_free(), isl_union_pw_qpolynomial_fold_zero(), isl_union_pw_qpolynomial_foreach_pw_qpolynomial(), isl_union_pw_qpolynomial_free(), isl_union_pw_qpolynomial_get_space(), isl_union_bound_data::res, isl_union_bound_data::tight, tight, and type.
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_coalesce | ( | __isl_take isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_copy | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
Referenced by isl_obj_union_pw_qp_copy(), and test_union_pw().
| isl_size isl_union_pw_qpolynomial_dim | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp, |
| enum isl_dim_type | type | ||
| ) |
| __isl_export __isl_give isl_union_set * isl_union_pw_qpolynomial_domain | ( | __isl_take isl_union_pw_qpolynomial * | upwqp | ) |
Referenced by test_union_pw().
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_drop_dims | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_export __isl_give isl_val * isl_union_pw_qpolynomial_eval | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_point * | pnt | ||
| ) |
Referenced by test_eval_1().
| isl_bool isl_union_pw_qpolynomial_every_pw_qpolynomial | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp, |
| isl_bool(*)(__isl_keep isl_pw_qpolynomial *pwqp, void *user) | test, | ||
| void * | user | ||
| ) |
| __isl_give isl_pw_qpolynomial * isl_union_pw_qpolynomial_extract_pw_qpolynomial | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_space * | space | ||
| ) |
| int isl_union_pw_qpolynomial_find_dim_by_name | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_pw_qpolynomial * | upwqp | ||
| ) |
Definition at line 1837 of file isl_fold.c.
References add_pwqp(), isl_union_pw_qpolynomial_align_params(), isl_union_pw_qpolynomial_fold_align_params(), isl_union_pw_qpolynomial_fold_free(), isl_union_pw_qpolynomial_fold_get_space(), isl_union_pw_qpolynomial_foreach_pw_qpolynomial(), isl_union_pw_qpolynomial_free(), and isl_union_pw_qpolynomial_get_space().
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_align_params | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_space * | model | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_coalesce | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf | ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_copy | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
Referenced by isl_obj_union_pw_qpf_copy().
| isl_size isl_union_pw_qpolynomial_fold_dim | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf, |
| enum isl_dim_type | type | ||
| ) |
| __isl_give isl_union_set * isl_union_pw_qpolynomial_fold_domain | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf | ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_drop_dims | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_val * isl_union_pw_qpolynomial_fold_eval | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_point * | pnt | ||
| ) |
| isl_bool isl_union_pw_qpolynomial_fold_every_pw_qpolynomial_fold | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf, |
| isl_bool(*)(__isl_keep isl_pw_qpolynomial_fold *pwf, void *user) | test, | ||
| void * | user | ||
| ) |
| __isl_give isl_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_extract_pw_qpolynomial_fold | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_space * | space | ||
| ) |
| int isl_union_pw_qpolynomial_fold_find_dim_by_name | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_fold | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf1, |
| __isl_take isl_union_pw_qpolynomial_fold * | upwf2 | ||
| ) |
Definition at line 1232 of file isl_fold.c.
References fold_part(), isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold(), and isl_union_pw_qpolynomial_fold_free().
Referenced by isl_obj_union_pw_qpf_add().
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwqp, |
| __isl_take isl_pw_qpolynomial_fold * | pwqp | ||
| ) |
Definition at line 1188 of file isl_fold.c.
References isl_hash_table_entry::data, isl_pw_qpolynomial_fold_copy(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_free(), isl_space_check_equal_params(), and isl_union_pw_qpolynomial_fold_free().
Referenced by bound_pw(), fold_part(), and pw_qpolynomial_fold_apply().
| isl_stat isl_union_pw_qpolynomial_fold_foreach_pw_qpolynomial_fold | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf, |
| isl_stat(*)(__isl_take isl_pw_qpolynomial_fold *pwf, void *user) | fn, | ||
| void * | user | ||
| ) |
Referenced by isl_union_pw_qpolynomial_fold_fold(), and map_apply().
| __isl_null isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_free | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf | ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold | ( | __isl_take isl_pw_qpolynomial_fold * | pwf | ) |
Referenced by to_union().
| isl_ctx * isl_union_pw_qpolynomial_fold_get_ctx | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
| __isl_give isl_pw_qpolynomial_fold_list * isl_union_pw_qpolynomial_fold_get_pw_qpolynomial_fold_list | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
| __isl_give isl_space * isl_union_pw_qpolynomial_fold_get_space | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
| enum isl_fold isl_union_pw_qpolynomial_fold_get_type | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
Definition at line 1649 of file isl_fold.c.
References isl_fold_error.
Referenced by isl_union_map_apply_union_pw_qpolynomial_fold().
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_gist | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | context | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_gist_params | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_space | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_space * | space | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_union_set | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_wrapped_domain | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_domain_wrapped_range | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_intersect_params | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_set * | set | ||
| ) |
| isl_bool isl_union_pw_qpolynomial_fold_involves_nan | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
| isl_size isl_union_pw_qpolynomial_fold_n_pw_qpolynomial_fold | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf | ) |
| isl_bool isl_union_pw_qpolynomial_fold_plain_is_equal | ( | __isl_keep isl_union_pw_qpolynomial_fold * | upwf1, |
| __isl_keep isl_union_pw_qpolynomial_fold * | upwf2 | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_reset_user | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf | ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_scale_down_val | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_scale_val | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_set_dim_name | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_subtract_domain | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_subtract_domain_space | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_space * | space | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_subtract_domain_union_set | ( | __isl_take isl_union_pw_qpolynomial_fold * | upwf, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_zero | ( | __isl_take isl_space * | space, |
| enum isl_fold | type | ||
| ) |
Referenced by isl_union_map_apply_union_pw_qpolynomial_fold(), and isl_union_pw_qpolynomial_bound().
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_zero_ctx | ( | isl_ctx * | ctx, |
| enum isl_fold | type | ||
| ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_fold_zero_space | ( | __isl_take isl_space * | space, |
| enum isl_fold | type | ||
| ) |
| isl_stat isl_union_pw_qpolynomial_foreach_pw_qpolynomial | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp, |
| isl_stat(*)(__isl_take isl_pw_qpolynomial *pwqp, void *user) | fn, | ||
| void * | user | ||
| ) |
| __isl_null isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_free | ( | __isl_take isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_from_pw_qpolynomial | ( | __isl_take isl_pw_qpolynomial * | pwqp | ) |
Referenced by isl_stream_read_union_pw_qpolynomial(), and to_union().
| isl_ctx * isl_union_pw_qpolynomial_get_ctx | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_pw_qpolynomial_list * isl_union_pw_qpolynomial_get_pw_qpolynomial_list | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_space * isl_union_pw_qpolynomial_get_space | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_gist | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_union_set * | context | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_gist_params | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by test_union_pw().
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_space | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_space * | space | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_union_set | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_wrapped_domain | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_domain_wrapped_range | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_intersect_params | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_set * | set | ||
| ) |
| isl_bool isl_union_pw_qpolynomial_involves_nan | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_mul | ( | __isl_take isl_union_pw_qpolynomial * | upwqp1, |
| __isl_take isl_union_pw_qpolynomial * | upwqp2 | ||
| ) |
Definition at line 4450 of file isl_polynomial.c.
References isl_pw_qpolynomial_mul().
| isl_size isl_union_pw_qpolynomial_n_pw_qpolynomial | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_neg | ( | __isl_take isl_union_pw_qpolynomial * | upwqp | ) |
| isl_bool isl_union_pw_qpolynomial_plain_is_equal | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp1, |
| __isl_keep isl_union_pw_qpolynomial * | upwqp2 | ||
| ) |
Referenced by test_union_pw().
| __isl_constructor __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by test_eval_1(), test_union_pw(), and test_union_pw_op().
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_reset_user | ( | __isl_take isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_scale_down_val | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_scale_val | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| __isl_take isl_val * | v | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_set_dim_name | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_sub | ( | __isl_take isl_union_pw_qpolynomial * | upwqp1, |
| __isl_take isl_union_pw_qpolynomial * | upwqp2 | ||
| ) |
Referenced by test_union_pw().
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_subtract_domain | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_subtract_domain_space | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_space * | space | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_subtract_domain_union_set | ( | __isl_take isl_union_pw_qpolynomial * | upwpq, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_to_polynomial | ( | __isl_take isl_union_pw_qpolynomial * | upwqp, |
| int | sign | ||
| ) |
Definition at line 5173 of file isl_polynomial.c.
References poly_entry(), and isl_to_poly_data::sign.
| __isl_give char * isl_union_pw_qpolynomial_to_str | ( | __isl_keep isl_union_pw_qpolynomial * | upwqp | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_zero | ( | __isl_take isl_space * | space | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_zero_ctx | ( | isl_ctx * | ctx | ) |
| __isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_zero_space | ( | __isl_take isl_space * | space | ) |
| __isl_give isl_union_pw_qpolynomial_fold * isl_union_set_apply_union_pw_qpolynomial_fold | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_union_pw_qpolynomial_fold * | upwf, | ||
| isl_bool * | tight | ||
| ) |
Definition at line 2017 of file isl_fold.c.
References isl_union_map_apply_union_pw_qpolynomial_fold(), tight, and isl_apply_fold_data::upwf.
1.9.6