reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
984 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false); 984 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false); 988 State = checkCollectionNonNil(C, State, FCS); 988 State = checkCollectionNonNil(C, State, FCS); 989 State = checkElementNonNil(C, State, FCS); 989 State = checkElementNonNil(C, State, FCS); 990 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true); 990 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true); 993 if (!State) 995 else if (State != C.getState()) 996 C.addTransition(State);