Polly 22.0.0git
isl_int.h File Reference
#include <isl/hash.h>
#include <isl/printer.h>
#include <string.h>
#include <isl_config.h>

Go to the source code of this file.

Macros

#define ISL_DEPRECATED_INT_H
#define isl_int_is_zero(i)
#define isl_int_is_one(i)
#define isl_int_is_negone(i)
#define isl_int_is_pos(i)
#define isl_int_is_neg(i)
#define isl_int_is_nonpos(i)
#define isl_int_is_nonneg(i)
#define isl_int_print(out, i, width)

Functions

__isl_give isl_printerisl_printer_print_isl_int (__isl_take isl_printer *p, isl_int i)

Macro Definition Documentation

◆ ISL_DEPRECATED_INT_H

#define ISL_DEPRECATED_INT_H

Definition at line 12 of file isl_int.h.

◆ isl_int_is_neg

#define isl_int_is_neg ( i)
Value:
(isl_int_sgn(i) < 0)
#define isl_int_sgn(i)
Definition isl_int_gmp.h:54

Definition at line 35 of file isl_int.h.

Referenced by add_gbr_ineq(), at_least_zero(), check_table(), compute_max_coefficient(), convex_hull_1d(), div_find_coalesce(), div_is_nonneg(), drop_more_redundant_divs(), extract_aff_from_equality(), first_neg(), FN(), FN(), foreach_bound_pair(), gbr_init_shifted(), interval_sample(), is_bound(), is_obviously_neg(), is_obviously_nonneg(), isl_aff_div(), isl_basic_map_contains(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_eliminate_vars(), isl_basic_map_gauss5(), isl_basic_map_normalize_constraints(), isl_basic_map_plain_is_disjoint(), isl_basic_set_compare_at(), isl_basic_set_foreach_bound_pair(), isl_constraint_get_bound(), isl_constraint_is_upper_bound(), isl_int_gcdext(), isl_map_solve_lp(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_reverse_gauss(), isl_mat_right_inverse(), isl_poly_is_neginfty(), isl_printer_print_val(), isl_qpolynomial_aff_sign(), isl_qpolynomial_fold_mul_isl_int(), isl_tab_add_valid_eq(), isl_tab_ineq_type(), isl_tab_row_is_redundant(), isl_tab_shift_var(), isl_val_is_neg(), isl_val_is_neginfty(), isl_val_is_negone(), isl_val_lt(), isl_val_normalize(), lexmin_col_pair(), max_is_manifestly_unbounded(), node_add_coefficient_constraints(), obj_read(), poly_print_cst(), print_affine_of_len(), print_constraints(), print_ls_partial_affine_c(), report_conflict(), row_at_most_neg_one(), row_is_neg(), set_smallest_upper_bound(), sign_of_min(), uset_is_bound(), and vec_sum_of_neg().

◆ isl_int_is_negone

◆ isl_int_is_nonneg

◆ isl_int_is_nonpos

#define isl_int_is_nonpos ( i)
Value:
(isl_int_sgn(i) <= 0)

Definition at line 36 of file isl_int.h.

Referenced by isl_val_is_nonpos(), and isl_val_le().

◆ isl_int_is_one

#define isl_int_is_one ( i)
Value:
(isl_int_cmp_si(i,1) == 0)

Definition at line 32 of file isl_int.h.

Referenced by add_ma_strides(), add_strides(), bound_is_integer(), coalesce_or_drop_more_redundant_divs(), defining_equality(), drop_more_redundant_divs(), eliminate_divs_eq(), eliminate_selected_unit_divs(), eliminate_unit_div(), find_modulo_constraint_pair(), FN(), get_aff(), has_coef_one(), has_multiple_var_equality(), int_between_bounds(), interval_sample(), is_potential_div_constraint(), is_pure_unit_div(), is_strict(), is_zero_or_one(), isl_aff_add_coefficient_val(), isl_aff_add_rat_constant_val(), isl_aff_ceil(), isl_aff_floor(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_basic_map_has_rational(), isl_basic_map_normalize_constraints(), isl_basic_map_output_defining_equality(), isl_basic_map_plain_has_fixed_var(), isl_basic_set_dim_residue_class(), isl_basic_set_eq_is_stride(), isl_basic_set_has_defining_inequalities(), isl_basic_set_opt(), isl_local_extend_point_vec(), isl_mat_final_variable_compression(), isl_mat_inverse_product(), isl_mat_parameter_compression(), isl_mat_right_inverse(), isl_mat_scale(), isl_mat_scale_down(), isl_mat_scale_down_row(), isl_mat_unimodular_complete(), isl_point_set_coordinate_val(), isl_poly_cst_reduce(), isl_poly_is_negone(), isl_printer_print_point(), isl_printer_print_val(), isl_pw_aff_scale_down(), isl_qpolynomial_fold_mul_isl_int(), isl_qpolynomial_mul_isl_int(), isl_seq_combine(), isl_seq_normalize(), isl_set_dim_residue_class(), isl_tab_pivot(), isl_tab_sample(), isl_val_is_int(), isl_val_normalize(), isl_vec_scale(), last_var_col_or_int_par_col(), multi_aff_strides(), non_neg_lexmin(), normalize_constraint(), normalize_div(), normalize_div(), normalize_div(), normalize_div_expression(), normalize_divs(), not_unique_unit_row(), parameter_compression_multi(), plug_in_integral_divs(), plug_in_unit_divs(), poly_print_cst(), print_aff_body(), print_aff_c(), print_coordinate(), print_eq_mod_constraint(), print_ls_term_c(), print_term(), propagate_equalities(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_stride(), reduce_stride_constraints(), remove_incomplete_powers(), round_up_in_cone(), scale_rows(), separation_type(), set_row_cst_to_div(), singleton_extract_point(), solve_ilp(), substitute_non_divs(), try_tightening(), uset_gist_compressed(), uset_is_bound(), vec_concat(), and vertex_is_integral().

◆ isl_int_is_pos

◆ isl_int_is_zero

#define isl_int_is_zero ( i)
Value:
(isl_int_sgn(i) == 0)

Definition at line 31 of file isl_int.h.

Referenced by add_known_div_constraints(), add_lexmin_eq(), affine_hull(), all_single_occurrence(), any_div_involves_div(), basic_map_dim_is_bounded(), better_div_constraint(), bmap_eq_involves_unknown_divs(), check_for_div_constraints(), check_lexpos(), close_row(), cmp_row(), coalesce_divs(), compute_elimination_index(), construct_column(), count_occurrences(), div_find_coalesce(), div_involves_vars(), div_is_nonneg(), div_is_redundant(), div_may_involve_output(), drop_irrelevant_constraints(), drop_irrelevant_constraints_marked(), eliminate(), eliminate_divs_ineq(), eliminate_selected_unit_divs(), eliminate_var_using_equality(), find_context_div(), find_node_coalescing(), find_pivot(), first_div_may_involve_output(), first_parameter_equality(), FN(), FN(), force_better_solution(), foreach_lower_bound(), foreach_upper_bound(), get_div_purity(), hermite_first_zero_col(), increment_counter(), increment_range(), init_groups(), insert_bounds_on_div(), int_between_bounds(), is_affected(), is_internal(), is_obviously_neg(), is_obviously_nonneg(), is_optimal(), is_parametric_constant(), is_potential_div_constraint(), is_pure_unit_div(), is_ray(), is_related(), is_zero_or_one(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_plain_is_zero(), isl_aff_scale_down(), isl_basic_map_contains(), isl_basic_map_div_is_known(), isl_basic_map_div_is_marked_unknown(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_eliminate_vars(), isl_basic_map_gauss5(), isl_basic_map_get_hash(), isl_basic_map_has_defining_equality(), isl_basic_map_involves_dims(), isl_basic_map_make_strides_explicit(), isl_basic_map_normalize_constraints(), isl_basic_map_order_divs(), isl_basic_map_output_defining_equality(), isl_basic_map_plain_has_fixed_var(), isl_basic_map_plain_is_disjoint(), isl_basic_map_preimage_multi_aff(), isl_basic_map_remove_duplicate_constraints(), isl_basic_map_shift_div(), isl_basic_set_dim_residue_class(), isl_basic_set_eq_is_stride(), isl_basic_set_foreach_bound_pair(), isl_basic_set_has_defining_inequalities(), isl_basic_set_is_box(), isl_constraint_get_bound(), isl_int_gcdext(), isl_local_div_is_known(), isl_local_div_is_marked_unknown(), isl_local_space_get_active(), isl_local_space_preimage_multi_aff(), isl_local_space_substitute_equalities(), isl_local_space_substitute_seq(), isl_mat_col_addmul(), isl_mat_col_neg(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_parameter_compression(), isl_mat_product(), isl_mat_reverse_gauss(), isl_mat_right_inverse(), isl_poly_cst_reduce(), isl_poly_from_affine(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_zero(), isl_printer_print_val(), isl_qpolynomial_add_isl_int(), isl_qpolynomial_fold_mul_isl_int(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_substitute_equalities_lifted(), isl_seq_abs_min_non_zero(), isl_seq_combine(), isl_seq_elim(), isl_seq_first_non_zero(), isl_seq_gcd(), isl_seq_hash(), isl_seq_is_neg(), isl_seq_last_non_zero(), isl_seq_normalize(), isl_seq_preimage(), isl_set_bounded_simple_hull(), isl_set_dim_residue_class(), isl_tab_is_equality(), isl_tab_pivot(), isl_tab_relax(), isl_tab_row_is_redundant(), isl_tab_shift_var(), isl_val_is_infty(), isl_val_is_nan(), isl_val_is_neginfty(), isl_val_is_rat(), isl_val_is_zero(), last_modulo(), last_non_zero_var_col(), last_var_col_or_int_par_col(), lower_bound_is_cst(), make_divs_pos(), may_be_equality(), merge_divs(), n_pure_div_eq(), need_split_basic_map(), needs_invert(), needs_reduction(), next_token(), normalize_constraint(), normalize_div_expression(), normalize_divs(), not_unique_unit_row(), ok_to_eliminate_div(), ok_to_set_div_from_bound(), poly_print_cst(), print_affine_of_len(), print_ls_partial_affine_c(), purity(), pw_aff_is_expr(), pw_multi_aff_from_map_check_strides(), reduce_div(), reduce_div_coefficients(), reduced_using_equalities(), remove_dependent_vars(), remove_duplicate_divs(), remove_redundant_divs(), restore_basis(), row_abs_min_non_zero(), row_first_non_zero(), row_is_big(), row_is_manifestly_zero(), row_sgn(), set_active(), set_div(), set_div_from_eq(), single_occurrence(), single_unknown(), substitute_non_divs(), subtract_initial(), tab_shift_cone(), to_col(), to_row(), try_tightening(), unrelax(), update_coeff(), update_group_i_with_row_j(), update_groups(), update_groups(), uset_gist_compressed(), and vertex_coordinate().

◆ isl_int_print

#define isl_int_print ( out,
i,
width )
Value:
do { \
char *s; \
s = isl_int_get_str(i); \
fprintf(out, "%*s", width, s); \
isl_int_free_str(s); \
} while (0)
#define isl_int_get_str(r)
Definition isl_int_gmp.h:22

Definition at line 40 of file isl_int.h.

Referenced by file_print_isl_int(), isl_mat_print_internal(), isl_seq_dump(), and isl_stream_error().

Function Documentation

◆ isl_printer_print_isl_int()