Searched refs:FinalState (Results 1 – 1 of 1) sorted by relevance
660 int FinalState; in addStateStores() local662 InitialState = FinalState = ParentBaseState; in addStateStores()671 FinalState = State; in addStateStores()682 << " FinalState=" << FinalState << '\n'); in addStateStores()684 FinalStates.insert({BB, FinalState}); in addStateStores()