Lines Matching defs:getRHS
49 RHS = BO->getRHS();
67 const Expr *getRHS() const { return RHS; }
71 return recreateBinOp(SemaRef, LHS, const_cast<Expr *>(getRHS()));
103 CheckConstraintExpression(BO.getRHS(), NextToken,
333 S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);
1262 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(),
1270 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First);
1278 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue();
1280 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(),
1291 BO->getRHS()->getType()->isIntegerType()) {
1297 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context,
1437 return substituteParameterMappings(S, N.getRHS(), Concept, MLTAL,
1535 NormalizedConstraint(C, Other.getRHS())},
1545 NormalizedConstraint &NormalizedConstraint::getRHS() const {
1546 assert(isCompound() && "getRHS called on a non-compound constraint.");
1586 auto RHS = fromConstraintExpr(S, D, BO.getRHS());
1638 auto RHS = fromConstraintExpr(S, D, FE->getRHS());
1694 NormalForm RCNF = makeCNF(Normalized.getRHS());
1726 NormalForm RDNF = makeDNF(Normalized.getRHS());