| op.getOperator(),
false, // the rewrite takes care of negation
op.getParametersText(),
left,
right);
EvaluatorWrapper wrapper = getConstraintBuilder( context ).wrapEvaluator( evaluator,
leftDecl,
rightDecl );
operators.put( entry.getKey(),
wrapper );
}
|