Lines Matching defs:currState
501 StatePtr currState, candState;
519 currState = TMComplexBranchHead(stateTree, prBranchHead);
520 currState = currState->nextLevel;
523 ((currState && !currState->isCycleEnd) &&
525 currState = currState->nextLevel,
527 if ((currState->typeIndex != candState->typeIndex) ||
528 (currState->modIndex != candState->modIndex))
531 if (candState == currState) {