Searched refs:solve_finished (Results 1 – 1 of 1) sorted by relevance
944 absl::Notification solve_finished; in SolveWithProto() local945 auto polling_func = [&interrupt, &solve_finished, &solver, in SolveWithProto()952 if (solve_finished.HasBeenNotified()) return; in SolveWithProto()978 if (solve_finished.WaitForNotificationWithTimeout(poll_delay)) { in SolveWithProto()1017 solve_finished.Notify(); in SolveWithProto()