Lines Matching defs:Val2
98 const Environment &Env1, Value &Val2,
107 switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {
118 /// Attempts to join distinct values `Val1` and `Val2` in `Env1` and `Env2`,
123 const Environment &Env1, Value &Val2,
129 if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) {
144 auto &Expr2 = cast<BoolValue>(Val2).formula();
157 Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
816 const Environment &Env1, Value *Val2,
819 if (Val1 == nullptr || Val2 == nullptr)
826 if (areEquivalentValues(*Val1, *Val2))
830 return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);