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 |