Lines Matching refs:Assumption
942 /// (or is known not to contain elements if the Assumption parameter is false.)
945 SymbolRef CollectionS, bool Assumption) {
953 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption);
954 Assumption == *KnownNonEmpty) ? State : nullptr;
971 return State->assume(*CountGreaterThanZero, Assumption);
977 bool Assumption) {
983 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption);
1018 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
1024 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);
