Searched refs:FinalState (Results 1 – 1 of 1) sorted by relevance
681 int FinalState; in addStateStores() local683 InitialState = FinalState = ParentBaseState; in addStateStores()692 FinalState = State; in addStateStores()703 << " FinalState=" << FinalState << '\n'); in addStateStores()705 FinalStates.insert({BB, FinalState}); in addStateStores()