Searched refs:SafeAddInto (Results 1 – 3 of 3) sorted by relevance
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | pb_constraint.cc | 60 if (!SafeAddInto(current.coefficient, &(representative->coefficient))) { in ComputeBooleanLinearExpressionCanonicalForm()
65 if (!SafeAddInto(-current.coefficient, in ComputeBooleanLinearExpressionCanonicalForm()
69 if (!SafeAddInto(-current.coefficient, bound_shift)) return false; in ComputeBooleanLinearExpressionCanonicalForm()
90 if (!SafeAddInto(-current.coefficient, bound_shift)) return false; in ComputeBooleanLinearExpressionCanonicalForm()
94 if (!SafeAddInto((*cst)[i].coefficient, max_value)) return false; in ComputeBooleanLinearExpressionCanonicalForm()
115 if (!SafeAddInto(-entry.coefficient, &shift_due_to_fixed_variables)) { in ApplyLiteralMapping()
131 if (!SafeAddInto(shift_due_to_fixed_variables, bound_shift)) return false; in ApplyLiteralMapping()
164 if (!SafeAddInto(bound_shift, &rhs)) { in ComputeCanonicalRhs()
184 if (!SafeAddInto(bound_shift, &shifted_lb)) { in ComputeNegatedCanonicalRhs()
|
| H A D | sat_solver.cc | 316 CHECK(SafeAddInto(-term.coefficient, &fixed_variable_shift)); in AddLinearConstraint()
331 CHECK(SafeAddInto(fixed_variable_shift, &bound_shift)); in AddLinearConstraint()
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/util/ |
| H A D | saturated_arithmetic.h | 89 bool SafeAddInto(IntegerType a, IntegerType* b) { in SafeAddInto() function
|