Lines Matching defs:Satisfaction

38     const ASTContext &C, const ConstraintSatisfaction &Satisfaction)
39     : NumRecords{Satisfaction.Details.size()},
40       IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{
41                                                  Satisfaction.ContainsErrors} {
44         C, Satisfaction.Details[I],
49     const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction)
50     : NumRecords{Satisfaction.NumRecords},
51       IsSatisfied{Satisfaction.IsSatisfied},
52       ContainsErrors{Satisfaction.ContainsErrors} {
55         C, *(Satisfaction.begin() + I),
61                                   const ConstraintSatisfaction &Satisfaction) {
64           Satisfaction.Details.size());
66   return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);
70     const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) {
72       totalSizeToAlloc<UnsatisfiedConstraintRecord>(Satisfaction.NumRecords);
74   return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);