Lines Matching defs:Val2

97                                   const Environment &Env1, Value &Val2,
106   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {
117 /// Attempts to join distinct values `Val1` and `Val2` in `Env1` and `Env2`,
122                                  const Environment &Env1, Value &Val2,
128   if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) {
143     auto &Expr2 = cast<BoolValue>(Val2).formula();
156     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
814                                const Environment &Env1, Value *Val2,
817   if (Val1 == nullptr || Val2 == nullptr)
824   if (areEquivalentValues(*Val1, *Val2))
828   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);