Lines Matching refs:Details
193 size_t EffectiveDetailEndIndex = Satisfaction.Details.size(); in calculateConstraintSatisfaction()
238 auto EffectiveDetailEnd = Satisfaction.Details.begin(); in calculateConstraintSatisfaction()
240 Satisfaction.Details.erase(EffectiveDetailEnd, Satisfaction.Details.end()); in calculateConstraintSatisfaction()
258 size_t EffectiveDetailEndIndex = Satisfaction.Details.size(); in calculateConstraintSatisfaction()
286 auto EffectiveDetailEnd = Satisfaction.Details.begin(); in calculateConstraintSatisfaction()
288 Satisfaction.Details.erase(EffectiveDetailEnd, in calculateConstraintSatisfaction()
289 Satisfaction.Details.end()); in calculateConstraintSatisfaction()
376 Satisfaction.Details.emplace_back( in calculateConstraintSatisfaction()
405 Satisfaction.Details.emplace_back(SubstitutedAtomicExpr.get()); in calculateConstraintSatisfaction()
502 Satisfaction.Details.emplace_back( in calculateConstraintSatisfaction()
1378 for (auto &Record : Satisfaction.Details) { in DiagnoseUnsatisfiedConstraint()