#include <isl_int.h>#include <isl/val.h>#include <isl/local_space.h>#include <isl_reordering.h>#include <isl_list_templ.h>#include <isl_multi_templ.h>Go to the source code of this file.
Classes | |
| struct | isl_val |
Macros | |
| #define | EL isl_val |
| #define | BASE val |
Macro Definition Documentation
◆ BASE
| #define BASE val |
Definition at line 57 of file isl_val_private.h.
◆ EL
| #define EL isl_val |
Definition at line 26 of file isl_val_private.h.
Function Documentation
◆ isl_val_alloc()
| __isl_give isl_val * isl_val_alloc | ( | isl_ctx * | ctx | ) |
Definition at line 22 of file isl_val.c.
References __isl_give, isl_val::ctx, isl_val::d, isl_alloc_type, isl_ctx_ref(), isl_int_init, isl_val::n, and isl_val::ref.
Referenced by basic_set_opt_lp(), isl_basic_map_plain_get_val_if_fixed(), isl_basic_set_opt_val(), isl_map_plain_get_val_if_fixed(), isl_set_dim_residue_class_val(), isl_set_opt_val(), isl_val_dup(), isl_val_from_gmp(), isl_val_gcdext(), isl_val_infty(), isl_val_int_from_chunks(), isl_val_int_from_gmp(), isl_val_int_from_isl_int(), isl_val_int_from_si(), isl_val_int_from_ui(), isl_val_nan(), isl_val_neginfty(), and isl_val_rat_from_isl_int().
◆ isl_val_cow()
| __isl_give isl_val * isl_val_cow | ( | __isl_take isl_val * | val | ) |
Definition at line 250 of file isl_val.c.
References __isl_give, __isl_take, isl_val_dup(), and val.
Referenced by isl_set_count_val(), isl_val_add(), isl_val_add_ui(), isl_val_ceil(), isl_val_div(), isl_val_div_ui(), isl_val_floor(), isl_val_gcd(), isl_val_gcdext(), isl_val_inv(), isl_val_mod(), isl_val_mul(), isl_val_mul_ui(), isl_val_neg(), isl_val_pow2(), isl_val_set_nan(), isl_val_set_si(), isl_val_sub(), isl_val_sub_ui(), and isl_val_trunc().
◆ isl_val_get_num_isl_int()
| isl_stat isl_val_get_num_isl_int | ( | __isl_keep isl_val * | v, |
| isl_int * | n ) |
Definition at line 299 of file isl_val.c.
References __isl_keep, isl_die, isl_error_invalid, isl_int_set, isl_stat_error, isl_stat_ok, isl_val_get_ctx(), isl_val_is_rat(), and n.
Referenced by shift_if_cst_int().
◆ isl_val_insert_dims()
| __isl_give isl_val * isl_val_insert_dims | ( | __isl_take isl_val * | v, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
Definition at line 1535 of file isl_val.c.
References __isl_give, __isl_take, n, and type.
◆ isl_val_int_from_isl_int()
| __isl_give isl_val * isl_val_int_from_isl_int | ( | isl_ctx * | ctx, |
| isl_int | n ) |
Definition at line 185 of file isl_val.c.
References __isl_give, isl_val::d, isl_int_set, isl_int_set_si, isl_val_alloc(), isl_val::n, and n.
Referenced by extract_aff_from_equality(), isl_aff_get_denominator_val(), isl_constraint_get_coefficient_val(), isl_constraint_get_constant_val(), isl_mat_get_element_val(), isl_stream_read_val(), isl_token_get_val(), isl_val_get_den_val(), isl_vec_get_element_val(), and obj_read().
◆ isl_val_involves_dims()
| isl_bool isl_val_involves_dims | ( | __isl_keep isl_val * | v, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
Definition at line 1519 of file isl_val.c.
References __isl_keep, isl_bool_error, isl_bool_false, n, and type.
◆ isl_val_mod_val()
| __isl_give isl_val * isl_val_mod_val | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 ) |
Definition at line 1008 of file isl_val.c.
References __isl_give, __isl_take, and isl_val_mod().
◆ isl_val_normalize()
| __isl_give isl_val * isl_val_normalize | ( | __isl_take isl_val * | v | ) |
Definition at line 385 of file isl_val.c.
References __isl_give, __isl_take, isl_int_divexact, isl_int_gcd, isl_int_is_neg, isl_int_is_one, isl_int_neg, isl_val_get_ctx(), isl_val_is_int(), isl_val_is_rat(), and isl_ctx::normalize_gcd.
Referenced by basic_set_opt_lp(), convert_lp_result(), eval(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_point_get_coordinate_val(), isl_stream_read_val(), isl_val_add(), isl_val_div(), isl_val_div_ui(), isl_val_from_gmp(), isl_val_inv(), isl_val_mul(), isl_val_mul_ui(), and isl_val_sub().
◆ isl_val_plain_is_equal()
| isl_bool isl_val_plain_is_equal | ( | __isl_keep isl_val * | val1, |
| __isl_keep isl_val * | val2 ) |
Definition at line 1505 of file isl_val.c.
References __isl_keep, and isl_val_eq().
◆ isl_val_rat_from_isl_int()
| __isl_give isl_val * isl_val_rat_from_isl_int | ( | isl_ctx * | ctx, |
| isl_int | n, | ||
| isl_int | d ) |
Definition at line 202 of file isl_val.c.
References __isl_give, isl_val::d, isl_int_set, isl_val_alloc(), isl_val::n, and n.
Referenced by eval(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_point_get_coordinate_val(), isl_poly_eval(), isl_poly_get_constant_val(), isl_stream_read_val(), and isl_term_get_coefficient_val().
◆ isl_val_scale_down_val()
| __isl_give isl_val * isl_val_scale_down_val | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 ) |
Definition at line 956 of file isl_val.c.
References __isl_give, __isl_take, and isl_val_div().
◆ isl_val_scale_val()
| __isl_give isl_val * isl_val_scale_val | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 ) |
Definition at line 843 of file isl_val.c.
References __isl_give, __isl_take, and isl_val_mul().
◆ isl_val_set_dim_name()
| __isl_give isl_val * isl_val_set_dim_name | ( | __isl_take isl_val * | v, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s ) |
Definition at line 1548 of file isl_val.c.
References __isl_give, __isl_take, pos(), and type.
Generated on for Polly by
1.14.0