Searched refs:source_id_ (Results 1 – 1 of 1) sorted by relevance
84 first_path_(opts.first_path), retain_(retain), source_id_(0), in ShortestDistanceState()108 StateId source_id_; // Unique ID characterizing each call to SD variable157 sources_[source] = source_id_; in ShortestDistance()192 if (sources_[arc.nextstate] != source_id_) { in ShortestDistance()196 sources_[arc.nextstate] = source_id_; in ShortestDistance()218 ++source_id_; in ShortestDistance()