Lines Matching defs:Evaluator

183                                 const ConstraintEvaluator &Evaluator);
190                                 const ConstraintEvaluator &Evaluator) {
194       calculateConstraintSatisfaction(S, LHS, Satisfaction, Evaluator);
222       calculateConstraintSatisfaction(S, RHS, Satisfaction, Evaluator);
254                                 const ConstraintEvaluator &Evaluator) {
261                                           Evaluator);
273       Evaluator.EvaluateFoldExpandedConstraintSize(FE);
279                                                      Satisfaction, Evaluator);
302                                                      Satisfaction, Evaluator);
326                                 const ConstraintEvaluator &Evaluator) {
331         S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);
337                                            Evaluator);
344     return calculateConstraintSatisfaction(S, FE, Satisfaction, Evaluator);
349       Evaluator.EvaluateAtomicConstraint(ConstraintExpr);
355     // Evaluator has decided satisfaction without yielding an expression.