228 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) {  in forceBoolValue()
249                  Environment &Env) {  in setHasValue()
257                                  BoolValue &HasValueVal, Environment &Env) {  in createOptionalValue()
266 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) {  in getHasValue()
303                                              const Environment &Env) {  in getLocBehindPossiblePointer()
351     const Formula &(*ModelPred)(Environment &Env, const Formula &ExprVal,  in transferValueOrImpl()
371                              [](Environment &Env, const Formula &ExprVal,  in transferValueOrStringEmptyCall()
389                       [](Environment &Env, const Formula &ExprVal,  in transferValueOrNotEqX()
422 void constructOptionalValue(const Expr &E, Environment &Env,  in constructOptionalValue()
498                   Environment &Env) {  in transferSwap()
580   Environment &Env = State.Env;  in transferOptionalAndOptionalCmp()
596                                  const clang::Expr *E, Environment &Env) {  in transferOptionalAndValueCmp()
609                                    const clang::Expr *E, Environment &Env) {  in transferOptionalAndNulloptCmp()
800                                                      const Environment &Env) {  in diagnoseUnwrapCall()
822   return CFGMatchSwitchBuilder<const Environment,  in buildDiagnoseMatchSwitch()
828              const Environment &Env) {  in buildDiagnoseMatchSwitch()
836                                   const Environment &Env) {  in buildDiagnoseMatchSwitch()
856                                                            Environment &Env)  in UncheckedOptionalAccessModel()
869                                             NoopLattice &L, Environment &Env) {  in transfer()