Home
last modified time | relevance | path

Searched refs:AddProductTo (Results 1 – 3 of 3) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dcuts.cc798 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 Dlinear_programming_constraint.cc91 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 Dinteger.h115 inline bool AddProductTo(IntegerValue a, IntegerValue b, IntegerValue* result) { in AddProductTo() function