Searched refs:FromState (Results 1 – 4 of 4) sorted by relevance
63 for (state_type FromState : DS) { in visitDfaState() local66 auto I = NfaTransitions.find({FromState, A}); in visitDfaState()71 TI.emplace_back(FromState, ToState); in visitDfaState()
401 ProgramStateRef FromState, in getPersistentStateWithGDM() argument403 ProgramState NewState(*FromState); in getPersistentStateWithGDM()
661 auto MemAliasPropagate = [&](MatchState FromState, MatchState ToState) { in processWorkListItem() argument662 if (Mapping.second.test(static_cast<size_t>(FromState))) in processWorkListItem()
565 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,