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