Lines Matching defs:curState
170 auto &curState = dfsStack.top();
171 auto &cur = curState.cur;
172 auto &succList = curState.succList;
173 auto &idx = curState.idx;
285 auto &curState = dfsStack.top();
286 auto &curGate = curState.curGate;
287 const auto &predGates = curState.predGates;
288 auto &idx = curState.idx;
289 auto &curUpperBound = curState.curUpperBound;
382 auto &curState = dfsVisitStack.top();
383 auto &prevGates = curState.prevGates;
384 auto &idx = curState.idx;
418 auto &curState = dfsFinishStack.top();
419 auto &curGate = curState.curGate;
420 auto &prevGates = curState.prevGates;
421 auto &idx = curState.idx;