Extracted operators and their evaluation from the solvers code.