Merge stats from another operation.
(&mut self, other: InsertStats)
| 251 | |
| 252 | /// Merge stats from another operation. |
| 253 | pub fn merge(&mut self, other: InsertStats) { |
| 254 | self.changes_applied += other.changes_applied; |
| 255 | self.atoms_processed += other.atoms_processed; |
| 256 | self.conflicts_detected += other.conflicts_detected; |
| 257 | self.dependencies_applied += other.dependencies_applied; |
| 258 | self.applied_hashes.extend(other.applied_hashes); |
| 259 | if other.conflict_summary.is_some() { |
| 260 | self.conflict_summary = other.conflict_summary; |
| 261 | } |
| 262 | } |
| 263 | } |
| 264 | |
| 265 | // ── InsertOutcome ──────────────────────────────────────────────────── |