185                                 const ConstraintEvaluator &Evaluator);
192                                 const ConstraintEvaluator &Evaluator) {  in calculateConstraintSatisfaction()  argument
196       calculateConstraintSatisfaction(S, LHS, Satisfaction, Evaluator);  in calculateConstraintSatisfaction()
224       calculateConstraintSatisfaction(S, RHS, Satisfaction, Evaluator);  in calculateConstraintSatisfaction()
256                                 const ConstraintEvaluator &Evaluator) {  in calculateConstraintSatisfaction()  argument
263                                           Evaluator);  in calculateConstraintSatisfaction()
275       Evaluator.EvaluateFoldExpandedConstraintSize(FE);  in calculateConstraintSatisfaction()
281                                                      Satisfaction, Evaluator);  in calculateConstraintSatisfaction()
304                                                      Satisfaction, Evaluator);  in calculateConstraintSatisfaction()
328                                 const ConstraintEvaluator &Evaluator) {  in calculateConstraintSatisfaction()  argument
333         S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);  in calculateConstraintSatisfaction()
339                                            Evaluator);  in calculateConstraintSatisfaction()
346     return calculateConstraintSatisfaction(S, FE, Satisfaction, Evaluator);  in calculateConstraintSatisfaction()
351       Evaluator.EvaluateAtomicConstraint(ConstraintExpr);  in calculateConstraintSatisfaction()