This is the complete list of members for SolverWrapper, including all inherited members.
| has_statistics() const | SolverWrapper | inlinevirtual |
| run | SolverWrapper | |
| SolverWrapper(solver_func_t run) | SolverWrapper | inline |
| write_statistics_to_stream(std::ostream &) | SolverWrapper | inlinevirtual |
| ~SolverWrapper()=default | SolverWrapper | virtual |