sat: fix probing.cc implem against stdc++17

Mizux · Mizux · commit e0f74bd698c3 · 2026-01-09T10:34:14.000+01:00
note: Invented public ctor `A(a, b, v)` not defined in c++17 ref: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0960r2.html
diff --git a/ortools/sat/probing.cc b/ortools/sat/probing.cc
@@ -104,8 +104,8 @@ class TrailCopy {
       }
       trail_index_[var] = i;
       trail_literals_.push_back(literal);
-      trail_info_.emplace_back(info.level, assignment_type, reason,
-                               reason_clause);
+      trail_info_.push_back(
+          {info.level, assignment_type, reason, reason_clause});
     }
 
     const int num_decisions = trail_.CurrentDecisionLevel();

Original file line number	Diff line number	Diff line change
`@@ -104,8 +104,8 @@ class TrailCopy {`
`104`	`104`	`}`
`105`	`105`	`trail_index_[var] = i;`
`106`	`106`	`trail_literals_.push_back(literal);`
`107`		`- trail_info_.emplace_back(info.level, assignment_type, reason,`
`108`		`- reason_clause);`
	`107`	`+ trail_info_.push_back(`
	`108`	`+ {info.level, assignment_type, reason, reason_clause});`
`109`	`109`	`}`
`110`	`110`
`111`	`111`	`const int num_decisions = trail_.CurrentDecisionLevel();`