/dports/devel/ppl/ppl-1.2/src/ |
H A D | Grid_simplify.cc | 43 exact_div_assign(reduced_pivot_col, pivot_column, reduced_row_col); in reduce_line_with_line() 44 exact_div_assign(reduced_row_col, row_column, reduced_row_col); in reduce_line_with_line() 74 exact_div_assign(reduced_pivot_col, pivot_column, reduced_row_col); in reduce_equality_with_equality() 75 exact_div_assign(reduced_row_col, row_column, reduced_row_col); in reduce_equality_with_equality() 113 exact_div_assign(reduced_pivot_col, pivot_column, gcd); in reduce_pc_with_pc() 114 exact_div_assign(reduced_row_col, row_column, gcd); in reduce_pc_with_pc() 157 exact_div_assign(reduced_pivot_col, pivot_column, reduced_row_col); in reduce_parameter_with_line() 158 exact_div_assign(reduced_row_col, row_column, reduced_row_col); in reduce_parameter_with_line() 212 exact_div_assign(reduced_pivot_col, pivot_column, reduced_row_col); in reduce_congruence_with_equality() 213 exact_div_assign(reduced_row_col, row_column, reduced_row_col); in reduce_congruence_with_equality()
|
H A D | Grid_conversion.cc | 225 exact_div_assign(tmp, diagonal_lcm, in conversion() 262 exact_div_assign(multiplier, source_dim, multiplier); in conversion() 265 cg.expr.exact_div_assign(source_dim, dim, dim + 1); in conversion() 404 exact_div_assign(tmp, diagonal_lcm, in conversion() 446 exact_div_assign(reduced_source_dim, source_dim, reduced_source_dim); in conversion() 449 g.expr.exact_div_assign(source_dim, dim, dim + 1); in conversion()
|
H A D | Grid_nonpublic.cc | 355 exact_div_assign(val_n, val_n, gcd); in frequency_no_check() 356 exact_div_assign(val_d, val_d, gcd); in frequency_no_check() 401 exact_div_assign(freq_n, freq_n, gcd); in frequency_no_check() 402 exact_div_assign(freq_d, freq_d, gcd); in frequency_no_check() 406 exact_div_assign(val_n, val_n, gcd); in frequency_no_check() 407 exact_div_assign(val_d, val_d, gcd); in frequency_no_check() 445 exact_div_assign(ext_n, ext_n, gcd); in max_min() 446 exact_div_assign(ext_d, ext_d, gcd); in max_min()
|
H A D | math_utilities_inlines.hh | 39 exact_div_assign(n_x, x, gcd); in normalize2() 40 exact_div_assign(n_y, y, gcd); in normalize2()
|
H A D | Polyhedron_templates.hh | 508 exact_div_assign(denominators[i], lcm, denominators[i]); in convert_to_integer_expression() 515 exact_div_assign(denominators[lf_dimension], in convert_to_integer_expression() 562 exact_div_assign(denominators[i], lcm, denominators[i]); in convert_to_integer_expressions() 569 exact_div_assign(denominators[lf_dimension], in convert_to_integer_expressions() 579 exact_div_assign(denominators[lf_dimension+1], in convert_to_integer_expressions()
|
H A D | GMP_Integer_defs.hh | 113 void exact_div_assign(GMP_Integer& x,
|
H A D | PIP_Tree.cc | 605 exact_div_assign(x_i, x_i, gcd); in row_normalize() 609 exact_div_assign(denom, denom, gcd); in row_normalize() 1700 exact_div_assign(s_ij, s_ij, gcd); in normalize() 1706 exact_div_assign(t_ij, t_ij, gcd); in normalize() 1710 exact_div_assign(denom, denom, gcd); in normalize() 2354 exact_div_assign(scale_factor, pivot_pj, gcd); in compatibility_check() 2364 exact_div_assign(product, product, pivot_pj); in compatibility_check() 2381 exact_div_assign(scale_factor, pivot_pj, gcd); in compatibility_check() 2391 exact_div_assign(s_i_pj, product, pivot_pj); in compatibility_check() 2953 exact_div_assign(product, product, s_pivot_pj); in solve() [all …]
|
H A D | GMP_Integer_inlines.hh | 95 exact_div_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { in exact_div_assign() function
|
H A D | Generator.cc | 419 exact_div_assign(cp_0_scaled, cp.expr.inhomogeneous_term(), gcd); in is_matching_closure_point() 420 exact_div_assign(p_0_scaled, p.expr.inhomogeneous_term(), gcd); in is_matching_closure_point()
|
H A D | Linear_Expression_Interface_defs.hh | 353 virtual void exact_div_assign(Coefficient_traits::const_reference c,
|
H A D | Grid_templates.hh | 87 exact_div_assign(u_n, point_divisor, u_n); in Grid()
|
H A D | MIP_Problem.cc | 1152 exact_div_assign(norm_factor[i], lcm_basis, tableau[i].get(base[i])); in steepest_edge_exact_entering_index() 1509 exact_div_assign(current_min, lcm, t_ee); in get_exiting_base_index() 1512 exact_div_assign(challenger, lcm, t_ie); in get_exiting_base_index() 1824 exact_div_assign(denom_i, lcm, denom_i); in compute_generator() 1825 exact_div_assign(split_denom, lcm, split_denom); in compute_generator() 1849 exact_div_assign(denom[i], lcm, denom[i]); in compute_generator()
|
H A D | Linear_Expression_inlines.hh | 453 ::exact_div_assign(Coefficient_traits::const_reference c, in exact_div_assign() function in Parma_Polyhedra_Library::Linear_Expression 455 impl->exact_div_assign(c, start, end); in exact_div_assign()
|
H A D | Grid_Generator.cc | 309 exact_div_assign(factor, d, divisor()); in scale_to_divisor()
|
H A D | Congruence_System.cc | 219 exact_div_assign(factor, lcm, modulus); in normalize_moduli()
|
H A D | Linear_Expression_defs.hh | 707 void exact_div_assign(Coefficient_traits::const_reference c,
|
H A D | Linear_Expression_Impl_defs.hh | 438 virtual void exact_div_assign(Coefficient_traits::const_reference c,
|
H A D | Linear_Expression_Impl_templates.hh | 545 ::exact_div_assign(Coefficient_traits::const_reference c, in exact_div_assign() function in Parma_Polyhedra_Library::Linear_Expression_Impl 552 Parma_Polyhedra_Library::exact_div_assign(*i, *i, c); in exact_div_assign()
|
H A D | Dense_Row.cc | 375 exact_div_assign(x_j, x_j, gcd); in normalize()
|
H A D | Checked_Number_defs.hh | 729 exact_div_assign(Checked_Number<T, Policy>& x,
|
H A D | Checked_Number_inlines.hh | 713 exact_div_assign(Checked_Number<T, Policy>& x,
|
H A D | Sparse_Row.cc | 255 exact_div_assign(x_j, x_j, gcd); in normalize()
|
H A D | Box_templates.hh | 1277 exact_div_assign(factor, lcm, g_divisor); in max_min() 1279 exact_div_assign(factor, lcm, denom); in max_min()
|
H A D | Polyhedron_nonpublic.cc | 2340 c.expr.exact_div_assign(gcd, 1, space_dim + 1); in drop_some_non_integer_points()
|
H A D | ppl.hh.dist | 13904 exact_div_assign(Checked_Number<T, Policy>& x, 14933 exact_div_assign(Checked_Number<T, Policy>& x, 20172 void exact_div_assign(GMP_Integer& x, 27013 exact_div_assign(n_x, x, gcd); 27014 exact_div_assign(n_y, y, gcd); 29327 impl->exact_div_assign(c, start, end); 53910 exact_div_assign(denominators[lf_dimension], 53964 exact_div_assign(denominators[lf_dimension], 53974 exact_div_assign(denominators[lf_dimension+1], 88896 exact_div_assign(factor, lcm, g_divisor); [all …]
|