Searched refs:FromSat (Results 1 – 1 of 1) sorted by relevance
500 Error ImportConstraintSatisfaction(const ASTConstraintSatisfaction &FromSat,1064 const ASTConstraintSatisfaction &FromSat, ConstraintSatisfaction &ToSat) { in ImportConstraintSatisfaction() argument1065 ToSat.IsSatisfied = FromSat.IsSatisfied; in ImportConstraintSatisfaction()1066 ToSat.ContainsErrors = FromSat.ContainsErrors; in ImportConstraintSatisfaction()1068 for (auto Record = FromSat.begin(); Record != FromSat.end(); ++Record) { in ImportConstraintSatisfaction()