Searched refs:FinalState (Results 1 – 1 of 1) sorted by relevance
675 int FinalState; in addStateStores() local677 InitialState = FinalState = ParentBaseState; in addStateStores()686 FinalState = State; in addStateStores()697 << " FinalState=" << FinalState << '\n'); in addStateStores()699 FinalStates.insert({BB, FinalState}); in addStateStores()