Lines Matching defs:Satisfaction

184                                 ConstraintSatisfaction &Satisfaction,
191                                 ConstraintSatisfaction &Satisfaction,
193   size_t EffectiveDetailEndIndex = Satisfaction.Details.size();
196       calculateConstraintSatisfaction(S, LHS, Satisfaction, Evaluator);
201   bool IsLHSSatisfied = Satisfaction.IsSatisfied;
224       calculateConstraintSatisfaction(S, RHS, Satisfaction, Evaluator);
228   bool IsRHSSatisfied = Satisfaction.IsSatisfied;
238     auto EffectiveDetailEnd = Satisfaction.Details.begin();
240     Satisfaction.Details.erase(EffectiveDetailEnd, Satisfaction.Details.end());
255                                 ConstraintSatisfaction &Satisfaction,
258   size_t EffectiveDetailEndIndex = Satisfaction.Details.size();
262     Out = calculateConstraintSatisfaction(S, FE->getInit(), Satisfaction,
271     if (Conjunction != Satisfaction.IsSatisfied)
281                                                      Satisfaction, Evaluator);
284     bool IsRHSSatisfied = Satisfaction.IsSatisfied;
286       auto EffectiveDetailEnd = Satisfaction.Details.begin();
288       Satisfaction.Details.erase(EffectiveDetailEnd,
289                                  Satisfaction.Details.end());
304                                                      Satisfaction, Evaluator);
318     Satisfaction.IsSatisfied = Conjunction;
327                                 ConstraintSatisfaction &Satisfaction,
333         S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);
338     return calculateConstraintSatisfaction(S, C->getSubExpr(), Satisfaction,
346     return calculateConstraintSatisfaction(S, FE, Satisfaction, Evaluator);
366     Satisfaction.IsSatisfied = false;
367     Satisfaction.ContainsErrors = true;
376     Satisfaction.Details.emplace_back(
403   Satisfaction.IsSatisfied = EvalResult.Val.getInt().getBoolValue();
404   if (!Satisfaction.IsSatisfied)
405     Satisfaction.Details.emplace_back(SubstitutedAtomicExpr.get());
437     ConstraintSatisfaction &Satisfaction) {
444     ConstraintSatisfaction &Satisfaction;
466           Satisfaction.IsSatisfied = false;
467           Satisfaction.ContainsErrors = true;
502           Satisfaction.Details.emplace_back(
505           Satisfaction.IsSatisfied = false;
566       S, ConstraintExpr, Satisfaction,
567       ConstraintEvaluator{S, Template, TemplateNameLoc, MLTAL, Satisfaction});
574     SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction) {
576     Satisfaction.IsSatisfied = true;
582     Satisfaction.IsSatisfied = true;
599         ConstraintExpr, Satisfaction);
604     if (!Satisfaction.IsSatisfied) {
656   auto Satisfaction =
660                                     TemplateIDRange, *Satisfaction)) {
661     OutSatisfaction = *Satisfaction;
679   OutSatisfaction = *Satisfaction;
683   SatisfactionCache.InsertNode(Satisfaction.release());
688                                        ConstraintSatisfaction &Satisfaction) {
702   return calculateConstraintSatisfaction(*this, ConstraintExpr, Satisfaction,
837                                     ConstraintSatisfaction &Satisfaction,
847     Satisfaction.IsSatisfied = true;
861                                     Satisfaction, UsageLoc,
897       Satisfaction);
1072   ConstraintSatisfaction Satisfaction;
1076                                   TemplateIDRange, Satisfaction))
1079   if (!Satisfaction.IsSatisfied) {
1090     DiagnoseUnsatisfiedConstraint(Satisfaction);
1099     ConstraintSatisfaction &Satisfaction) {
1107     Satisfaction.IsSatisfied = true;
1136                                      PointOfInstantiation, Satisfaction);
1374 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction,
1376   assert(!Satisfaction.IsSatisfied &&
1378   for (auto &Record : Satisfaction.Details) {
1385     const ASTConstraintSatisfaction &Satisfaction,
1387   assert(!Satisfaction.IsSatisfied &&
1389   for (auto &Record : Satisfaction) {