/dports/devel/ppl/ppl-1.2/src/ |
H A D | termination.cc | 188 add_mul_assign(y_les[v.id()], a_i_j, v_y); in fill_constraint_systems_MS() 189 add_mul_assign(z_les[v.id()], a_i_j, v_z); in fill_constraint_systems_MS() 378 add_mul_assign(les_eq[v.id()], A_ij_B, u1_i); in fill_constraint_system_PR() 381 add_mul_assign(les_eq[v.id() + n], A_ij_B, u2_i); in fill_constraint_system_PR() 386 add_mul_assign(le_out, b_B, u2_i); in fill_constraint_system_PR() 405 add_mul_assign(les_eq[v.id()], A_ij_C, u3_i); in fill_constraint_system_PR() 416 add_mul_assign(le_out, b_C, u3_i); in fill_constraint_system_PR() 455 add_mul_assign(les_eq[v.id()], Ap_ij, lambda1_i); in fill_constraint_system_PR_original() 465 add_mul_assign(les_eq[v.id()], A_ij, lambda1_i); in fill_constraint_system_PR_original() 468 add_mul_assign(les_eq[v.id()+n], A_ij, lambda2_i); in fill_constraint_system_PR_original() [all …]
|
H A D | Sparse_Row.cc | 382 add_mul_assign(*i, *j, coeff2); in linear_combine() 442 add_mul_assign(*i, *j, coeff2); in linear_combine() 543 add_mul_assign(*i, *j, coeff2); in linear_combine() 651 add_mul_assign(*i, *j, coeff2); in linear_combine() 869 add_mul_assign(*itr, y[i], coeff2); in linear_combine() 956 add_mul_assign(*itr, y[i], coeff2); in linear_combine() 1034 add_mul_assign(*itr, y[i], coeff2); in linear_combine() 1050 add_mul_assign(x[i.index()], *i, coeff2); in linear_combine() 1066 add_mul_assign(x[i], *itr, coeff2); in linear_combine() 1096 add_mul_assign(x[itr.index()], *itr, coeff2); in linear_combine() [all …]
|
H A D | Linear_Expression_inlines.hh | 384 add_mul_assign(Linear_Expression& e, in add_mul_assign() function 387 e.impl->add_mul_assign(n, v); in add_mul_assign() 401 add_mul_assign(Linear_Expression& e1, in add_mul_assign() function 404 e1.impl->add_mul_assign(factor, *e2.impl); in add_mul_assign() 737 add_mul_assign(tmp, *i, i.variable()); in Linear_Expression() 757 add_mul_assign(tmp, *i, i.variable()); in Linear_Expression() 784 add_mul_assign(tmp, *i, i.variable()); in Linear_Expression() 812 add_mul_assign(tmp, *i, i.variable()); in Linear_Expression()
|
H A D | Linear_Expression_defs.hh | 196 add_mul_assign(Linear_Expression& e, 201 void add_mul_assign(Linear_Expression& e1, 909 add_mul_assign(Linear_Expression& e, 916 add_mul_assign(Linear_Expression& e1,
|
H A D | Linear_Expression_Interface_defs.hh | 287 add_mul_assign(Coefficient_traits::const_reference n, const Variable v) = 0; 292 virtual void add_mul_assign(Coefficient_traits::const_reference factor,
|
H A D | GMP_Integer_defs.hh | 90 void add_mul_assign(GMP_Integer& x,
|
H A D | Linear_Expression_Impl_defs.hh | 373 add_mul_assign(Coefficient_traits::const_reference n, const Variable v); 378 virtual void add_mul_assign(Coefficient_traits::const_reference factor, 631 void add_mul_assign(Coefficient_traits::const_reference factor,
|
H A D | Linear_Expression_Impl_templates.hh | 395 Linear_Expression_Impl<Row>::add_mul_assign(Coefficient_traits::const_reference n, in add_mul_assign() function in Parma_Polyhedra_Library::Linear_Expression_Impl 449 ::add_mul_assign(Coefficient_traits::const_reference factor, in add_mul_assign() function in Parma_Polyhedra_Library::Linear_Expression_Impl 742 Parma_Polyhedra_Library::add_mul_assign(result, *x_i, *y_i); in scalar_product_assign() 1013 ::add_mul_assign(Coefficient_traits::const_reference factor, in add_mul_assign() function in Parma_Polyhedra_Library::Linear_Expression_Impl 1018 add_mul_assign(factor, *p); in add_mul_assign() 1021 add_mul_assign(factor, *p); in add_mul_assign()
|
H A D | GMP_Integer_inlines.hh | 75 add_mul_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { in add_mul_assign() function
|
H A D | PIP_Tree.cc | 60 add_mul_assign(x, c, y); in operator ()() 1228 add_mul_assign(expr, 0, Variable(*(parameters.rbegin()))); in add_constraint() 1243 add_mul_assign(expr, *i, Variable(*j)); in add_constraint() 2544 add_mul_assign(v_row[mv], coeff_i, denom); in update_tableau() 3132 add_mul_assign(expr, t_test.get(j), Variable(*p)); in solve() 3545 add_mul_assign(expr, coeff, Variable(*p_j)); in generate_cut() 3653 add_mul_assign(expr1, ctx1.get(j), Variable(*p)); in generate_cut() 3654 add_mul_assign(expr2, ctx2.get(j), Variable(*p)); in generate_cut() 3708 add_mul_assign(expr, cut_t.get(ti), Variable(j)); in generate_cut() 3712 add_mul_assign(expr, cut_s.get(si), Variable(j)); in generate_cut() [all …]
|
H A D | Dense_Row.cc | 439 add_mul_assign(x_i, y_i, coeff2); in linear_combine() 473 add_mul_assign(x_i, y_i, coeff2); in linear_combine()
|
H A D | Grid_templates.hh | 245 add_mul_assign(expr, *j, Variable(mapped_id)); in map_space_dimensions()
|
H A D | Polyhedron_chdims.cc | 445 add_mul_assign(new_c.expr, coeff, Variable(dst_d)); in expand_space_dimension()
|
H A D | Grid_chdims.cc | 449 add_mul_assign(x.expr, coeff, Variable(dst_d)); in expand_space_dimension()
|
H A D | Octagonal_Shape_templates.hh | 2321 add_mul_assign(product, numer, g.divisor()); in relation_with() 2340 add_mul_assign(product, numer, g.divisor()); in relation_with() 2363 add_mul_assign(product, numer , g.divisor()); in relation_with() 2412 add_mul_assign(product, denom, g_coeff_y); in relation_with() 2417 add_mul_assign(product, numer, g.divisor()); in relation_with() 2433 add_mul_assign(product, denom, g_coeff_y); in relation_with() 2456 add_mul_assign(product, denom, g_coeff_x); in relation_with() 2481 add_mul_assign(product, denom, g_coeff_y); in relation_with() 2486 add_mul_assign(product, numer, g.divisor()); in relation_with() 2502 add_mul_assign(product, denom, g_coeff_y); in relation_with() [all …]
|
H A D | MIP_Problem.cc | 1224 add_mul_assign(k->second, scalar_value, scalar_value); in steepest_edge_exact_entering_index() 1232 add_mul_assign(k->second, scalar_value, scalar_value); in steepest_edge_exact_entering_index() 1303 add_mul_assign(challenger_denom, scalar_value, scalar_value); in steepest_edge_exact_entering_index() 1856 add_mul_assign(expr, numer[i], Variable(i)); in compute_generator()
|
H A D | Polyhedron_templates.hh | 268 add_mul_assign(expr, *j, Variable(mapped_id)); in map_space_dimensions()
|
H A D | Checked_Number_defs.hh | 663 add_mul_assign(Checked_Number<T, Policy>& x,
|
H A D | BD_Shape_templates.hh | 910 add_mul_assign(le, coeff, vj); in frequency() 1814 add_mul_assign(product, numer, g.divisor()); in relation_with() 1831 add_mul_assign(product, numer, g.divisor()); in relation_with() 1852 add_mul_assign(product, denom, g_coeff_x); in relation_with() 1853 add_mul_assign(product, -denom, g_coeff_y); in relation_with() 1855 add_mul_assign(product, numer, g.divisor()); in relation_with()
|
H A D | Checked_Number_inlines.hh | 682 PPL_DEFINE_ASSIGN_FUN3_3(add_mul_assign, add_mul_assign_r) in PPL_DEFINE_ASSIGN_FUN2_2()
|
H A D | ppl.hh.dist | 20149 void add_mul_assign(GMP_Integer& x, 28145 add_mul_assign(Linear_Expression& e, 28150 void add_mul_assign(Linear_Expression& e1, 28858 add_mul_assign(Linear_Expression& e, 28865 add_mul_assign(Linear_Expression& e1, 29256 add_mul_assign(Linear_Expression& e, 29259 e.impl->add_mul_assign(n, v); 29273 add_mul_assign(Linear_Expression& e1, 36520 add_mul_assign(factor, *p); 36523 add_mul_assign(factor, *p); [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | linearsystem1.cc | 74 add_mul_assign(e, c, Variable(col - 1)); in test01()
|
/dports/devel/ppl/ppl-1.2/demos/ppl_pips/ |
H A D | ppl_pips.cc | 220 add_mul_assign(expr, constraints[k++], PPL::Variable(j)); in update_pip() 234 add_mul_assign(expr, context[k++], PPL::Variable(num_vars+j)); in update_pip()
|
/dports/devel/ppl/ppl-1.2/interfaces/C/ |
H A D | ppl_c_implementation_common.cc | 509 add_mul_assign(lle, nn, Variable(var)); in ppl_Linear_Expression_add_to_coefficient()
|
/dports/devel/ppl/ppl-1.2/ |
H A D | NEWS | 393 void add_mul_assign(Coefficient_traits::const_reference c, Variable v)
|