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