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