Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dsynchronization.cc725 int num_improvements = 0; in ReportPotentialNewBounds() local
747 num_improvements++; in ReportPotentialNewBounds()
751 if (num_improvements > 0) { in ReportPotentialNewBounds()
752 VLOG(2) << worker_name << " exports " << num_improvements in ReportPotentialNewBounds()