| 28 | |
| 29 | |
| 30 | void Memory::ReturnThread(const unsigned /*thrId*/) |
| 31 | { |
| 32 | // No-op: ThreadData is now owned by SolverContext instances. Returning |
| 33 | // per-thread TT memory requires a SolverContext with the appropriate |
| 34 | // ThreadData pointer; call sites should perform that via their |
| 35 | // SolverContext instances. |
| 36 | } |
| 37 | |
| 38 | // NOLINTNEXTLINE(bugprone-easily-swappable-parameters) |
| 39 | void Memory::Resize( |