Method SetBoardTime

library/src/system/scheduler.cpp:1000–1007

void Scheduler::SetBoardTime(int boardIndex, int timeMs)
{
  if (boardIndex < 0 || boardIndex >= MAXNOOFBOARDS) return;
  // store in the hand time field; this is a lightweight fallback
  // for when DDS_SCHEDULER isn't enabled. No locking required for
  // single-writer per-board usage pattern from the solver threads.
  hands[boardIndex].time = timeMs;
}


int Scheduler::PredictedTime(