Lines Matching defs:Satisfaction

182                                 ConstraintSatisfaction &Satisfaction,
189                                 ConstraintSatisfaction &Satisfaction,
191   size_t EffectiveDetailEndIndex = Satisfaction.Details.size();
194       calculateConstraintSatisfaction(S, LHS, Satisfaction, Evaluator);
199   bool IsLHSSatisfied = Satisfaction.IsSatisfied;
222       calculateConstraintSatisfaction(S, RHS, Satisfaction, Evaluator);
226   bool IsRHSSatisfied = Satisfaction.IsSatisfied;
236     auto EffectiveDetailEnd = Satisfaction.Details.begin();
238     Satisfaction.Details.erase(EffectiveDetailEnd, Satisfaction.Details.end());
253                                 ConstraintSatisfaction &Satisfaction,
256   size_t EffectiveDetailEndIndex = Satisfaction.Details.size();
260     Out = calculateConstraintSatisfaction(S, FE->getInit(), Satisfaction,
269     if (Conjunction != Satisfaction.IsSatisfied)
279                                                      Satisfaction, Evaluator);
282     bool IsRHSSatisfied = Satisfaction.IsSatisfied;
284       auto EffectiveDetailEnd = Satisfaction.Details.begin();
286       Satisfaction.Details.erase(EffectiveDetailEnd,
287                                  Satisfaction.Details.end());
302                                                      Satisfaction, Evaluator);
316     Satisfaction.IsSatisfied = Conjunction;
325                                 ConstraintSatisfaction &Satisfaction,
331         S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);
336     return calculateConstraintSatisfaction(S, C->getSubExpr(), Satisfaction,
344     return calculateConstraintSatisfaction(S, FE, Satisfaction, Evaluator);
364     Satisfaction.IsSatisfied = false;
365     Satisfaction.ContainsErrors = true;
374     Satisfaction.Details.emplace_back(
401   Satisfaction.IsSatisfied = EvalResult.Val.getInt().getBoolValue();
402   if (!Satisfaction.IsSatisfied)
403     Satisfaction.Details.emplace_back(SubstitutedAtomicExpr.get());
435     ConstraintSatisfaction &Satisfaction) {
442     ConstraintSatisfaction &Satisfaction;
464           Satisfaction.IsSatisfied = false;
465           Satisfaction.ContainsErrors = true;
500           Satisfaction.Details.emplace_back(
503           Satisfaction.IsSatisfied = false;
564       S, ConstraintExpr, Satisfaction,
565       ConstraintEvaluator{S, Template, TemplateNameLoc, MLTAL, Satisfaction});
572     SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction) {
574     Satisfaction.IsSatisfied = true;
580     Satisfaction.IsSatisfied = true;
597         ConstraintExpr, Satisfaction);
602     if (!Satisfaction.IsSatisfied) {
654   auto Satisfaction =
658                                     TemplateIDRange, *Satisfaction)) {
659     OutSatisfaction = *Satisfaction;
677   OutSatisfaction = *Satisfaction;
681   SatisfactionCache.InsertNode(Satisfaction.release());
686                                        ConstraintSatisfaction &Satisfaction) {
700   return calculateConstraintSatisfaction(*this, ConstraintExpr, Satisfaction,
844                                     ConstraintSatisfaction &Satisfaction,
854     Satisfaction.IsSatisfied = true;
868                                     Satisfaction, UsageLoc,
904       Satisfaction);
1093   ConstraintSatisfaction Satisfaction;
1097                                   TemplateIDRange, Satisfaction))
1100   if (!Satisfaction.IsSatisfied) {
1111     DiagnoseUnsatisfiedConstraint(Satisfaction);
1120     ConstraintSatisfaction &Satisfaction) {
1128     Satisfaction.IsSatisfied = true;
1157                                      PointOfInstantiation, Satisfaction);
1394 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction,
1396   assert(!Satisfaction.IsSatisfied &&
1398   for (auto &Record : Satisfaction.Details) {
1405     const ASTConstraintSatisfaction &Satisfaction,
1407   assert(!Satisfaction.IsSatisfied &&
1409   for (auto &Record : Satisfaction) {