Home
last modified time | relevance | path

Searched refs:add_mul_assign (Results 1 – 25 of 27) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/src/
H A Dtermination.cc188 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 DSparse_Row.cc382 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 DLinear_Expression_inlines.hh384 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 DLinear_Expression_defs.hh196 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 DLinear_Expression_Interface_defs.hh287 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 DGMP_Integer_defs.hh90 void add_mul_assign(GMP_Integer& x,
H A DLinear_Expression_Impl_defs.hh373 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 DLinear_Expression_Impl_templates.hh395 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 DGMP_Integer_inlines.hh75 add_mul_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { in add_mul_assign() function
H A DPIP_Tree.cc60 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 DDense_Row.cc439 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 DGrid_templates.hh245 add_mul_assign(expr, *j, Variable(mapped_id)); in map_space_dimensions()
H A DPolyhedron_chdims.cc445 add_mul_assign(new_c.expr, coeff, Variable(dst_d)); in expand_space_dimension()
H A DGrid_chdims.cc449 add_mul_assign(x.expr, coeff, Variable(dst_d)); in expand_space_dimension()
H A DOctagonal_Shape_templates.hh2321 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 DMIP_Problem.cc1224 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 DPolyhedron_templates.hh268 add_mul_assign(expr, *j, Variable(mapped_id)); in map_space_dimensions()
H A DChecked_Number_defs.hh663 add_mul_assign(Checked_Number<T, Policy>& x,
H A DBD_Shape_templates.hh910 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 DChecked_Number_inlines.hh682 PPL_DEFINE_ASSIGN_FUN3_3(add_mul_assign, add_mul_assign_r) in PPL_DEFINE_ASSIGN_FUN2_2()
H A Dppl.hh.dist20149 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 Dlinearsystem1.cc74 add_mul_assign(e, c, Variable(col - 1)); in test01()
/dports/devel/ppl/ppl-1.2/demos/ppl_pips/
H A Dppl_pips.cc220 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 Dppl_c_implementation_common.cc509 add_mul_assign(lle, nn, Variable(var)); in ppl_Linear_Expression_add_to_coefficient()
/dports/devel/ppl/ppl-1.2/
H A DNEWS393 void add_mul_assign(Coefficient_traits::const_reference c, Variable v)

12