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