Searched refs:FromState (Results 1 – 3 of 3) sorted by relevance
64 for (state_type FromState : DS) { in visitDfaState() local67 auto I = NfaTransitions.find({FromState, A}); in visitDfaState()72 TI.emplace_back(FromState, ToState); in visitDfaState()
404 ProgramStateRef FromState, in getPersistentStateWithGDM() argument406 ProgramState NewState(*FromState); in getPersistentStateWithGDM()
605 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,