Method SolverContext

library/src/solver_context/solver_context.cpp:14–22

Owned-ThreadData constructor: allocate ThreadData as a member of the SolverContext so callers can create a context at the top of the stack and pass it down without a separate per-thread lookup.

// SolverContext so callers can create a context at the top of the stack
// and pass it down without a separate per-thread lookup.
SolverContext::SolverContext(SolverConfig cfg)
  : thr_(nullptr), cfg_(cfg)
{
  // Create an owned ThreadData instance and keep it in thr_.
  thr_ = std::make_shared<ThreadData>();
  // Ensure persistent facades like SearchContext see the bound ThreadData.
  search_.set_thread(thr_);
  search_.set_owner(this);
}

auto SolverContext::trans_table() const -> TransTable*
{