reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
360 NewState = VR.apply(NewState, Call, Summary); 360 NewState = VR.apply(NewState, Call, Summary); 361 if (!NewState) 365 if (NewState && NewState != State) 365 if (NewState && NewState != State) 366 C.addTransition(NewState);