Searched refs:synch_timed_out_ (Results 1 – 1 of 1) sorted by relevance
2772 bool synch_timed_out_; member in operations_research::__anonbeef3bbe1511::ResourceGroupAssignmentFilter2788 synch_timed_out_(false), in ResourceGroupAssignmentFilter()2834 if (synch_timed_out_) return; in OnSynchronizePathFromStart()2849 synch_timed_out_ = true; in OnSynchronizePathFromStart()2855 (synch_timed_out_ || !filter_objective_cost_) in OnAfterSynchronizePaths()