Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dpresolve_context.cc1712 const int64_t coeff_in_objective = in SubstituteVariableInObjective() local
1715 CHECK_EQ(coeff_in_objective % coeff_in_equality, 0); in SubstituteVariableInObjective()
1717 const int64_t multiplier = coeff_in_objective / coeff_in_equality; in SubstituteVariableInObjective()