Lines Matching refs:Satisfaction
44 const ASTContext &C, const ConstraintSatisfaction &Satisfaction) in ASTConstraintSatisfaction() argument
45 : NumRecords{Satisfaction.Details.size()}, in ASTConstraintSatisfaction()
46 IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{
47 Satisfaction.ContainsErrors} {
50 C, Satisfaction.Details[I],
55 const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) in ASTConstraintSatisfaction() argument
56 : NumRecords{Satisfaction.NumRecords}, in ASTConstraintSatisfaction()
57 IsSatisfied{Satisfaction.IsSatisfied},
58 ContainsErrors{Satisfaction.ContainsErrors} {
61 C, *(Satisfaction.begin() + I),
67 const ConstraintSatisfaction &Satisfaction) { in Create() argument
70 Satisfaction.Details.size()); in Create()
72 return new (Mem) ASTConstraintSatisfaction(C, Satisfaction); in Create()
76 const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) { in Rebuild() argument
78 totalSizeToAlloc<UnsatisfiedConstraintRecord>(Satisfaction.NumRecords); in Rebuild()
80 return new (Mem) ASTConstraintSatisfaction(C, Satisfaction); in Rebuild()