Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dsynchronization.cc657 std::string ExtractSubSolverName(const std::string& improvement_info) { in ExtractSubSolverName() argument
658 if (improvement_info.empty()) return ""; in ExtractSubSolverName()
661 for (int i = 0; i < improvement_info.size(); ++i) { in ExtractSubSolverName()
662 if (!std::isalnum(improvement_info[i]) && improvement_info[i] != '_') { in ExtractSubSolverName()
663 return improvement_info.substr(0, i); in ExtractSubSolverName()
667 return improvement_info; in ExtractSubSolverName()
671 const std::string& improvement_info) { in RegisterSolutionFound() argument
672 if (improvement_info.empty()) return; in RegisterSolutionFound()
677 const std::string& improvement_info) { in RegisterObjectiveBoundImprovement() argument
678 if (improvement_info.empty() || improvement_info == "initial domain") return; in RegisterObjectiveBoundImprovement()
[all …]
H A Dsynchronization.h349 void RegisterSolutionFound(const std::string& improvement_info)
351 void RegisterObjectiveBoundImprovement(const std::string& improvement_info)