Lines Matching refs:getRHS
42 RHS = BO->getRHS(); in LogicalBinOp()
55 const Expr *getRHS() const { return RHS; } in getRHS() function in __anonb70f2fd80111::LogicalBinOp
70 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
154 S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator)); in calculateConstraintSatisfaction()
522 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
530 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
538 BO->getRHS()->EvaluateAsBooleanCondition(RHSSatisfied, S.Context); in diagnoseWellFormedUnsatisfiedConstraintExpr()
540 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
550 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
554 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context); in diagnoseWellFormedUnsatisfiedConstraintExpr()
670 return substituteParameterMappings(S, N.getRHS(), Concept, TemplateArgs, in substituteParameterMappings()
756 auto RHS = fromConstraintExpr(S, D, BO.getRHS()); in fromConstraintExpr()
806 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
835 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()