Polly 22.0.0git
|
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_printer * | isl_printer_print_isl_int (__isl_take isl_printer *p, isl_int i) |
#define isl_int_is_neg | ( | i | ) |
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().
#define isl_int_is_negone | ( | i | ) |
Definition at line 33 of file isl_int.h.
Referenced by bound_is_integer(), coalesce_or_drop_more_redundant_divs(), drop_more_redundant_divs(), eliminate_divs_eq(), eliminate_unit_div(), get_aff(), has_multiple_var_equality(), interval_sample(), is_potential_div_constraint(), is_pure_unit_div(), is_zero_or_one(), isl_basic_map_has_rational(), isl_basic_map_output_defining_equality(), isl_basic_set_eq_is_stride(), isl_basic_set_has_defining_inequalities(), isl_poly_is_negone(), last_var_col_or_int_par_col(), need_split_basic_map(), not_unique_unit_row(), print_constraints(), print_ls_term_c(), print_term(), propagate_equalities(), pw_multi_aff_from_map_check_strides(), separation_type(), singleton_extract_point(), and vertex_is_integral().
#define isl_int_is_nonneg | ( | i | ) |
Definition at line 37 of file isl_int.h.
Referenced by int_between_bounds(), is_internal(), is_obviously_neg(), isl_mat_lexnonneg_rows(), isl_val_is_nonneg(), mark_shifted_constraints(), need_split_basic_map(), reduce_div(), shift_cone(), test_ineq_is_satisfied(), and unit_box_base_points().
#define isl_int_is_nonpos | ( | i | ) |
Definition at line 36 of file isl_int.h.
Referenced by isl_val_is_nonpos(), and isl_val_le().
#define isl_int_is_one | ( | i | ) |
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().
#define isl_int_is_pos | ( | i | ) |
Definition at line 34 of file isl_int.h.
Referenced by check_for_div_constraints(), check_lexpos(), check_table(), close_row(), coalesce_divs(), convex_hull_1d(), drop_more_redundant_divs(), foreach_bound_pair(), is_critical(), is_internal(), is_obviously_neg(), is_obviously_nonneg(), isl_aff_scale(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_eliminate_vars(), isl_basic_map_remove_duplicate_constraints(), isl_basic_set_box_from_points(), isl_basic_set_compare_at(), isl_basic_set_foreach_bound_pair(), isl_basic_set_has_defining_inequalities(), isl_basic_set_is_box(), isl_constraint_is_lower_bound(), isl_int_gcdext(), isl_map_solve_lp(), isl_poly_is_infty(), isl_poly_is_one(), isl_poly_is_zero(), isl_pw_aff_scale_down(), isl_qpolynomial_aff_sign(), isl_qpolynomial_substitute_equalities_lifted(), isl_seq_elim(), isl_set_bounded_simple_hull(), isl_val_is_infty(), isl_val_is_pos(), lexmin_col_pair(), lexmin_pivot_col(), min_is_manifestly_unbounded(), pw_multi_aff_from_map_check_div(), row_at_most_neg_one(), row_is_neg(), set_largest_lower_bound(), sign_of_max(), to_col(), and vertex_coordinate().
#define isl_int_is_zero | ( | i | ) |
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().
#define isl_int_print | ( | out, | |
i, | |||
width ) |
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().
__isl_give isl_printer * isl_printer_print_isl_int | ( | __isl_take isl_printer * | p, |
isl_int | i ) |
Definition at line 649 of file isl_printer.c.
References __isl_give, __isl_take, enter_state(), and p.
Referenced by isl_printer_print_point(), isl_printer_print_val(), isl_printer_print_vec(), main(), poly_print_cst(), print_aff_body(), print_aff_c(), print_basic_set_c(), print_constraint_polylib(), print_coordinate(), print_div(), print_eq_mod_constraint(), print_ls_name_c(), print_ls_term_c(), print_mod(), and print_term().