Lines Matching defs:Satisfaction

39     const ASTContext &C, const ConstraintSatisfaction &Satisfaction)
40     : NumRecords{Satisfaction.Details.size()},
41       IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{
42                                                  Satisfaction.ContainsErrors} {
45         C, Satisfaction.Details[I],
50     const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction)
51     : NumRecords{Satisfaction.NumRecords},
52       IsSatisfied{Satisfaction.IsSatisfied},
53       ContainsErrors{Satisfaction.ContainsErrors} {
56         C, *(Satisfaction.begin() + I),
62                                   const ConstraintSatisfaction &Satisfaction) {
65           Satisfaction.Details.size());
67   return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);
71     const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) {
73       totalSizeToAlloc<UnsatisfiedConstraintRecord>(Satisfaction.NumRecords);
75   return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);