Searched refs:ToSat (Results 1 – 1 of 1) sorted by relevance
501 ConstraintSatisfaction &ToSat);1064 const ASTConstraintSatisfaction &FromSat, ConstraintSatisfaction &ToSat) { in ImportConstraintSatisfaction() argument1065 ToSat.IsSatisfied = FromSat.IsSatisfied; in ImportConstraintSatisfaction()1066 ToSat.ContainsErrors = FromSat.ContainsErrors; in ImportConstraintSatisfaction()1067 if (!ToSat.IsSatisfied) { in ImportConstraintSatisfaction()1073 ToSat.Details.emplace_back(ToSecondExpr.get()); in ImportConstraintSatisfaction()1081 ToSat.Details.emplace_back( in ImportConstraintSatisfaction()