SolverResult      920 src/Solve.cpp              SolverResult solved = solve_expression(le, var, scope);
SolverResult      977 src/Solve.cpp              SolverResult solved = solve_expression(ge, var, scope);
SolverResult     1314 src/Solve.cpp  SolverResult solve_expression(Expr e, const std::string &variable, const Scope<Expr> &scope) {
SolverResult     1364 src/Solve.cpp      SolverResult solved = solve_expression(a, "x");
SolverResult     1434 src/Solve.cpp          SolverResult solved = solve_expression(x + e < e*e, "x");
SolverResult     1447 src/Solve.cpp                  SolverResult solved = solve_expression(in[j], "x");
SolverResult     1469 src/Solve.cpp      SolverResult solved = solve_expression(e, "x");
SolverResult     1585 src/Solve.cpp          SolverResult solved = solve_expression(expr, "y");
SolverResult       26 src/Solve.h    EXPORT SolverResult solve_expression(
SolverResult      221 src/TrimNoOps.cpp                 SolverResult solved = solve_expression(test, loop.var);