Searched refs:cur_clock_id (Results 1 – 1 of 1) sorted by relevance
183 const ClockId cur_clock_id = cur_path.last; in FindPath() local184 if (cur_clock_id == target) in FindPath()194 ClockGraphEdge(cur_clock_id, 0, 0)); in FindPath()195 it != graph_.end() && std::get<0>(*it) == cur_clock_id; ++it) { in FindPath()