181         VIdx currentIdx;  member
191         result.vertices.push_back(v_[state.currentIdx].data);  in DfsBuildCycleInfo()
192         result.edges.push_back(e_[state.currentIdx][state.childIdx]);  in DfsBuildCycleInfo()
193         VIdx prevIdx = state.currentIdx;  in DfsBuildCycleInfo()
197             result.vertices.push_back(v_[s.currentIdx].data);  in DfsBuildCycleInfo()
198             result.edges.push_back(e_[s.currentIdx][prevIdx]);  in DfsBuildCycleInfo()
199             prevIdx = s.currentIdx;  in DfsBuildCycleInfo()
200             if (s.currentIdx == originIdx) {  in DfsBuildCycleInfo()
210             if (HasEdge(state.currentIdx, state.childIdx)) {  in DfsVisitChildren()
222                 dfsStack.push(DfsState {state.currentIdx, nextChild});  in DfsVisitChildren()
223                 state.currentIdx = state.childIdx;  in DfsVisitChildren()
240             Mark(state.currentIdx, Graph::VColor::BLACK);  in DfsPopState()
252             Mark(state.currentIdx, Graph::VColor::GREY);  in RunDfsFromVertex()
263             Mark(state.currentIdx, Graph::VColor::BLACK);  in RunDfsFromVertex()