#include <gmp.h>

Macros
#define	isl_int_init(i)
#define	isl_int_clear(i)
#define	isl_int_set(r, i)
#define	isl_int_set_si(r, i)
#define	isl_int_set_ui(r, i)
#define	isl_int_fits_slong(r)
#define	isl_int_get_si(r)
#define	isl_int_fits_ulong(r)
#define	isl_int_get_ui(r)
#define	isl_int_get_d(r)
#define	isl_int_get_str(r)
#define	isl_int_abs(r, i)
#define	isl_int_neg(r, i)
#define	isl_int_swap(i, j)
#define	isl_int_swap_or_set(i, j)
#define	isl_int_add_ui(r, i, j)
#define	isl_int_sub_ui(r, i, j)
#define	isl_int_add(r, i, j)
#define	isl_int_sub(r, i, j)
#define	isl_int_mul(r, i, j)
#define	isl_int_mul_2exp(r, i, j)
#define	isl_int_mul_si(r, i, j)
#define	isl_int_mul_ui(r, i, j)
#define	isl_int_pow_ui(r, i, j)
#define	isl_int_addmul(r, i, j)
#define	isl_int_addmul_ui(r, i, j)
#define	isl_int_submul(r, i, j)
#define	isl_int_submul_ui(r, i, j)
#define	isl_int_gcd(r, i, j)
#define	isl_int_lcm(r, i, j)
#define	isl_int_divexact(r, i, j)
#define	isl_int_divexact_ui(r, i, j)
#define	isl_int_tdiv_q(r, i, j)
#define	isl_int_cdiv_q(r, i, j)
#define	isl_int_cdiv_q_ui(r, i, j)
#define	isl_int_fdiv_q(r, i, j)
#define	isl_int_fdiv_r(r, i, j)
#define	isl_int_fdiv_q_ui(r, i, j)
#define	isl_int_read(r, s)
#define	isl_int_sgn(i)
#define	isl_int_cmp(i, j)
#define	isl_int_cmp_si(i, si)
#define	isl_int_eq(i, j)
#define	isl_int_ne(i, j)
#define	isl_int_lt(i, j)
#define	isl_int_le(i, j)
#define	isl_int_gt(i, j)
#define	isl_int_ge(i, j)
#define	isl_int_abs_cmp(i, j)
#define	isl_int_abs_eq(i, j)
#define	isl_int_abs_ne(i, j)
#define	isl_int_abs_lt(i, j)
#define	isl_int_abs_gt(i, j)
#define	isl_int_abs_ge(i, j)
#define	isl_int_is_divisible_by(i, j)
#define	isl_int_hash(v, h)
#define	isl_int_free_str(s)

Typedefs
typedef mpz_t	isl_int
typedef void(*	isl_int_print_mp_free_t) (void *, size_t)

Functions
uint32_t	isl_gmp_hash (mpz_t v, uint32_t hash)
void	mp_get_memory_functions (void (alloc_func_ptr)(size_t), void (*realloc_func_ptr)(void , size_t, size_t), void(*free_func_ptr)(void , size_t))

Macro Definition Documentation

◆ isl_int_abs

#define isl_int_abs	(		r,
			i )

Value:

mpz_abs(r,i)

Definition at line 23 of file isl_int_gmp.h.

Referenced by extract_aff_from_equality(), int_test_abs(), isl_constraint_get_bound(), isl_int_gcdext(), isl_qpolynomial_substitute_equalities_lifted(), isl_seq_abs_max(), isl_seq_elim(), isl_seq_gcd(), print_constraint(), print_eq_mod_constraint(), singleton_extract_point(), and subtract_initial().

◆ isl_int_abs_cmp

#define isl_int_abs_cmp	(		i,
			j )

Value:

mpz_cmpabs(i,j)

Definition at line 63 of file isl_int_gmp.h.

Referenced by int_test_abs_cmp(), isl_constraint_cmp_last_non_zero(), and sort_constraint_cmp().

◆ isl_int_abs_eq

#define isl_int_abs_eq	(		i,
			j )

Value:

(mpz_cmpabs(i,j) == 0)

Definition at line 64 of file isl_int_gmp.h.

Referenced by find_modulo_constraint_pair(), is_linear_div_constraint(), isl_basic_map_is_div_constraint(), isl_val_abs_eq(), isl_val_is_negone(), and next_is_opposite().

◆ isl_int_abs_ge

#define isl_int_abs_ge	(		i,
			j )

Value:

(mpz_cmpabs(i,j) >= 0)

Definition at line 68 of file isl_int_gmp.h.

Referenced by check_for_div_constraints(), isl_basic_set_has_defining_inequalities(), isl_tab_ineq_type(), needs_reduction(), and row_at_most_neg_one().

◆ isl_int_abs_gt

#define isl_int_abs_gt	(		i,
			j )

Value:

(mpz_cmpabs(i,j) > 0)

Definition at line 67 of file isl_int_gmp.h.

Referenced by allow_wrap(), eliminate_divs_ineq(), find_node_coalescing(), isl_seq_abs_max(), and wraps_update_max().

◆ isl_int_abs_lt

#define isl_int_abs_lt	(		i,
			j )

Value:

(mpz_cmpabs(i,j) < 0)

Definition at line 66 of file isl_int_gmp.h.

Referenced by find_modulo_constraint_pair(), isl_seq_abs_min_non_zero(), pw_multi_aff_from_map_check_div(), row_abs_min_non_zero(), and solve_lp().

◆ isl_int_abs_ne

#define isl_int_abs_ne	(		i,
			j )

Value:

(mpz_cmpabs(i,j) != 0)

Definition at line 65 of file isl_int_gmp.h.

Referenced by isl_seq_is_neg().

◆ isl_int_add

#define isl_int_add	(	r,
		i,
		j )

Value:

mpz_add(r,i,j)

Definition at line 30 of file isl_int_gmp.h.

Referenced by add_bounds(), add_div_constraints(), add_gbr_ineq(), add_lower_div_constraint(), coalesce_divs(), div_find_coalesce(), eliminate_unit_div(), expand_constraint(), find_modulo_constraint_pair(), gbr_init_shifted(), greedy_search(), increment_range(), insert_bounds_on_div_from_ineq(), int_test_add(), invert_div(), isl_aff_add_coefficient_val(), isl_aff_add_constant_num(), isl_aff_add_rat_constant_val(), isl_aff_ceil(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_is_div_constraint(), isl_basic_map_remove_duplicate_constraints(), isl_basic_set_has_defining_inequalities(), isl_local_space_is_div_constraint(), isl_mat_col_add(), isl_poly_sum_cst(), isl_tab_relax(), isl_val_add(), lower_bound_from_parallel(), merge_divs(), pw_multi_aff_from_map_check_div(), set_div_from_lower_bound(), set_div_slice(), shift_cone(), solve_ilp_search(), split_periods(), tab_add_divs(), tab_shift_cone(), try_tightening(), unit_box_base_points(), unrelax(), and vec_sum_of_neg().

◆ isl_int_add_ui

#define isl_int_add_ui	(	r,
		i,
		j )

◆ isl_int_addmul

#define isl_int_addmul	(	r,
		i,
		j )

Value:

mpz_addmul(r,i,j)

Definition at line 37 of file isl_int_gmp.h.

Referenced by isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_rat_constant_val(), isl_basic_map_shift_div(), isl_mat_aff_direct_sum(), isl_mat_col_addmul(), isl_mat_col_combine(), isl_mat_product(), isl_poly_cst_add_isl_int(), isl_poly_sum_cst(), isl_seq_addmul(), isl_seq_combine(), isl_seq_inner_product(), isl_tab_add_row(), isl_tab_pivot(), isl_tab_shift_var(), isl_val_add(), isl_vec_mat_product(), reduce_div(), set_div(), set_div_slice(), and subtract().

◆ isl_int_addmul_ui

#define isl_int_addmul_ui	(	r,
		i,
		j )

Value:

mpz_addmul_ui(r,i,j)

Definition at line 38 of file isl_int_gmp.h.

Referenced by isl_val_add_ui().

◆ isl_int_cdiv_q

#define isl_int_cdiv_q	(	r,
		i,
		j )

Value:

mpz_cdiv_q(r,i,j)

Definition at line 47 of file isl_int_gmp.h.

Referenced by get_rounded_sample_value(), insert_bounds_on_div_from_ineq(), int_test_cdiv(), int_test_divexact(), isl_mat_left_hermite(), isl_seq_cdiv_q(), isl_val_ceil(), lower_bound_from_opposite(), lower_bound_from_parallel(), make_divs_pos(), shift_cone(), and solve_lp().

◆ isl_int_cdiv_q_ui

#define isl_int_cdiv_q_ui	(	r,
		i,
		j )

Value:

mpz_cdiv_q_ui(r,i,j)

Definition at line 48 of file isl_int_gmp.h.

Referenced by compute_max_coefficient(), int_test_cdiv(), and int_test_divexact().

◆ isl_int_clear

#define isl_int_clear ( i )

Value:

mpz_clear(i)

Definition at line 12 of file isl_int_gmp.h.

Referenced by accept_affine_factor(), add_expanded(), add_larger_bound_constraint(), add_parametric_cut(), add_strides(), add_vertex(), bound_is_integer(), box_closure_on_domain(), check_samples(), check_solution(), check_solution(), coalesce_divs(), collect_fixed_sign_terms(), construct_column(), convex_hull_1d(), delete_lp(), eval(), expand_tab(), extract_schedule_row(), find_node_coalescing(), fix_cst_lower(), FN(), free_isl_fixed_map_array(), get_constant(), insert_bounds_on_div(), int_test_abs(), int_test_add(), int_test_cdiv(), int_test_cmps(), int_test_divexact(), int_test_fdiv(), int_test_fdiv_r(), int_test_gcd(), int_test_lcm(), int_test_mul(), int_test_neg(), int_test_sub(), int_test_tdiv(), interval_sample(), invoke_alternate_representations_2args(), invoke_alternate_representations_3args(), is_bound(), is_strict(), isl_aff_add_coefficient_si(), isl_aff_add_constant_num_si(), isl_aff_add_constant_si(), isl_aff_pullback_multi_aff(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_ui(), isl_aff_substitute(), isl_basic_map_contains(), isl_basic_map_normalize_constraints(), isl_basic_map_preimage_multi_aff(), isl_basic_map_remove_duplicate_constraints(), isl_basic_set_box_from_points(), isl_basic_set_compare_at(), isl_basic_set_count_upto(), isl_basic_set_has_defining_inequalities(), isl_blk_free_force(), isl_ctx_free(), isl_int_gcdext(), isl_local_space_preimage_multi_aff(), isl_local_space_substitute_seq(), isl_map_plain_has_fixed_var(), isl_map_solve_lp(), isl_mat_col_combine(), isl_mat_final_variable_compression(), isl_mat_gcd(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_normalize(), isl_mat_parameter_compression(), isl_mat_right_inverse(), isl_poly_cmp(), isl_poly_cst_reduce(), isl_qpolynomial_aff_sign(), isl_qpolynomial_sign(), isl_qpolynomial_substitute_equalities_lifted(), isl_seq_combine(), isl_seq_elim(), isl_set_count_upto(), isl_set_dim_residue_class(), isl_set_opt_aligned(), isl_set_wrap_facet(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_compute_reduced_basis(), isl_tab_from_recession_cone(), isl_tab_get_sample_value(), isl_term_free(), isl_token_free(), isl_val_cmp_si(), isl_val_free(), isl_val_le(), isl_val_lt(), lexmin_pivot_col(), lower_bound_is_cst(), main(), normalize_divs(), normalize_stride_div(), parameter_compression_multi(), pivot_row(), plug_in_integral_divs(), poly_free_cst(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), reduce_coefficient_in_div(), reduce_div(), reduce_stride_constraints(), remove_incomplete_powers(), set_common_multiple(), shift_if_cst_int(), singleton_extract_point(), sol_add(), solve_ilp(), solve_ilp_search(), split_periods(), split_scaled(), subtract_initial(), tab_has_valid_sample(), tab_ineq_sign(), tab_shift_cone(), test_ineq_data_clear(), test_residue_class(), transform_column(), update_coeff(), uset_gist_compressed(), uset_is_bound(), vertex_coordinate(), vertex_on_facet(), wraps_free(), and wraps_update_max().

◆ isl_int_cmp

#define isl_int_cmp	(		i,
			j )

Value:

mpz_cmp(i,j)

Definition at line 55 of file isl_int_gmp.h.

Referenced by cmp_ineq(), int_test_cmp(), isl_poly_plain_cmp(), isl_seq_cmp(), isl_vec_cmp_element(), needs_invert(), qsort_fixed_map_cmp(), qsort_int_cmp(), and sort_constraint_cmp().

◆ isl_int_cmp_si

#define isl_int_cmp_si	(		i,
			si )

Value:

mpz_cmp_si(i,si)

Definition at line 56 of file isl_int_gmp.h.

Referenced by carries_dependences(), int_test_cmp(), isl_aff_set_coefficient_si(), isl_seq_gcd(), isl_val_cmp_si(), isl_val_eq_si(), isl_val_gt_si(), isl_val_set_si(), split_periods(), split_scaled(), and test_residue_class().

◆ isl_int_divexact

#define isl_int_divexact	(	r,
		i,
		j )

Value:

mpz_divexact(r,i,j)

Definition at line 44 of file isl_int_gmp.h.

Referenced by add_expanded(), add_parametric_cut(), add_vertex(), carries_dependences(), construct_column(), div_find_coalesce(), extract_integer_sample(), extract_sample_sequence(), int_between_bounds(), int_test_divexact(), is_constant(), isl_aff_scale(), isl_aff_scale_down(), isl_basic_set_dim_residue_class(), isl_int_gcdext(), isl_mat_aff_direct_sum(), isl_mat_inverse_product(), isl_mat_parameter_compression(), isl_mat_right_inverse(), isl_poly_cst_reduce(), isl_seq_elim(), isl_seq_preimage(), isl_seq_scale_down(), isl_tab_add_row(), isl_tab_get_sample_value(), isl_val_normalize(), normalize_div(), normalize_div(), normalize_div(), normalize_div_expression(), parameter_compression_multi(), particular_solution(), print_eq_mod_constraint(), reduce_stride_constraints(), remove_incomplete_powers(), set_common_multiple(), singleton_extract_point(), sol_add(), transform_column(), and update_coeff().

◆ isl_int_divexact_ui

#define isl_int_divexact_ui	(	r,
		i,
		j )

Value:

mpz_divexact_ui(r,i,j)

Definition at line 45 of file isl_int_gmp.h.

Referenced by extract_coefficients(), int_test_divexact(), needs_invert(), needs_reduction(), and solve_lp().

◆ isl_int_eq

#define isl_int_eq	(		i,
			j )

Value:

(mpz_cmp(i,j) == 0)

Definition at line 57 of file isl_int_gmp.h.

Referenced by div_find_coalesce(), drop_inequalities(), has_constraint(), int_between_bounds(), int_test_abs(), int_test_add(), int_test_cdiv(), int_test_divexact(), int_test_fdiv(), int_test_fdiv_r(), int_test_gcd(), int_test_lcm(), int_test_mul(), int_test_neg(), int_test_sub(), int_test_tdiv(), is_linear_div_constraint(), isl_aff_add_coefficient_val(), isl_aff_add_rat_constant_val(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_basic_map_is_div_constraint(), isl_local_space_is_div_constraint(), isl_point_set_coordinate_val(), isl_poly_is_equal(), isl_poly_is_one(), isl_poly_sum_cst(), isl_seq_is_neg(), isl_tab_compute_reduced_basis(), isl_val_abs_eq(), isl_val_add(), isl_val_eq(), isl_val_is_one(), isl_val_sub(), lower_bound_is_cst(), needs_reduction(), next_is_opposite(), row_is_manifestly_non_integral(), separation_type(), set_common_multiple(), update_constraint(), and uset_unshifted_simple_hull_from_constraints().

◆ isl_int_fdiv_q

#define isl_int_fdiv_q	(	r,
		i,
		j )

◆ isl_int_fdiv_q_ui

#define isl_int_fdiv_q_ui	(	r,
		i,
		j )

Value:

mpz_fdiv_q_ui(r,i,j)

Definition at line 51 of file isl_int_gmp.h.

Referenced by greedy_search(), int_test_divexact(), int_test_fdiv(), and solve_ilp_search().

◆ isl_int_fdiv_r

#define isl_int_fdiv_r	(	r,
		i,
		j )

Value:

mpz_fdiv_r(r,i,j)

Definition at line 50 of file isl_int_gmp.h.

Referenced by add_cut(), add_parametric_cut(), FN(), int_test_fdiv_r(), isl_aff_floor(), isl_basic_set_dim_residue_class(), isl_seq_fdiv_r(), isl_set_dim_residue_class(), isl_val_mod(), particular_solution(), reduce_coefficient_in_div(), reduce_div(), try_tightening(), and uset_gist_compressed().

◆ isl_int_fits_slong

#define isl_int_fits_slong ( r )

Value:

mpz_fits_slong_p(r)

Definition at line 17 of file isl_int_gmp.h.

Referenced by int_test_cmp(), int_test_mul(), isl_val_get_den_si(), and isl_val_get_num_si().

◆ isl_int_fits_ulong

#define isl_int_fits_ulong ( r )

Value:

mpz_fits_ulong_p(r)

Definition at line 19 of file isl_int_gmp.h.

Referenced by int_test_cdiv(), int_test_divexact(), int_test_fdiv(), int_test_mul(), and isl_val_pow2().

◆ isl_int_free_str

#define isl_int_free_str ( s )

Value:

  do {                \
    isl_int_print_mp_free_t mp_free;     \
    mp_get_memory_functions(NULL, NULL, &mp_free);    \
    (*mp_free)(s, strlen(s) + 1);       \
  } while (0)

Definition at line 82 of file isl_int_gmp.h.

Referenced by str_print_isl_int().

◆ isl_int_gcd

#define isl_int_gcd	(	r,
		i,
		j )

◆ isl_int_ge

#define isl_int_ge	(		i,
			j )

Value:

(mpz_cmp(i,j) >= 0)

Definition at line 62 of file isl_int_gmp.h.

Referenced by at_least_one(), constraint_index_is_redundant(), isl_basic_map_drop_redundant_divs_ineq(), reached(), and solve_lp().

◆ isl_int_get_d

#define isl_int_get_d ( r )

Value:

mpz_get_d(r)

Definition at line 21 of file isl_int_gmp.h.

Referenced by isl_val_get_d().

◆ isl_int_get_si

#define isl_int_get_si ( r )

Value:

mpz_get_si(r)

Definition at line 18 of file isl_int_gmp.h.

Referenced by basic_map_read_polylib(), basic_map_read_polylib_constraint(), check_solution(), check_solution(), int_test_abs_cmp(), int_test_cmp(), int_test_cmps(), int_test_divisible(), int_test_mul(), isl_val_get_den_si(), isl_val_get_num_si(), isl_vec_read_polylib(), map_read_polylib(), and optional_power().

◆ isl_int_get_str

#define isl_int_get_str ( r )

Value:

mpz_get_str(0, 10, r)

Definition at line 22 of file isl_int_gmp.h.

Referenced by str_print_isl_int().

◆ isl_int_get_ui

#define isl_int_get_ui ( r )

Value:

mpz_get_ui(r)

Definition at line 20 of file isl_int_gmp.h.

Referenced by int_test_cdiv(), int_test_divexact(), int_test_fdiv(), int_test_mul(), isl_val_pow2(), and next_token().

◆ isl_int_gt

#define isl_int_gt	(		i,
			j )

Value:

(mpz_cmp(i,j) > 0)

Definition at line 61 of file isl_int_gmp.h.

Referenced by add_bound_from_constraint(), compute_max_coefficient(), convex_hull_1d(), isl_aff_floor(), isl_basic_set_scan(), isl_map_solve_lp(), isl_set_opt_aligned(), isl_tab_sample(), reduce_coefficient_in_div(), set_max_constant_term(), and update_constraint().

◆ isl_int_hash

#define isl_int_hash	(		v,
			h )

Value:

isl_gmp_hash(v,h)

isl_gmp_hash

uint32_t isl_gmp_hash(mpz_t v, uint32_t hash)

Definition isl_gmp.c:12

Definition at line 72 of file isl_int_gmp.h.

Referenced by isl_seq_hash(), and isl_val_get_hash().

◆ isl_int_init

#define isl_int_init ( i )

Value:

mpz_init(i)

Definition at line 11 of file isl_int_gmp.h.

Referenced by accept_affine_factor(), add_expanded(), add_larger_bound_constraint(), add_parametric_cut(), add_strides(), add_vertex(), alloc_isl_fixed_map_array(), bound_is_integer(), box_closure_on_domain(), check_samples(), check_solution(), check_solution(), coalesce_divs(), collect_fixed_sign_terms(), construct_column(), convex_hull_1d(), drop_more_redundant_divs(), eval(), expand_tab(), extend(), extract_schedule_row(), find_node_coalescing(), fix_cst_lower(), FN(), get_constant(), init_lp(), insert_bounds_on_div(), int_test_abs(), int_test_add(), int_test_cdiv(), int_test_cmps(), int_test_divexact(), int_test_fdiv(), int_test_fdiv_r(), int_test_gcd(), int_test_lcm(), int_test_mul(), int_test_neg(), int_test_sub(), int_test_tdiv(), interval_sample(), invoke_alternate_representations_2args(), invoke_alternate_representations_3args(), is_bound(), is_strict(), isl_aff_add_coefficient_si(), isl_aff_add_constant_num_si(), isl_aff_add_constant_si(), isl_aff_pullback_multi_aff(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_ui(), isl_aff_substitute(), isl_basic_map_contains(), isl_basic_map_normalize_constraints(), isl_basic_map_preimage_multi_aff(), isl_basic_map_remove_duplicate_constraints(), isl_basic_set_box_from_points(), isl_basic_set_compare_at(), isl_basic_set_count_upto(), isl_basic_set_has_defining_inequalities(), isl_ctx_alloc_with_options(), isl_int_gcdext(), isl_local_space_preimage_multi_aff(), isl_local_space_substitute_seq(), isl_map_plain_has_fixed_var(), isl_map_solve_lp(), isl_mat_col_combine(), isl_mat_final_variable_compression(), isl_mat_gcd(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_normalize(), isl_mat_parameter_compression(), isl_mat_right_inverse(), isl_poly_cmp(), isl_poly_cst_alloc(), isl_poly_cst_reduce(), isl_qpolynomial_aff_sign(), isl_qpolynomial_sign(), isl_qpolynomial_substitute_equalities_lifted(), isl_seq_combine(), isl_seq_elim(), isl_set_count_upto(), isl_set_dim_residue_class(), isl_set_opt_aligned(), isl_set_wrap_facet(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_compute_reduced_basis(), isl_tab_from_recession_cone(), isl_tab_get_sample_value(), isl_term_alloc(), isl_val_alloc(), isl_val_cmp_si(), isl_val_le(), isl_val_lt(), lexmin_pivot_col(), lower_bound_is_cst(), main(), next_token(), normalize_divs(), normalize_stride_div(), parameter_compression_multi(), pivot_row(), plug_in_integral_divs(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), reduce_coefficient_in_div(), reduce_div(), reduce_stride_constraints(), remove_incomplete_powers(), set_common_multiple(), shift_if_cst_int(), singleton_extract_point(), sol_add(), solve_ilp(), solve_ilp_search(), split_periods(), split_scaled(), subtract_initial(), tab_has_valid_sample(), tab_ineq_sign(), tab_shift_cone(), test_residue_class(), transform_column(), update_coeff(), uset_gist_compressed(), uset_is_bound(), vertex_coordinate(), vertex_on_facet(), wraps_init(), and wraps_update_max().

◆ isl_int_is_divisible_by

#define isl_int_is_divisible_by	(		i,
			j )

Value:

mpz_divisible_p(i,j)

Definition at line 69 of file isl_int_gmp.h.

Referenced by add_strides(), insert_bounds_on_div_from_ineq(), int_test_divisible(), integer_constant(), integer_parameter(), integer_variable(), is_strict(), isl_aff_scale(), isl_basic_map_normalize_constraints(), isl_basic_set_dim_residue_class(), isl_mat_final_variable_compression(), isl_tab_sample_is_integer(), isl_val_is_divisible_by(), last_modulo(), normalize_constraint(), particular_solution(), print_as_modulo_pos(), and row_is_manifestly_non_integral().

◆ isl_int_lcm

#define isl_int_lcm	(	r,
		i,
		j )

Value:

mpz_lcm(r,i,j)

Definition at line 43 of file isl_int_gmp.h.

Referenced by add_vertex(), int_test_lcm(), isl_mat_aff_direct_sum(), isl_mat_inverse_product(), isl_mat_right_inverse(), isl_seq_lcm(), isl_tab_add_row(), poly_update_den(), and set_common_multiple().

◆ isl_int_le

#define isl_int_le	(		i,
			j )

Value:

(mpz_cmp(i,j) <= 0)

Definition at line 60 of file isl_int_gmp.h.

Referenced by greedy_search(), isl_val_le(), reached(), solve_ilp_search(), and split_div().

◆ isl_int_lt

#define isl_int_lt	(		i,
			j )

Value:

(mpz_cmp(i,j) < 0)

Definition at line 59 of file isl_int_gmp.h.

Referenced by at_least_one(), convex_hull_1d(), increment_counter(), increment_range(), isl_basic_map_remove_duplicate_constraints(), isl_basic_set_count_upto(), isl_map_solve_lp(), isl_set_count_upto(), isl_set_opt_aligned(), isl_tab_sample(), isl_val_lt(), make_divs_pos(), may_be_equality(), reduce_div(), and select_shared_inequalities().

◆ isl_int_mul

#define isl_int_mul	(	r,
		i,
		j )

Value:

mpz_mul(r,i,j)

Definition at line 32 of file isl_int_gmp.h.

Referenced by accept_cst_factor(), add_expanded(), add_parametric_cut(), convex_hull_1d(), div_find_coalesce(), eval(), find_node_coalescing(), int_between_bounds(), int_test_mul(), isl_aff_add_coefficient_val(), isl_aff_add_rat_constant_val(), isl_aff_scale_down(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_basic_set_box_from_points(), isl_int_gcdext(), isl_map_solve_lp(), isl_mat_aff_direct_sum(), isl_mat_col_combine(), isl_mat_col_mul(), isl_mat_col_scale(), isl_mat_product(), isl_point_set_coordinate_val(), isl_poly_cmp(), isl_poly_cst_mul_isl_int(), isl_poly_cst_scale_val(), isl_poly_mul_cst(), isl_poly_sum_cst(), isl_seq_combine(), isl_seq_elim(), isl_seq_inner_product(), isl_seq_preimage(), isl_seq_scale(), isl_seq_substitute(), isl_tab_add_row(), isl_tab_get_sample_value(), isl_tab_min(), isl_tab_pivot(), isl_val_add(), isl_val_div(), isl_val_le(), isl_val_lt(), isl_val_mul(), isl_val_sub(), lexmin_col_pair(), parameter_compression_multi(), preimage(), reached(), row_cmp(), singleton_extract_point(), sol_add(), split_scaled(), and update_coeff().

◆ isl_int_mul_2exp

#define isl_int_mul_2exp	(	r,
		i,
		j )

Value:

mpz_mul_2exp(r,i,j)

Definition at line 33 of file isl_int_gmp.h.

Referenced by isl_val_pow2().

◆ isl_int_mul_si

#define isl_int_mul_si	(	r,
		i,
		j )

Value:

mpz_mul_si(r,i,j)

Definition at line 34 of file isl_int_gmp.h.

Referenced by compute_max_coefficient(), int_test_mul(), and isl_val_cmp_si().

◆ isl_int_mul_ui

#define isl_int_mul_ui	(	r,
		i,
		j )

Value:

mpz_mul_ui(r,i,j)

Definition at line 35 of file isl_int_gmp.h.

Referenced by extract_coefficients(), int_test_mul(), isl_val_div_ui(), isl_val_mul_ui(), needs_invert(), needs_reduction(), reduce_coefficient_in_div(), and solve_lp().

◆ isl_int_ne

#define isl_int_ne	(		i,
			j )

Value:

(mpz_cmp(i,j) != 0)

Definition at line 58 of file isl_int_gmp.h.

Referenced by detect_constant_with_tmp(), find_div(), harmonize_divs_with_hulls(), identical_parameter_line(), isl_map_plain_has_fixed_var(), isl_mat_is_scaled_identity(), isl_seq_eq(), isl_val_ne(), sample_is_finite(), separates(), sol_add(), and transform_column().

◆ isl_int_neg

#define isl_int_neg	(		r,
			i )

Value:

mpz_neg(r,i)

Definition at line 24 of file isl_int_gmp.h.

Referenced by accept_affine(), accept_affine_factor(), accept_cst_factor(), add_bound_from_constraint(), add_cut(), add_larger_bound_constraint(), add_ma_strides(), add_parametric_cut(), add_sub_equalities(), add_upper_div_constraint(), basic_map_bound(), box_closure_on_domain(), compute_max(), construct_trivial(), copy_constraint_dim_map(), cut_lp_to_hyperplane(), farkas(), find_solutions_main(), fix_constant_divs(), FN(), greedy_search(), ineq_for_div(), ineq_for_div(), initial_hull(), int_between_bounds(), int_test_neg(), interval_sample(), inv_subtract(), isl_aff_div(), isl_basic_map_floordiv(), isl_basic_map_from_aff2(), isl_basic_map_from_qpolynomial(), isl_basic_map_neg(), isl_basic_map_plain_has_fixed_var(), isl_basic_set_box_from_points(), isl_basic_set_from_vec(), isl_basic_set_scan(), isl_basic_set_solve_ilp(), isl_int_gcdext(), isl_mat_col_neg(), isl_mat_inverse_product(), isl_mat_right_inverse(), isl_printer_print_val(), isl_seq_elim(), isl_seq_neg(), isl_set_wrap_facet(), isl_stream_read_val(), isl_tab_min(), isl_tab_pivot(), isl_tab_sample(), isl_tab_solve_lp(), isl_val_neg(), isl_val_normalize(), isl_val_pow2(), lower_bound_from_opposite(), lower_bound_from_parallel(), next_signed_value_fn(), normalize_divs(), oppose(), particular_solution(), poly_print_cst(), print_affine_of_len(), print_ls_partial_affine_c(), pw_multi_aff_from_map_div(), reduce_coefficient_in_div(), set_max_constant_term(), shift_cone(), singleton_extract_point(), valid_direction_lp(), and vertex_coordinate().

◆ isl_int_pow_ui

#define isl_int_pow_ui	(	r,
		i,
		j )

Value:

mpz_pow_ui(r,i,j)

Definition at line 36 of file isl_int_gmp.h.

Referenced by next_token().

◆ isl_int_read

#define isl_int_read	(		r,
			s )

Value:

mpz_set_str(r,s,10)

Definition at line 53 of file isl_int_gmp.h.

Referenced by invoke_alternate_representations_2args(), invoke_alternate_representations_3args(), and next_token().

◆ isl_int_set

#define isl_int_set	(		r,
			i )

Value:

mpz_set(r,i)

Definition at line 14 of file isl_int_gmp.h.

Referenced by add_cut(), add_delta_constraints(), add_div_constraints(), add_lower_div_constraint(), add_parametric_cut(), add_strides(), add_vertex(), basic_map_bound(), basic_map_read_polylib_constraint(), box_closure_on_domain(), coalesce_divs(), compute_max_coefficient(), construct_trivial(), copy_constraint_dim_map(), copy_div_dim_map(), cut_to_hyperplane(), detect_constant_with_tmp(), expand_row(), extract_coefficients(), farkas(), fix_constant_divs(), gbr_init_shifted(), get_row_parameter_div(), get_row_parameter_line(), get_row_split_div(), increment_range(), insert_parameter_rows(), int_between_bounds(), interval_sample(), isl_aff_get_denominator(), isl_aff_set_coefficient(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_val(), isl_aff_val_on_domain(), isl_basic_map_equalities_matrix(), isl_basic_map_fix_pos(), isl_basic_map_floordiv(), isl_basic_map_from_constraint_matrices(), isl_basic_map_inequalities_matrix(), isl_basic_set_box_from_points(), isl_basic_set_count_upto(), isl_basic_set_from_vec(), isl_constraint_get_coefficient(), isl_constraint_get_constant(), isl_constraint_set_constant(), isl_int_gcdext(), isl_local_reorder(), isl_map_plain_has_fixed_var(), isl_map_solve_lp(), isl_mat_col_combine(), isl_mat_diag(), isl_mat_get_element(), isl_mat_inverse_product(), isl_mat_right_inverse(), isl_mat_set_element(), isl_mat_transpose(), isl_mat_vec_inverse_product(), isl_multi_aff_from_aff_mat(), isl_point_set_coordinate_val(), isl_poly_dup_cst(), isl_poly_foreach_term(), isl_poly_rat_cst(), isl_qpolynomial_cst_on_domain(), isl_qpolynomial_is_cst(), isl_qpolynomial_rat_cst_on_domain(), isl_qpolynomial_val_on_domain(), isl_seq_combine(), isl_seq_cpy(), isl_seq_lcm(), isl_seq_preimage(), isl_seq_set(), isl_seq_substitute(), isl_set_count_upto(), isl_set_opt_aligned(), isl_tab_add_row(), isl_tab_compute_reduced_basis(), isl_tab_min(), isl_term_dup(), isl_term_get_num(), isl_val_dup(), isl_val_from_gmp(), isl_val_get_num_isl_int(), isl_val_int_from_gmp(), isl_val_int_from_isl_int(), isl_val_rat_from_isl_int(), isl_vec_expand(), isl_vec_read_polylib(), isl_vec_reorder(), isl_vec_set_element(), node_add_coefficient_constraints(), normalize_divs(), parameter_compression_multi(), parametric_constant_never_positive(), particular_solution(), path_along_steps(), plug_in(), pw_multi_aff_from_map_stride(), select_shared_inequalities(), set_div_from_eq(), set_div_from_lower_bound(), set_from_affine_matrix(), set_max_constant_term(), solve_ilp(), solve_ilp_search(), update_constraint(), valid_direction(), valid_direction_lp(), vertex_coordinate(), and wraps_update_max().

◆ isl_int_set_si

#define isl_int_set_si	(		r,
			i )

Value:

mpz_set_si(r,i)

Definition at line 15 of file isl_int_gmp.h.

Referenced by accept_affine_factor(), add_bound_constant_constraints(), add_cut(), add_lp_row(), add_ma_strides(), add_param_sum_constraint(), add_parametric_cut(), add_strides(), add_sub_equalities(), add_sum_constraint(), add_var_sum_constraint(), add_vertex(), add_zero_row(), align_context_divs(), basic_map_bound(), basic_map_bound_si(), basic_set_maximal_difference_at(), box_closure_on_domain(), carries_dependences(), check_solution(), check_solution(), coalesce_divs(), compute_facet(), compute_max_coefficient(), convert_lp_result(), convex_hull_pair_elim(), copy_constraint_dim_map(), cut_lp_to_hyperplane(), cut_to_hyperplane(), detect_constant_with_tmp(), drop_constant_terms(), eliminate_unit_div(), equate_parameter_to_length(), equator(), extend(), extract_aff_from_equality(), extract_coefficients(), extract_integer_sample(), extract_sample_sequence(), factored_sample(), farkas(), fix_constant_divs(), force_better_solution(), fuse(), get_rounded_sample_value(), get_row_parameter_line(), greator(), greedy_search(), homogeneous_map(), increment(), induced_lineality_space(), initial_facet_constraint(), insert_bounds_on_div_from_ineq(), interval_sample(), isl_aff_add_coefficient_si(), isl_aff_add_constant_num_si(), isl_aff_add_constant_si(), isl_aff_floor(), isl_aff_set_coefficient_si(), isl_aff_set_constant_si(), isl_aff_var_on_domain(), isl_aff_zero_on_domain(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_floordiv(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_qpolynomial(), isl_basic_map_insert_div(), isl_basic_map_mark_div_unknown(), isl_basic_map_nat_universe(), isl_basic_map_plain_get_val_if_fixed(), isl_basic_map_preimage_multi_aff(), isl_basic_map_set_div_expr_constant_num_si_inplace(), isl_basic_map_set_to_empty(), isl_basic_map_sum(), isl_basic_set_box_from_points(), isl_basic_set_count_upto(), isl_basic_set_dim_residue_class(), isl_basic_set_lineality_space(), isl_basic_set_positive_orthant(), isl_basic_set_recession_cone(), isl_basic_set_scan(), isl_basic_set_vars_get_sign(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_constraint_set_coefficient_si(), isl_constraint_set_constant_si(), isl_ctx_alloc_with_options(), isl_int_gcdext(), isl_local_space_add_div(), isl_local_space_preimage_multi_aff(), isl_map_oppose(), isl_map_plain_get_val_if_fixed(), isl_mat_final_variable_compression(), isl_mat_gcd(), isl_mat_lin_to_aff(), isl_mat_set_element_si(), isl_point_zero(), isl_poly_infty(), isl_poly_nan(), isl_poly_neginfty(), isl_poly_one(), isl_poly_var_pow(), isl_poly_zero(), isl_qpolynomial_extract_affine(), isl_qpolynomial_sign(), isl_qpolynomial_substitute_equalities_lifted(), isl_seq_abs_max(), isl_seq_clr(), isl_seq_gcd(), isl_seq_inner_product(), isl_seq_lcm(), isl_seq_preimage(), isl_seq_set_si(), isl_seq_substitute(), isl_set_count_upto(), isl_set_dim_residue_class(), isl_set_dim_residue_class_val(), isl_set_wrap_facet(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_from_recession_cone(), isl_tab_get_sample_value(), isl_tab_insert_var(), isl_tab_min(), isl_tab_sample(), isl_val_ceil(), isl_val_floor(), 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(), isl_val_pow2(), isl_val_set_nan(), isl_val_set_si(), isl_val_trunc(), isl_vec_ceil(), isl_vec_expand(), isl_vec_lin_to_aff(), isl_vec_mat_product(), isl_vec_set_element_si(), make_divs_pos(), merge_divs(), neg_halfspace(), node_add_coefficient_constraints(), nonneg_halfspace(), normalize_divs(), opt_at(), outside_point(), particular_solution(), path_along_delta(), path_along_steps(), plug_in(), pos_neg(), print_constraint(), print_constraints(), print_eq_mod_constraint(), print_half_constraint(), pw_multi_aff_from_map_stride(), remove_duplicate_divs(), scan_0D(), select_minimum(), set_div(), set_div_from_eq(), set_div_from_lower_bound(), set_minimum(), set_minimum_pa(), set_path_length(), set_row_cst_to_div(), setup_carry_lp(), SF(), singleton_extract_point(), sol_add(), solve_lp(), split_scaled(), substitute_non_divs(), tab_detect_nonnegative_parameters(), tab_for_shifted_cone(), valid_direction_lp(), var_equal(), var_less(), var_less_or_equal(), var_more(), var_more_or_equal(), vec_sum_of_neg(), wrap_constraints(), wraps_init(), zero_out_node_coef(), and zero_sample().

◆ isl_int_set_ui

#define isl_int_set_ui	(		r,
			i )

Value:

mpz_set_ui(r,i)

Definition at line 16 of file isl_int_gmp.h.

Referenced by isl_aff_scale_down_ui(), and isl_val_int_from_ui().

◆ isl_int_sgn

#define isl_int_sgn ( i )

◆ isl_int_sub

#define isl_int_sub	(	r,
		i,
		j )

◆ isl_int_sub_ui

#define isl_int_sub_ui	(	r,
		i,
		j )

Value:

mpz_sub_ui(r,i,j)

Definition at line 28 of file isl_int_gmp.h.

Referenced by add_div_constraints(), add_larger_bound_constraint(), add_lower_div_constraint(), adjacent_point(), check_eq_adj_eq(), detect_constant_with_tmp(), div_find_coalesce(), eliminate_unit_div(), find_solutions(), invert_div(), is_adj_ineq_extension_with_wraps(), isl_aff_ceil(), isl_basic_map_drop_redundant_divs_ineq(), isl_basic_map_floordiv(), isl_basic_map_is_div_constraint(), isl_basic_set_tighten_outward(), isl_constraint_negate(), isl_inequality_negate(), isl_local_space_is_div_constraint(), isl_point_sub_ui(), make_divs_pos(), no_sol_in_strict(), outside_point(), parametric_constant_never_positive(), row_sign(), select_minimum(), set_div_from_lower_bound(), set_div_slice(), solve_ilp(), solve_ilp_search(), tab_add_constraint(), tighten_on_relaxed_facet(), type_of_relaxed(), and wrap_in_facet().

◆ isl_int_submul

#define isl_int_submul	(	r,
		i,
		j )

Value:

mpz_submul(r,i,j)

Definition at line 39 of file isl_int_gmp.h.

Referenced by isl_basic_map_shift_div(), isl_basic_set_box_from_points(), isl_int_gcdext(), isl_map_solve_lp(), isl_mat_col_submul(), isl_poly_cmp(), isl_seq_submul(), isl_tab_add_row(), isl_tab_shift_var(), isl_val_le(), isl_val_lt(), isl_val_sub(), lexmin_col_pair(), make_divs_pos(), row_cmp(), set_div_slice(), and subtract().

◆ isl_int_submul_ui

#define isl_int_submul_ui	(	r,
		i,
		j )

Value:

mpz_submul_ui(r,i,j)

Definition at line 40 of file isl_int_gmp.h.

Referenced by isl_val_sub_ui().

◆ isl_int_swap

#define isl_int_swap	(		i,
			j )

Value:

mpz_swap(i,j)

Definition at line 25 of file isl_int_gmp.h.

Referenced by exchange(), isl_basic_map_swap_div(), isl_int_gcdext(), isl_mat_swap_cols(), isl_mat_transpose(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_from_recession_cone(), isl_tab_pivot(), isl_val_inv(), isl_vec_expand(), swap_div(), and vec_ror().

◆ isl_int_swap_or_set

#define isl_int_swap_or_set	(		i,
			j )

Value:

mpz_swap(i,j)

Definition at line 26 of file isl_int_gmp.h.

Referenced by isl_seq_swp_or_cpy().

◆ isl_int_tdiv_q

#define isl_int_tdiv_q	(	r,
		i,
		j )

Value:

mpz_tdiv_q(r,i,j)

Definition at line 46 of file isl_int_gmp.h.

Referenced by int_test_divexact(), int_test_tdiv(), and isl_val_trunc().

Typedef Documentation

◆ isl_int

typedef mpz_t isl_int

Definition at line 9 of file isl_int_gmp.h.

◆ isl_int_print_mp_free_t

typedef void(* isl_int_print_mp_free_t) (void *, size_t)

Definition at line 81 of file isl_int_gmp.h.

Function Documentation

◆ isl_gmp_hash()

uint32_t isl_gmp_hash	(	mpz_t	v,
		uint32_t	hash )

Definition at line 12 of file isl_gmp.c.

References isl_hash_byte.

◆ mp_get_memory_functions()

void mp_get_memory_functions	(	void (*	alloc_func_ptr )(size_t),
		void (*	realloc_func_ptr )(void *, size_t, size_t),
		void(**	free_func_ptr )(void *, size_t) )

Definition at line 3 of file mp_get_memory_functions.c.

Macros

Typedefs

Functions

Macro Definition Documentation

◆ isl_int_abs

◆ isl_int_abs_cmp

◆ isl_int_abs_eq

◆ isl_int_abs_ge

◆ isl_int_abs_gt

◆ isl_int_abs_lt

◆ isl_int_abs_ne

◆ isl_int_add

◆ isl_int_add_ui

◆ isl_int_addmul

◆ isl_int_addmul_ui

◆ isl_int_cdiv_q

◆ isl_int_cdiv_q_ui

◆ isl_int_clear

◆ isl_int_cmp

◆ isl_int_cmp_si

◆ isl_int_divexact

◆ isl_int_divexact_ui

◆ isl_int_eq

◆ isl_int_fdiv_q

◆ isl_int_fdiv_q_ui

◆ isl_int_fdiv_r

◆ isl_int_fits_slong

◆ isl_int_fits_ulong

◆ isl_int_free_str

◆ isl_int_gcd

◆ isl_int_ge

◆ isl_int_get_d

◆ isl_int_get_si

◆ isl_int_get_str

◆ isl_int_get_ui

◆ isl_int_gt

◆ isl_int_hash

◆ isl_int_init

◆ isl_int_is_divisible_by

◆ isl_int_lcm

◆ isl_int_le

◆ isl_int_lt

◆ isl_int_mul

◆ isl_int_mul_2exp

◆ isl_int_mul_si

◆ isl_int_mul_ui

◆ isl_int_ne

◆ isl_int_neg

◆ isl_int_pow_ui

◆ isl_int_read

◆ isl_int_set

◆ isl_int_set_si

◆ isl_int_set_ui

◆ isl_int_sgn

◆ isl_int_sub

◆ isl_int_sub_ui

◆ isl_int_submul

◆ isl_int_submul_ui

◆ isl_int_swap

◆ isl_int_swap_or_set

◆ isl_int_tdiv_q

Typedef Documentation

◆ isl_int

◆ isl_int_print_mp_free_t

Function Documentation

◆ isl_gmp_hash()

◆ mp_get_memory_functions()