reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
952 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); 1046 State = assumeCollectionNonEmpty(C, State, ContainerS, *NonEmpty);