115                                       ProgramStateRef State) const;
118                                            ProgramStateRef State,
135   ProgramStateRef State = C.getState();  in modelAssertionResultBoolConstructor()  local
147       Call->getDecl()->getParent(), ThisVal, State);  in modelAssertionResultBoolConstructor()
149   State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C);  in modelAssertionResultBoolConstructor()
150   C.addTransition(State);  in modelAssertionResultBoolConstructor()
170   ProgramStateRef State = C.getState();  in modelAssertionResultCopyConstructor()  local
173                                                          ThisVal, State);  in modelAssertionResultCopyConstructor()
175                                                           OtherVal, State);  in modelAssertionResultCopyConstructor()
177   State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C);  in modelAssertionResultCopyConstructor()
178   C.addTransition(State);  in modelAssertionResultCopyConstructor()
252     ProgramStateRef State) const {  in getAssertionResultSuccessFieldValue()
263       State->getLValue(SuccessField, Instance).getAs<Loc>();  in getAssertionResultSuccessFieldValue()
267   return State->getSVal(*FieldLoc);  in getAssertionResultSuccessFieldValue()
272                                                 ProgramStateRef State,  in assumeValuesEqual()  argument
276     return State;  in assumeValuesEqual()
279       C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(),  in assumeValuesEqual()
283     return State;  in assumeValuesEqual()
285   State = C.getConstraintManager().assume(  in assumeValuesEqual()
286       State, ValuesEqual.castAs<DefinedSVal>(), true);  in assumeValuesEqual()
288   return State;  in assumeValuesEqual()