Searched refs:SuccState (Results 1 – 1 of 1) sorted by relevance
601 int SuccState = SuccStartState->second; in getSuccState() local602 assert(SuccState != OverdefinedState && in getSuccState()605 CommonState = SuccState; in getSuccState()609 if (CommonState != SuccState) in getSuccState()713 int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB); in addStateStores() local714 if (SuccState == OverdefinedState) in addStateStores()719 FinalStates.insert({BB, SuccState}); in addStateStores()