Lines Matching defs:JoinedVal

146     auto &JoinedVal = A.makeAtomRef(A.makeAtom());
149                            A.makeEquals(JoinedVal, Expr1)),
151                            A.makeEquals(JoinedVal, Expr2))));
152     return &A.makeBoolValue(JoinedVal);
155   Value *JoinedVal = JoinedEnv.createValue(Type);
156   if (JoinedVal)
157     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
159   return JoinedVal;
253     if (Value *JoinedVal = Environment::joinValues(
255       Result.insert({Loc, JoinedVal});