Home
last modified time | relevance | path

Searched refs:exact_div_assign (Results 1 – 25 of 26) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/src/
H A DGrid_simplify.cc43 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 DGrid_conversion.cc225 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 DGrid_nonpublic.cc355 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 Dmath_utilities_inlines.hh39 exact_div_assign(n_x, x, gcd); in normalize2()
40 exact_div_assign(n_y, y, gcd); in normalize2()
H A DPolyhedron_templates.hh508 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 DGMP_Integer_defs.hh113 void exact_div_assign(GMP_Integer& x,
H A DPIP_Tree.cc605 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 DGMP_Integer_inlines.hh95 exact_div_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { in exact_div_assign() function
H A DGenerator.cc419 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 DLinear_Expression_Interface_defs.hh353 virtual void exact_div_assign(Coefficient_traits::const_reference c,
H A DGrid_templates.hh87 exact_div_assign(u_n, point_divisor, u_n); in Grid()
H A DMIP_Problem.cc1152 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 DLinear_Expression_inlines.hh453 ::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 DGrid_Generator.cc309 exact_div_assign(factor, d, divisor()); in scale_to_divisor()
H A DCongruence_System.cc219 exact_div_assign(factor, lcm, modulus); in normalize_moduli()
H A DLinear_Expression_defs.hh707 void exact_div_assign(Coefficient_traits::const_reference c,
H A DLinear_Expression_Impl_defs.hh438 virtual void exact_div_assign(Coefficient_traits::const_reference c,
H A DLinear_Expression_Impl_templates.hh545 ::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 DDense_Row.cc375 exact_div_assign(x_j, x_j, gcd); in normalize()
H A DChecked_Number_defs.hh729 exact_div_assign(Checked_Number<T, Policy>& x,
H A DChecked_Number_inlines.hh713 exact_div_assign(Checked_Number<T, Policy>& x,
H A DSparse_Row.cc255 exact_div_assign(x_j, x_j, gcd); in normalize()
H A DBox_templates.hh1277 exact_div_assign(factor, lcm, g_divisor); in max_min()
1279 exact_div_assign(factor, lcm, denom); in max_min()
H A DPolyhedron_nonpublic.cc2340 c.expr.exact_div_assign(gcd, 1, space_dim + 1); in drop_some_non_integer_points()
H A Dppl.hh.dist13904 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 …]

12