solve_for_inner_interval  475 src/PartitionLoops.cpp             s.interval = solve_for_inner_interval(s.condition, op->name);
solve_for_inner_interval 1375 src/Solve.cpp          solve_for_inner_interval(a, "x");
solve_for_inner_interval 1565 src/Solve.cpp          solve_for_inner_interval(t <= 5, "t");
solve_for_inner_interval   38 src/Solve.h    EXPORT Interval solve_for_inner_interval(Expr c, const std::string &variable);