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