Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dsynchronization.cc762 const std::vector<int>& variables_to_fix) { in FixVariablesFromPartialSolution() argument
769 for (const int var : variables_to_fix) { in FixVariablesFromPartialSolution()
780 for (const int var : variables_to_fix) { in FixVariablesFromPartialSolution()
H A Dsynchronization.h433 const std::vector<int>& variables_to_fix);
H A Dcp_model_lns.h104 const absl::flat_hash_set<int>& variables_to_fix) const;
H A Dcp_model_lns.cc483 const absl::flat_hash_set<int>& variables_to_fix) const { in FixGivenVariables()
518 } else if (variables_to_fix.contains(i)) { in FixGivenVariables()
570 neighborhood.is_reduced = !variables_to_fix.empty(); in FixGivenVariables()