Searched refs:AddProductTo (Results 1 – 3 of 3) sorted by relevance
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | cuts.cc | 798 if (!AddProductTo(-cut->coeffs[i], lb, &cut->ub)) { 1153 if (!AddProductTo(coeff, -upper_bounds[i], &cut->ub)) { 1160 if (!AddProductTo(coeff, lower_bounds[i], &cut->ub)) { 1193 if (!AddProductTo(positive_coeff, bound_diff, &sum_of_diff)) { 1198 if (!AddProductTo(-coeff, lower_bounds[i], &rhs)) return false; 1202 if (!AddProductTo(-coeff, upper_bounds[i], &rhs)) return false; 1672 if (!AddProductTo(-coeff, lb, &new_ub)) { 1690 if (!AddProductTo(-coeff, lb + info.bound_diff, &new_ub)) {
|
H A D | linear_programming_constraint.cc | 91 if (!AddProductTo(multiplier, term.second, &dense_vector_[term.first])) { in AddLinearExpressionMultiple() 101 if (!AddProductTo(multiplier, term.second, &dense_vector_[term.first])) { in AddLinearExpressionMultiple() 897 if (!AddProductTo(multiplier, -ib_slack_infos[index].offset, &cut_ub)) { in PostprocessAndAddCut() 916 if (!AddProductTo(multiplier, tmp_slack_bounds_[slack_index], &cut_ub)) { in PostprocessAndAddCut() 1696 if (!AddProductTo(bound, coeff, &lower_bound)) return kMinIntegerValue; in GetImpliedLowerBound() 1712 if (!AddProductTo(bound, coeff, &lower_bound)) { in PossibleOverflow() 1914 if (!AddProductTo(multiplier, bound, upper_bound)) return false; in ComputeNewLinearConstraint() 2118 CHECK(AddProductTo(-obj_scale, integer_objective_offset_, &rc_ub)); in ExactLpReasonning()
|
H A D | integer.h | 115 inline bool AddProductTo(IntegerValue a, IntegerValue b, IntegerValue* result) { in AddProductTo() function
|