Lines Matching defs:getLHS
46 LHS = BO->getLHS();
64 const Expr *getLHS() const { return LHS; }
99 return CheckConstraintExpression(BO.getLHS(), NextToken,
331 S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);
1282 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First);
1288 BO->getLHS()->EvaluateKnownConstInt(S.Context).getBoolValue();
1295 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First);
1311 if (BO->getLHS()->getType()->isIntegerType() &&
1315 BO->getLHS()->EvaluateAsInt(SimplifiedLHS, S.Context,
1454 if (substituteParameterMappings(S, N.getLHS(), Concept, MLTAL,
1554 NormalizedConstraintPair{NormalizedConstraint(C, Other.getLHS()),
1560 NormalizedConstraint &NormalizedConstraint::getLHS() const {
1561 assert(isCompound() && "getLHS called on a non-compound constraint.");
1603 auto LHS = fromConstraintExpr(S, D, BO.getLHS());
1657 auto LHS = fromConstraintExpr(S, D, FE->getLHS());
1713 NormalForm LCNF = makeCNF(Normalized.getLHS());
1745 NormalForm LDNF = makeDNF(Normalized.getLHS());