Searched refs:SuccStartState (Results 1 – 1 of 1) sorted by relevance
593 auto SuccStartState = InitialStates.find(SuccBB); in getSuccState() local594 if (SuccStartState == InitialStates.end()) in getSuccState()601 int SuccState = SuccStartState->second; in getSuccState()